Standard output
202403 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command3353612550201602901.key
202403 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 216.3ns
202403 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
205717 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.31s
205764 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command3353612550201602901.key
205764 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns
205764 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
205827 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3''
205858 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command13833644612284551722.key
205858 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 208ns
205858 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
209079 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.22s
209125 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command13833644612284551722.key
209125 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns
209125 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
209157 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''