# isabelle_session_info

session_name: ZF-IMP
input_heaps: 014fdf73a0b928fde39c061b3b448884e65fa152 bed9ba24cdfd5c6d1bf1670098fdd1a4feb9a427
sources:
125fa51d1a33a79f7f1a84d1ee0c4668d6abdb4c
12938d588ab6aeaf002f116882f58776f4cde202
3d95ea096437d32bde576ab1e2813e5f03f1ba6f
6e637ae043dcfabead8d01712b845e55b879a400
81ac04353fe9f4e7b246a9d98ba0661e0d1b5a44
cf84e7a532bc1b4860702b59538db46e9c6d011e


