# isabelle_session_info

session_name: IOA
sources: c032c82f07ee4e05bff7e77c4fd8e3c7d24361f9
input_heaps:
98cdb8373ea965ed3e3dfef923c097916f626e1e
3c331c2e953d1a5ffb421f67e6a22dc191ba1f22
38fc620a0787ead2cc6b13566d04422f21a0edab


