Standard output
156510 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command14255682410677912592.key
156510 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 196.4ns
156510 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
159152 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.63s
159183 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command14255682410677912592.key
159199 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns
159199 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
159230 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3''
159246 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command18236141025849531353.key
159246 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 261.2ns
159261 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
161842 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.59s
161889 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command18236141025849531353.key
161889 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns
161889 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
161904 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''