# isabelle_session_info

session_name: IOA
sources: f95f927cac9b86c96d8312a739f33a6b9b078ce5
uuid: b55cdb5c-f209-4e19-8aaf-9aedaff6b3af
input_heaps:
b2c9ee63d5fe16cd978c564d494a9c11f37d0e75
5e62c0cb0100aec33c186f91f5546684a9cc17b0
be894659942689113fde418e32d8182a94d5dd9f


