# isabelle_session_info

session_name: IOA
sources: 7f0af52faf30b858a160e1f4750f4cbbea73d024
input_heaps:
902f55b990891c03dddf854b84aaabb24ee3cee3
e6e8b4787869145ada1a85e687fd48496d7b5e76
4a867ce186d19a8619becd6f9a3083c6de289c75


