Standard output
156436 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command5959856530573769247.key
156436 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 188.5ns
156436 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
159126 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.68s
159157 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command5959856530573769247.key
159157 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns
159157 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
159198 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3''
159198 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command6059243682983839590.key
159198 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 230.8ns
159213 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
161888 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.68s
161920 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command6059243682983839590.key
161920 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns
161920 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
161951 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''