Standard output
184848 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command8353372196462604022.key
184863 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 284.6ns
184863 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
188021 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.16s
188052 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command8353372196462604022.key
188068 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns
188068 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
188115 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3''
188146 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command1281530598993872298.key
188146 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 329.7ns
188146 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
191320 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.17s
191351 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command1281530598993872298.key
191351 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns
191351 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
191382 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''