# isabelle_session_info

session_name: IOA
sources: 5a80aae8c2b3d821874b913f53cc3e3ceabda574
input_heaps:
9e57621fc6e68a5512aa3bfd26eb21db38620196
a4b348888fd6bb25a5848142d09c6ff446a0d19b
6da81a4479ff7481d730dd7934f7c6565a60077e


