Standard output
223769 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command9063468304263738742.key
223769 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 261.2ns
223769 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
227695 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.93s
227742 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command9063468304263738742.key
227742 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns
227742 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
227804 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3''
227836 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command3178686274571093495.key
227836 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 208ns
227851 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
231774 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.93s
231821 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command3178686274571093495.key
231821 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns
231821 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
231852 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''