Standard output
185239 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command5566874678239976730.key
185239 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 209ns
185239 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
188443 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.2s
188475 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command5566874678239976730.key
188490 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns
188490 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
188537 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3''
188553 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command329113441554769469.key
188553 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 204.5ns
188553 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
191681 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.13s
191727 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command329113441554769469.key
191727 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns
191727 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
191743 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''