Standard output
156385 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command1694635584540355067.key
156385 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 546.2ns
156385 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
159041 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.66s
159072 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command1694635584540355067.key
159088 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns
159088 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
159119 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3''
159150 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command16087786021856618311.key
159150 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 198.4ns
159150 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
161828 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.67s
161859 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command16087786021856618311.key
161875 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns
161875 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
161906 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''