Standard output
179929 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command6412277118015671122.key
179929 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 389.6ns
179929 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
182962 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.02s
182993 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command6412277118015671122.key
183009 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns
183009 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
183040 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3''
183056 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command11022913042833083460.key
183056 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 189.6ns
183071 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
186071 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3s
186102 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command11022913042833083460.key
186102 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns
186102 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
186149 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''