# isabelle_session_info

session_name: IOA
sources: 8c98886b0761db3921f5d4b36e6b94275254548a
uuid: 0c47b2b8-025c-4156-ae25-3e32331b79af
input_heaps:
ea3ccdeb1f4480eff1d2d9d8612d8489cd4649db
026635fcf622a0baee3b1ebb1be23d47218acb87
9966e45dde8801ce66ac8635d2c1deb68cddf407


