Standard output
220697 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command15629587813650733013.key
220697 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 255ns
220697 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
224542 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.85s
224589 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command15629587813650733013.key
224605 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns
224605 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
224668 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3''
224699 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command8248897504738981514.key
224699 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 327ns
224699 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
228530 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.83s
228577 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command8248897504738981514.key
228577 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 17.5ns
228577 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
228608 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''