Standard output
209272 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command17865976961181366868.key
209272 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 249.2ns
209272 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
212711 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.45s
212758 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command17865976961181366868.key
212773 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns
212773 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
212820 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3''
212836 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command14529558048570683643.key
212836 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 268.7ns
212851 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
216243 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s
216274 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command14529558048570683643.key
216290 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns
216290 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
216321 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''