Standard output
215261 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command14867847081971045940.key
215261 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 213ns
215261 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
218949 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.67s
218980 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command14867847081971045940.key
218996 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns
218996 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
219058 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3''
219079 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command15769443394075449797.key
219079 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 299.7ns
219083 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
222755 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.69s
222801 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command15769443394075449797.key
222801 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns
222801 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
222880 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''