# isabelle_session_info

session_name: IOA
sources: a1f4c47f857803bd7b865ef09e6c5d51248ffe35
uuid: ddeb2555-108b-4777-afb1-b310c9e82047
input_heaps:
2d4d42bbaa4aa9e2d6be0125d66cf1542ba8f42d
8949abede8d02268862b8a391758b7bc0543b206
996f1c55fe298c34e9cb8ee0776fbeba1ab726b7


