# isabelle_session_info

session_name: IOA
sources: 5e8ea1bd5cd6b1d0af1ac8828f0632792b90f1c9
input_heaps:
ccd5a1012750b588259b9982c2bc588bac89f30c
78c86e253aadfdcdb820ae113e906428549ce708
26550ffc9b5c4e47251401919cc6631ef101f650


