Standard output
145186 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command8920377743323889243.key
145186 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 473.5ns
145186 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
147628 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.44s
147659 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command8920377743323889243.key
147675 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.4ns
147675 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
147714 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3''
147762 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command9215048598775397766.key
147763 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 178.5ns
147765 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
150222 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.47s
150253 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command9215048598775397766.key
150253 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns
150269 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
150300 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''