Standard output
203456 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command16036624523357963081.key
203456 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 258.6ns
203456 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
206926 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.47s
206973 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command16036624523357963081.key
206988 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns
206988 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
207051 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3''
207067 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command14595649243422785557.key
207067 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 261ns
207067 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
210507 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.45s
210554 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command14595649243422785557.key
210554 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns
210570 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
210631 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''