# isabelle_session_info

session_name: IOA
sources: 63acb8fdde6668ea901dec70c5f1497c57697f03
input_heaps:
83cc805694bc9911202d3d5491fa3857d91ca92e
1267aff52d0486a39f53972086158f862dd66e5f
214425550214caf5adea87b21b6bdd2d4805c56f


