# isabelle_session_info

session_name: IOA
sources: 36af910910f7ee6392662684596a3cef6235bff3
input_heaps:
3fcd7511ab327c5a89ade2e9942291174e9003ad
fb51139a56e053f2570dbe1d300fd77c6cd870a2
85a00aefd717a899c3ff744f6b1cc5c7d0fae1fd


