Standard output
204719 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command11519454663952258893.key
204719 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 231.9ns
204719 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
208190 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.47s
208222 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command11519454663952258893.key
208237 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns
208237 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
208300 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3''
208331 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command4004467430842070188.key
208331 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 341.7ns
208331 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
211676 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.35s
211723 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command4004467430842070188.key
211723 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns
211723 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
211754 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''