Standard output
248538 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command737335290272332737.key
248538 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 235.5ns
248538 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
252735 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.2s
252800 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command737335290272332737.key
252800 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns
252800 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
252863 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3''
253035 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command4067530144364584104.key
253035 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 229.5ns
253035 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
257246 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.21s
257277 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command4067530144364584104.key
257293 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.7ns
257293 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
257328 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''