# isabelle_session_info

session_name: IOA
sources: 9a1756eaabf4d084a60351fd08245ff0de2495d6
input_heaps:
9d7517348472ce807cf5dff817172e1e8120481b
929ed8b823edb90e6904fdfe33cb6e38dbf2b397
78c608fccf930d986813714884bf94b3ddd76447


