# isabelle_session_info

session_name: IOA
sources: 1137c5a55f5756cac00b4d93921db2404d5e322b
input_heaps:
963f5dbb395fbca1ebca428683961ef28be59393
27d8a2f2e6bd96d232df533b2f806252fe1eae7a
6146de5a9f290b41f9bc4af937143d49b7a1deee


