# isabelle_session_info

session_name: IOA
sources: a1f4c47f857803bd7b865ef09e6c5d51248ffe35
uuid: b872d5f1-53b0-42ef-a344-4afb2b13d081
input_heaps:
9f756a51bf34e1b2803926b818ad28454650efdb
6f8c06347605fafc9c3e2a708367e9d073c12b69
33c3ff9b0053ea19e69da065579f6a9278c6fba0


