# isabelle_session_info

session_name: ZF-UNITY
sources: 37c3defa0172a47e9cad0328798d4939a8ac9a85
input_heaps:
fa95ed0464f30ce78a23f18378a450505aac44e2
8a394eefb0cefeca1aae6ee74626e436a17bcc55
588de281b69bce6a9bffbd4a0019a9102dddfd2f


