Standard output
203073 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command14328344341703180466.key
203073 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 317.3ns
203073 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
206704 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.63s
206750 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command14328344341703180466.key
206766 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns
206766 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
206813 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3''
207354 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command8294630277563892825.key
207354 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 346.6ns
207354 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
210690 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.33s
210737 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command8294630277563892825.key
210737 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.4ns
210737 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
210784 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''