tpCache_statsNested.gold

Lemma: inner        Q.E.D.
Lemma: outer        Q.E.D.
Lemma: inner        Q.E.D. [Cached] (a.k.a. outer)
Lemma: outer        Q.E.D. [Cached] (a.k.a. inner)