Standard output
213586 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command17890379259114469371.key
213586 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 255.3ns
213586 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
218277 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.68s
218324 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command17890379259114469371.key
218339 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns
218339 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
218386 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3''
218417 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command14936308749388342596.key
218417 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 243.9ns
218417 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
222248 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.83s
222420 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command14936308749388342596.key
222420 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns
222420 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
222467 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''