# isabelle_session_info

session_name: IOA
sources: cdc37da6a41efd04dd6474bcec1dc6409e309288
uuid: 7e8de224-5986-4046-bc1f-e6bbc995ea73
input_heaps:
b9d282957aa223601d52f84a817ca607725d2336
c178c9777d16793434d52b0438eb6f86f2c7d3c5
8ac92ba00ec737a8c2b1ea527ac63c7d48d53072


