Standard output
183968 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command17997696760547996266.key
183968 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 208.1ns
183968 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
187169 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.2s
187216 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command17997696760547996266.key
187216 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns
187216 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
187272 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3''
187289 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command5143346275836384955.key
187290 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 328.8ns
187292 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
190583 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.29s
190614 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command5143346275836384955.key
190614 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns
190614 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
190661 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''