# isabelle_session_info

session_name: IOA
sources: f12d1e76ae992ef4b182c712189c95e823c3c07a
input_heaps:
7d9fa93b580f7b2d4f1fd2f547b350a3fd1985a1
51090f86b27d57beb37832df883e305949dac6f7
6570aa52214eb63c82e91b003b615addd57d4091


