tpCache_nested.gold

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