Standard output
203369 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command17483835663525350666.key
203369 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 265.2ns
203384 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
206785 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.41s
206832 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command17483835663525350666.key
206832 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns
206832 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
206894 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3''
206910 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command7718540288356398503.key
206910 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 242.6ns
206910 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
210387 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.48s
210433 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command7718540288356398503.key
210433 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns
210433 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
210480 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''