Standard output
309417 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command17468140901978148943.key
309417 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 859.3ns
309433 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
315050 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.62s
315097 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command17468140901978148943.key
315112 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.5ns
315112 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
315190 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3''
315456 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command8875500837916767644.key
315456 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 271.8ns
315456 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
321106 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.65s
321153 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command8875500837916767644.key
321153 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns
321169 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
321231 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''