# isabelle_session_info

session_name: IOA
sources: b95f641b27f58e6015f5c1dc5945d0fdc3875be6
uuid: e27dbed6-0293-4f3f-81ad-5d1c7dfd91ee
input_heaps:
d3f897dbede5114e044d830121d9dc2b656057db
736e4fc5a7aca9f5f524c2f1dcf705553bd6aaed
d4b0bf24b7d6ba64c262a4c436524eaaf2c75faf


