Standard output
201637 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command8069941133521754840.key
201637 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 367.7ns
201652 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
205107 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.45s
205139 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command8069941133521754840.key
205154 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns
205154 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
205201 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3''
205232 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command3786311179391137133.key
205232 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 237.2ns
205232 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
208767 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.54s
208845 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command3786311179391137133.key
208845 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns
208845 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
208876 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''