Standard output
203292 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command5468480480617907846.key
203307 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.01ms
203307 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
206811 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.51s
206874 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command5468480480617907846.key
206874 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns
206874 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
206921 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3''
206952 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command8698016143407420751.key
206952 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 248.1ns
206952 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
210454 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.49s
210485 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command8698016143407420751.key
210501 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 82.7ns
210501 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
210532 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''