# isabelle_session_info

session_name: IOA
sources: e279de67fe0b6eb6b4bacd96788f7f9e6d2de40b
input_heaps:
6b7ea948c08a4808501358e80052aac147b7eae5
c30c18fd78f34edd677a1ed4a755fbc1bde8fcf8
5b64e1434c935b2d6564717ca1170719a2933cd3


