# isabelle_session_info

session_name: ZF-UNITY
sources: 239b4ce4ceffb98c470b30e5bce3282fa128cdd3
input_heaps:
e620ac930d489078b357b373608609ed836ae94d
d01cd983c34ec987dd6a62096ed3b95e6fec5083
bfab9eaf24248619bf7932595a70703312f671e1


