Standard output
201307 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command10000126131006112196.key
201307 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 249.3ns
201307 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
204647 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.33s
204694 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command10000126131006112196.key
204694 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns
204694 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
204741 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3''
204756 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command5422250894223910112.key
204756 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 207.3ns
204772 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
207994 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.23s
208041 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command5422250894223910112.key
208041 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns
208041 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
208151 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''