Standard output
192252 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command17267087278409830093.key
192252 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 662.3ns
192252 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
195558 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.29s
195589 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command17267087278409830093.key
195605 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.2ns
195605 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
195651 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3''
195667 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command5923794385072229867.key
195667 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 222.7ns
195667 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
199015 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.35s
199062 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command5923794385072229867.key
199062 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns
199062 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
199109 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''