Standard output
293818 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command4980306617962585756.key
293818 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 499.6ns
293818 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
299011 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.19s
299058 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command4980306617962585756.key
299073 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.5ns
299073 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
299136 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3''
299167 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command16717200750309836781.key
299167 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 231.2ns
299183 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
304257 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.08s
304304 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command16717200750309836781.key
304304 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.6ns
304304 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
304366 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''