# isabelle_session_info

session_name: ZF-IMP
input_heaps: 7f2620c3106ba8cf7d1c7f769837afcff4b3cfdd 64b77baa97900996c9549c22be820cea669f0636
sources:
125fa51d1a33a79f7f1a84d1ee0c4668d6abdb4c
3d95ea096437d32bde576ab1e2813e5f03f1ba6f
6e637ae043dcfabead8d01712b845e55b879a400
754b2b24d4b7025f2ab633e553a6d552ed01f748
81ac04353fe9f4e7b246a9d98ba0661e0d1b5a44
cf84e7a532bc1b4860702b59538db46e9c6d011e


