Standard output
236911 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command14136211217776439343.key
236911 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 216.4ns
236911 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
241034 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.12s
241065 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command14136211217776439343.key
241080 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns
241080 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
241145 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3''
241160 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command85152589660444819.key
241160 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 224.1ns
241176 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
245250 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.08s
245281 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command85152589660444819.key
245281 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns
245297 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
245313 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''