Standard output
157929 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command9106308144154662431.key
157929 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 513ns
157929 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
160544 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.61s
160575 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command9106308144154662431.key
160591 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns
160591 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
160633 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3''
160651 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command10829581438614055922.key
160651 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 170.7ns
160653 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
163297 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.64s
163337 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command10829581438614055922.key
163344 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns
163344 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
163376 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''