# isabelle_session_info

session_name: IOA
sources: 152a509aade6b809219da3815ccc8938f5465abe
input_heaps:
d710d56c677e2fcd6d81515c51e8dac82cf68a7e
7d6dd39428a8b9d497f506977d40f7f26d211175
f92dedfad14be17792c054ce8455c6d0c493e2c9


