sbv-14.1: SBVTestSuite/GoldFiles/tpCache_hit.gold

Lemma: fact         Q.E.D.
Lemma: fact         Q.E.D. [Cached]