# isabelle_session_info

session_name: IOA-ex
sources: dd667162e8e2531f18f27ff74a17c1ff6c1e2240
input_heaps:
6ac43f2621aa23038ee2871857f943ba5725a1be
0a49de4572e2bdf8c075b39e270ef0518fd9ac93
14af51337e9cef414d1b9a25cb0cfc82face1298
4dba9501451a0e975def3db41a922c979713e733


