287330 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/key-focus-command14777308627698888830.key
287333 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.2ms
287336 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
292222 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.89s
292263 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command14777308627698888830.key
292269 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.3ns
292271 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro 'nosplit-prop''
292321 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 1, command: 'focus 'i=1 ==> i = 3''
292346 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/key-focus-command1535286510154946353.key
292347 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 635.11ns
292348 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
297385 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.04s
297422 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command1535286510154946353.key
297426 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns
297427 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro 'nosplit-prop''
297447 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 3, source line: 1, command: 'focus 'i=1 ==> i = 4''