# isabelle_session_info

session_name: IOA
sources: fda1728184ff42ae1089d3295d64e71e3baaf299
input_heaps:
5de46abf17e2c5086795d60e983eccffdbef3cbf
8142a2c1c4e75efe740335c6e0b236116ad9d132
73764124991a2ebbb6bfa28a57145e1a1df4cd6a


