Standard output
193093 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command5426948818414728683.key
193093 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 741.7ns
193093 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
196171 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.07s
196202 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command5426948818414728683.key
196218 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns
196218 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
196264 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3''
196280 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command2878726966454094787.key
196280 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 234.2ns
196291 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
199393 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.1s
199424 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command2878726966454094787.key
199424 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns
199424 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
199471 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''