# isabelle_session_info

session_name: IOA
sources: ebfa83f68f8d99f7495878bfd294ec8307e92b4f
input_heaps:
d0812df67cfd8dfc9bc229af4d4de6a4003cc0c4
2541b922d46b619e0d5865be28cb87d13b9facb0
2d06e131df1550ff3f0da6b774401eabf10dfe43


