Standard output
317061 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command13021127962214742189.key
317061 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 266.6ns
317061 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
322283 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.22s
322330 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command13021127962214742189.key
322330 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns
322345 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
322408 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3''
322439 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command10627579526995259791.key
322439 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 259ns
322455 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
327613 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.17s
327660 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command10627579526995259791.key
327676 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns
327676 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
327723 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''