Standard output
193848 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command11717239117623393927.key
193848 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.47ms
193848 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
197314 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.46s
197346 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command11717239117623393927.key
197361 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.4ns
197361 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
197408 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3''
197423 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command3463795587865959541.key
197423 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 319.3ns
197439 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
200800 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.36s
200847 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command3463795587865959541.key
200847 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns
200847 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
200878 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''