Standard output
193232 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command7137562370170311001.key
193232 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 311ns
193232 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
196633 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s
196680 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command7137562370170311001.key
196680 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns
196680 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
196727 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3''
196758 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command2805833385627097009.key
196758 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 214.1ns
196758 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
200012 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.25s
200059 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command2805833385627097009.key
200059 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns
200059 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
200090 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''