Standard output
185151 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command5860917963172991978.key
185151 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 204.6ns
185155 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
188211 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.06s
188258 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command5860917963172991978.key
188266 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns
188267 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
188298 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3''
188314 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command7247727416434907151.key
188314 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 190.1ns
188330 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
191477 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.16s
191524 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command7247727416434907151.key
191524 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns
191524 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
191569 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''