# isabelle_session_info

session_name: ZF-UNITY
sources: edff07a85f537710fbcd78b765e8684cd0b791ac
input_heaps:
7a26b1aa42c8d55e21b9ca6ce6209bf2a039bcd8
ae9967269a3a23e1759c5cbea75e26d60d16ec4a
d9fbe40544f94a5b10b33ecd356f79ce24c20481


