Standard output
153851 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command12875668932334246117.key
153851 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 187ns
153851 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
156445 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.59s
156476 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command12875668932334246117.key
156476 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns
156492 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
156523 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3''
156539 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command17138456483606334887.key
156539 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 211.2ns
156555 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
159181 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.63s
159243 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command17138456483606334887.key
159259 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns
159259 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
159275 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''