# isabelle_session_info

session_name: ZF-UNITY
sources: 8927a7690d41605b9e0a2a771b3da880afa29479
input_heaps:
32b9ec70ea049b767adaf0015bd3835a109dabc5
80ca3886b652ecce2190f84aa45d73bd394edc8f
133ebba323cc69f35c76dbe7fad827f64a0aa54c


