# isabelle_session_info

session_name: ZF-UNITY
sources: 60b78935af9acaca22d43202fb8bbd0d6d8d8a93
input_heaps:
c2de97967f5bbe0778dca40cd734a9a6aa349fd1
5324e1db43b3906276a35bb452c7a0eb056e8c1f
7fad992bd4c53c0c06205fda73b23407c2703153


