# isabelle_session_info

session_name: IOA
sources: d753e1ddceb48c01a4ad3ed96ab5ec715da093f5
input_heaps:
58d0f01554815b2ca2b0ce1eceea445cfa26d876
c68ce415310124a77b51aaffc37a88173faa34e4
0c31e6a59f06ff3152cc5cc092bd2aecd6a359dc


