Standard output
230551 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command827783376473054477.key
230551 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 183ns
230551 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
234337 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.79s
234368 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command827783376473054477.key
234384 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns
234384 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
234446 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3''
234478 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command12998756775785923281.key
234478 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 203.2ns
234478 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
238280 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.8s
238311 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command12998756775785923281.key
238311 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns
238311 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
238343 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''