# isabelle_session_info

session_name: IOA
sources: d8ad0eb7505e07480a0410c2b6dfccff120c5c70
uuid: 0cb33dd9-5ea6-4725-8cb9-5670229c1a3d
input_heaps:
f0a12a2aec69f13fa5d0bad6bd85ace47d658fb7
79de5a894792a27db391599b9e95af83f31c70b4
748da40039b57f5587b1c3ec575b057a659db3da


