Standard output
187982 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command9838063436231690183.key
187982 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 219.3ns
187997 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
191159 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.17s
191190 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command9838063436231690183.key
191205 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns
191205 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
191252 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3''
191268 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command13305295006934148794.key
191268 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 229.6ns
191268 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
194466 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.19s
194486 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command13305295006934148794.key
194502 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns
194502 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
194533 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''