Standard output
149544 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command3599708633329411036.key
149544 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 161.3ns
149560 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
152149 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.6s
152180 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command3599708633329411036.key
152195 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns
152195 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
152237 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3''
152251 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command732512062865621439.key
152252 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 198.4ns
152254 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
154785 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.54s
154816 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command732512062865621439.key
154816 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns
154832 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
154863 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''