Standard output
193777 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command12192852640371606620.key
193777 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 210.4ns
193793 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
196771 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.98s
196851 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command12192852640371606620.key
196863 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns
196864 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
196901 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3''
196932 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command1336820946512275075.key
196932 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 220.4ns
196932 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
199952 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.02s
199983 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command1336820946512275075.key
199999 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns
199999 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
200030 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''