Standard output
190237 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command7252541721507961574.key
190253 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 331.3ns
190253 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
193531 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.29s
193594 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command7252541721507961574.key
193594 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns
193594 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
193641 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3''
193672 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command9730361599482777391.key
193672 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 216.1ns
193672 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
196982 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.31s
197013 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command9730361599482777391.key
197029 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns
197029 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
197060 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''