Standard output
198486 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command11903993500556374055.key
198486 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 220.8ns
198486 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
202691 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.2s
202972 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command11903993500556374055.key
202988 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns
202988 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop'' on goal 0 (script from line 1)
203410 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3'' on goal 1 (script from line 1)
203426 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command17859811179883524043.key
203426 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 229.6ns
203426 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
207045 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.61s
207075 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command17859811179883524043.key
207091 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns
207091 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop'' on goal 0 (script from line 1)
207138 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4'' on goal 3 (script from line 1)