Standard output
305411 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command13924913883860084831.key
305411 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 311.1ns
305411 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
310711 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.31s
310773 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command13924913883860084831.key
310773 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13ns
310820 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
310945 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3''
311039 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command10427976646907885261.key
311039 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 730.6ns
311039 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
316289 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.25s
316336 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command10427976646907885261.key
316336 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.3ns
316351 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
316379 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''