# isabelle_session_info

session_name: ZF-UNITY
sources: 58bda0b73a8ac6db1d81b8b87f5ff6d5ab96165f
input_heaps:
0f207da8fa38a715f9e8aa8a58fd6614f1b93f2d
9cdab3b3d99a28d70b8fa646223685eb2b2d30ff
e9a2ad692167d60a26370a7f037f80b2e06596ba


