Standard output
180964 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/key-focus-command785592477490343371.key
180964 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 115.3ns
180965 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
183922 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.96s
183955 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command785592477490343371.key
183957 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.4ns
183957 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
183983 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3''
183995 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/key-focus-command15174584874071447212.key
183995 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 93ns
183996 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
186855 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.86s
186886 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command15174584874071447212.key
186889 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.7ns
186890 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
186901 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''