Standard output
321109 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command1172986574084588323.key
321109 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 759.7ns
321125 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
326427 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.31s
326489 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command1172986574084588323.key
326489 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns
326489 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
326583 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3''
326614 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command2049498710356880319.key
326614 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 281.8ns
326630 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
331773 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.15s
331820 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command2049498710356880319.key
331836 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns
331836 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
331867 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''