Standard output
141270 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/key-focus-command276168316590495154.key
141270 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 571.71ns
141271 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
143708 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.44s
143734 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command276168316590495154.key
143743 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns
143744 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
143780 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3''
143792 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/key-focus-command9827105839619863420.key
143792 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 448.31ns
143795 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
146204 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.41s
146230 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command9827105839619863420.key
146234 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns
146234 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
146252 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''