# isabelle_session_info

session_name: ZF-UNITY
sources: 78bf173103c3122a95e0b523aaf54bb671c9a9c3
input_heaps:
a709d2accdf7c7879bbeb7e5998f5ada145fc66d
56a68728a81ebbe0815468b873ff1943141c66e3
a410b462bec6715f09628c02cec17d43b02bc207


