Standard output
163284 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command11294739003912132660.key
163284 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 258.7ns
163284 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
165988 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.7s
166051 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command11294739003912132660.key
166051 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.5ns
166051 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
166098 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3''
166113 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command2378985323105629866.key
166113 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 248.4ns
166129 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
168816 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.69s
168863 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command2378985323105629866.key
168863 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.7ns
168863 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
168941 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''