# isabelle_session_info

session_name: IOA
sources: 2a6dcc7a5e99e0c334b9469b7a3bd668c50ab385
input_heaps:
610e66d7bbbf591f95ed39af4ee9deb5317eaac4
91da0f421d225cc41f5e7cb69d4a2edf0de1d483
326208f6811801da6fb4c2899d07c92bdf963ab4


