Standard output
227915 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command14054946536984118068.key
227915 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 330.9ns
227915 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
231589 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.67s
231636 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command14054946536984118068.key
231636 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns
231651 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
231714 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3''
231729 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command11939826367221365666.key
231729 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 273.4ns
231729 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
235409 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.67s
235456 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command11939826367221365666.key
235456 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.2ns
235456 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
235487 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''