# isabelle_session_info

session_name: ZF-Resid
input_heaps: d38e002fb81c6e684e22dfb9a00446f1cfd993cd 666f0599c9f97bda8df627c8c0f27fa7d443b1b4
sources:
032747f70e60c520957e25c149f5177d8ecc8f72
03cef9d5aed6fcf0832053862e506bdf96619c2d
087c424a70f278759c0b6e4edaf50ca1393d5072
24ac677f35b56d2c8077ac01c99e36cc65b0c88b
8d81f5a8f8401e6ebfff506f46a32901bc7a24e4
ba2c14da6ee7b402a5e22de38cfc3c7d614c7215


