Standard output
165254 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command2827718426807418241.key
165254 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 178.3ns
165254 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
169476 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.22s
169538 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command2827718426807418241.key
169554 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns
169554 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
169601 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3''
170101 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command4700531729201976438.key
170101 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 294.4ns
170101 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
172919 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.83s
172950 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command4700531729201976438.key
172966 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns
172966 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
172997 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''