# isabelle_session_info

session_name: IOA
sources: 015ee71f4274c75822a65cf92013ef910be4ef01
input_heaps:
0aeaa9ce0113e5633ca56f2a1c2a09cabe613578
b10bcb97be8a4ee0d925cbf1e10b05af1bc94431
c3fa36bac4f375539842f3b217f4b43fd3221f3b


