Standard output
271854 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command15505388541600332278.key
271854 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 270.1ns
271854 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
276483 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.63s
276608 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command15505388541600332278.key
276624 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.4ns
276624 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
276718 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3''
276749 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command10258794997473861019.key
276749 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 275.7ns
276765 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
281394 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.64s
281440 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command10258794997473861019.key
281440 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns
281440 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
281487 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''