# isabelle_session_info

session_name: IOA
sources: a95b12629d5a482d6c64989822a18bb66b461675
uuid: ed588034-d3ad-4f17-b02f-111a3bd85ca5
input_heaps:
ee1695b43a8fe77536cccfe86ad7014a312d9166
7a95e250afebdd7d8092dfd99109def1a56b2f6c
ac6c274b02a0f08d2259abaa3d7871757e0cf3f7


