Standard output
208249 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command3778210955835411179.key
208249 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 223.4ns
208265 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
211590 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.33s
211621 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command3778210955835411179.key
211637 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns
211637 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
211683 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3''
211715 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command587210432803334374.key
211715 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 248.8ns
211715 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
215232 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.52s
215279 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command587210432803334374.key
215279 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns
215279 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
215325 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''