298474 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/key-focus-command5725953235324030138.key
298475 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 605.6ns
298477 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
303722 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.24s
303775 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command5725953235324030138.key
303779 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.6ns
303784 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro 'nosplit-prop''
303856 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 1, command: 'focus 'i=1 ==> i = 3''
303889 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/key-focus-command1946750293190385721.key
303890 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 269.3ns
303892 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
309190 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.3s
309231 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command1946750293190385721.key
309237 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns
309239 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro 'nosplit-prop''
309264 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 3, source line: 1, command: 'focus 'i=1 ==> i = 4''