# isabelle_session_info

session_name: IOA
sources: d65210033aa063bb1211b98bdd3ee4cc057a0870
uuid: 1827a406-94fd-425c-aa64-31d5f67feb94
input_heaps:
728364c96560a7a14ddc2e9263f9042c3dd467e5
f9339c00e61865f047b4085392acb528fb8b6ea7
1b064f696eb0e99401603eb2ebb7820a95011ece


