Standard output
164581 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command4115384417725447399.key
164581 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 203.5ns
164581 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
167223 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.63s
167254 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command4115384417725447399.key
167254 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns
167254 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
167301 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3''
167317 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command11186082226666845175.key
167317 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 200.8ns
167317 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
169959 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.64s
169990 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command11186082226666845175.key
170006 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns
170006 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
170021 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''