tpCache_nested.gold

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