tpCache_statsNested.gold

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