# isabelle_session_info

session_name: IOA
sources: a629b5db08d1db14f25452f5702aba66e9b023d3
input_heaps:
2f7a95ebb0ed245614cdc5e59a663000c01e19df
bd7e2a02ad826143e46286eaf8c062e18c745fa0
18ab84a4f57589ed51b7f8c747b378c4496caa09


