# isabelle_session_info

session_name: IOA
sources: b18dc97637c0e0529c0db54633fa9d3e4b5ea24d
uuid: ae372deb-a3de-4d25-ab03-7962ff88e3d0
input_heaps:
46471e6616f7726ee6f7c4484f2c5ad2c2f77c52
61821a842a958a016e9d5f60f90d2a4ad88e0a58
de611f6dcae6578453522448ec596c7a5d775e10


