# isabelle_session_info

session_name: ZF-UNITY
sources: 772633d4db003b59acbb7de430513313ebfc9e3f
input_heaps:
4e13432f40f7b1835a151e11bc124aeab3c9b529
1ff482a381da2b97c350b0b7af8e7b20f87f71ab
a4acadae09889ed1839a041968bfe4439cc6d742


