Standard output
294775 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command12950553152013228540.key
294775 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 241.6ns
294791 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
299639 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.85s
299686 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command12950553152013228540.key
299686 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns
299686 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
299780 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3''
299811 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command7742921009636010532.key
299811 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 330.9ns
299811 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
304661 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.84s
304708 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command7742921009636010532.key
304708 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns
304708 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
304754 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''