Standard output
167540 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command5028164208605681141.key
167540 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 209ns
167540 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
170572 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.04s
170619 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command5028164208605681141.key
170635 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns
170635 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
170682 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3''
171292 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command7496018011046920799.key
171292 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 239.1ns
171292 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
173902 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.62s
173949 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command7496018011046920799.key
173949 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns
173949 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
173965 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''