# isabelle_session_info

session_name: ZF-UNITY
sources: 14526f578335c98702545e184d4067c9537e3ef9
input_heaps:
610e66d7bbbf591f95ed39af4ee9deb5317eaac4
a456ffa942f4fcaf4c6db05ca8ae579617e66112
81583aec205a828e534278c3b9ecc5ba2af32316


