Standard output
141957 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/key-focus-command13560347955300052909.key
141957 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 95.6ns
141958 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
144451 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.49s
144479 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command13560347955300052909.key
144481 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.9ns
144482 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop'' on goal 0 (script from line 1)
144503 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3'' on goal 1 (script from line 1)
144511 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/key-focus-command17593969731813654019.key
144511 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 77.7ns
144512 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
146981 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.47s
147007 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command17593969731813654019.key
147009 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6ns
147010 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop'' on goal 0 (script from line 1)
147019 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4'' on goal 3 (script from line 1)