# isabelle_session_info

session_name: IOA
sources: fac1c913876d2aee6be091facea7a93816ebda32
output_heap: 1ebbf4cc0fda4428b8f6a5a2a4c3413e18aa24e9
input_heaps:
db6f05ad5884c3d4b639d9f4b203792d5968e568
8f4009a03cb4dc8972f8428957511cea3c656c5b
e1a49eba39be39a6d30f2432d1e20f9f853d1a3e


