# isabelle_session_info

session_name: ZF-UNITY
sources: 77be4ad1dee2ca6d7cdd3a88e5d25c534b14ec4d
input_heaps:
52d50d10ccdc465a02bf994ffa404cd98f184ab5
75c90d096984d6064f2ed9ac4775c780ccfff1e1
04a236c1c9226cc6dfafcae467f1fcc011b1b830


