packages feed

sbv-14.1: SBVTestSuite/GoldFiles/tpCache_statsHit.gold

Lemma: addZero
  Step: 1           Q.E.D.
  Result:           Q.E.D.
Lemma: addZero      Q.E.D. [Cached]