Standard output
242818 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command13262367897952727787.key
242818 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 584.6ns
242818 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
246916 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.09s
246947 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command13262367897952727787.key
246963 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.1ns
246963 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
247025 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3''
247041 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command3237693610818366742.key
247041 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 214.8ns
247056 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
251162 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.1s
251193 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command3237693610818366742.key
251193 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns
251193 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
251224 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''