# isabelle_session_info

session_name: IOA
sources: b7b78c89bf34fc803a2202ff038ebfd4c33974d9
input_heaps:
2323e0bcf9a949c0980c1f22cb8227d64a922d7b
c4b710fa6d0b34b7df331901656cc5e2aaceba02
1efea32adcd36de1838f18fe04c40dafb9a31660


