# isabelle_session_info

session_name: IOA
sources: b18dc97637c0e0529c0db54633fa9d3e4b5ea24d
uuid: 53b03e4a-e8f5-4553-821c-ecccb38b8d13
input_heaps:
611cdb6c5329e67e3840a4eaaf7a9c12741c22c6
7d4ddc2c6925c8c40fb13abdefeeabe718661ab5
d1c883cebb7725ddd950d5e179cf67dd97c88ef2


