# isabelle_session_info

session_name: IOA
sources: 31bbdc6958173c131b79d87b49efba29caf006da
input_heaps:
fa95ed0464f30ce78a23f18378a450505aac44e2
33766297751265f96298d96dfa2ce2f96fd564b0
9e5a8109d5390eb67a66a8f0cc301e8d9b8971ef


