Standard output
197227 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command8198782628087711549.key
197227 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 847.8ns
197227 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
200589 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.35s
200620 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command8198782628087711549.key
200635 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns
200635 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
200682 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3''
200698 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command16806417859048951921.key
200698 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 204.8ns
200714 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
203887 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.17s
203919 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command16806417859048951921.key
203934 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns
203934 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
203950 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''