Standard output
173616 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/key-focus-command13093621847964908264.key
173616 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 491.32ns
173618 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
176660 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.04s
176689 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command13093621847964908264.key
176696 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns
176697 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop'' on goal 0 (script from line 1)
176737 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3'' on goal 1 (script from line 1)
176750 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/key-focus-command815479485305374949.key
176750 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 127.41ns
176751 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
179762 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.01s
179819 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command815479485305374949.key
179825 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns
179826 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop'' on goal 0 (script from line 1)
179845 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4'' on goal 3 (script from line 1)