Standard output
188544 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command7371540076417237736.key
188544 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 202.1ns
188544 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
191751 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.2s
191783 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command7371540076417237736.key
191798 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns
191798 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
191845 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3''
191861 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command7169734889750231191.key
191861 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 204.1ns
191861 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
195094 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.24s
195126 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command7169734889750231191.key
195141 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns
195141 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
195173 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''