# isabelle_session_info

session_name: IOA
sources: 36dcfab64e05a112c1274ffb59ab5122aef6c7d5
output_heap: 47f8fea1ff98e42e5ac6b4551991bf9cab49be43
input_heaps:
79e36a03a6cccf01470337ebf2c8411e21d944b2
b93bed27caa97c9f4b1f44bbf588fb4ffdfc6b77
9bd13f880c3a5944e8696ec31889198ce727d269


