# isabelle_session_info

session_name: IOA
sources: d6cede91c1e3ff752252ca4362ac0e0b9b446ffa
input_heaps:
c0e61e77fb8690f5534806812bdf6e8b6e8358cf
3f40f337f05cd9b43550abd225457398f45a1c03
74e33dbc231431439bfdb424960779693a97ae58


