Standard output
215024 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command1715701879263239215.key
215024 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 828.2ns
215024 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
218794 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.76s
218950 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command1715701879263239215.key
218950 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns
218950 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
219013 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3''
219041 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command1152632545487793523.key
219044 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.33ms
219048 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
222695 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.65s
222727 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command1152632545487793523.key
222742 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns
222742 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
222789 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''