Standard output
193232 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/key-focus-command3117828675240754092.key
193232 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 140.6ns
193233 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
196532 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.3s
196570 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command3117828675240754092.key
196573 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 25ns
196574 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
196625 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3''
196640 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/key-focus-command9621499474651942794.key
196641 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 458.19ns
196642 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
199973 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.33s
200009 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command9621499474651942794.key
200014 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns
200016 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
200044 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''