Standard output
186985 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command8558271842824890000.key
186985 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 215.8ns
186985 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
190132 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.15s
190163 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command8558271842824890000.key
190179 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns
190179 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
190242 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3''
190258 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command452216104209196374.key
190258 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 210.7ns
190258 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
193445 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.19s
193475 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command452216104209196374.key
193491 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns
193491 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
193553 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''