# isabelle_session_info

session_name: IOA
sources: c7b9e6336b4a51368de43bd860a5478b61d01a9e
input_heaps:
68cb7b892ff6e63db78c7a6e5177c58783238420
a33fb9fa4258d63bd5352c4c62407407ee5cc8f3
c3a164a4a7da155018b378ea008dcdff2a44ab3e


