# isabelle_session_info

session_name: IOA
sources: 2e7b172c1a21656178a84bdb9a7301ef991cb756
input_heaps:
2104cafe5564fc5ce1949d8ef83c9104aee941d6
25c5d5ab322b23b0109a81b359ddcb0da3ef156a
3197960e0190988f69f9c1946c858f4b46798744


