Standard output
177912 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command15546341190079372268.key
177912 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 255.4ns
177929 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
180857 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.94s
181075 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command15546341190079372268.key
181091 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns
181091 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
181122 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3''
181138 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command1168706124946348802.key
181138 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 186.5ns
181138 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
184158 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.01s
184189 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command1168706124946348802.key
184189 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns
184189 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
184236 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''