Standard output
174731 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/key-focus-command6338990073180958868.key
174731 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 510.32ns
174733 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
177806 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.07s
177841 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command6338990073180958868.key
177845 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns
177846 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
177876 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3''
177890 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/key-focus-command2041388579131275947.key
177891 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 497.52ns
177892 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
180946 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.05s
180980 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command2041388579131275947.key
180983 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns
180984 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
181006 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''