# isabelle_session_info

session_name: IOA
sources: 604bdc15cfc98b88ce266a6e27cadbce722f97db
input_heaps:
1d849f65e40086cfa647d5ebc591e23f461aa5f2
8299fc860ca605d42055d4569ce45da8c35d31f8
2d529dcfc9a554c3866d1d4ced6a4f45da5c86d5


