Standard output
170289 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command14723089794216566436.key
170289 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.96ms
170352 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
173671 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.32s
173703 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command14723089794216566436.key
173718 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns
173718 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
173765 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3''
174425 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command8383686475549916120.key
174425 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 410ns
174425 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
177370 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.94s
177401 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command8383686475549916120.key
177401 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 14.3ns
177401 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
177432 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''