Standard output
200256 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command3675086801708263090.key
200256 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 235.4ns
200272 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
203666 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.39s
203697 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command3675086801708263090.key
203713 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns
203713 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
203760 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3''
203776 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command13865374448009164986.key
203776 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 282.2ns
203776 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
207110 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.33s
207156 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command13865374448009164986.key
207156 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns
207156 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
207204 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''