Standard output
206858 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command15223307386414456869.key
206858 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 230.5ns
206858 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
210282 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.42s
210313 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command15223307386414456869.key
210329 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns
210329 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
210376 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3''
210407 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command13077728837678527026.key
210407 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 190.8ns
210407 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
213723 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.32s
213770 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command13077728837678527026.key
213785 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns
213785 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
213816 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''