# isabelle_session_info

session_name: ZF-UNITY
sources: 4cfa8b554ae6d7467d35a18732fec56a88e6e5bd
input_heaps:
33af3aa2756835d884f107e94ef8fae75dd44f26
3bb28f47d8b266c2746201ec6b0f70e5812955ca
56cbc876c5017a7886a6ca7541523cd243879ce7


