Standard output
195117 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command14457221399601655843.key
195117 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 240.7ns
195117 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
198515 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.39s
198546 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command14457221399601655843.key
198562 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns
198562 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
198609 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3''
198625 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command15443828993100555557.key
198625 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 233.5ns
198625 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
201908 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.27s
201939 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command15443828993100555557.key
201954 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns
201954 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
201986 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''