# isabelle_session_info

session_name: IOA
sources: 85139557804717eac2b3c8a1b1e273dfa7c67405
uuid: 49a5239b-2d2f-4e54-abe3-4c53d8ee88a3
input_heaps:
0801d317611e826e9cf4db1743005797fad2ead3
98042735e6ccb24a3163b6450a8c77d21c48bd86
8bc90822149f1c7ed4537defdeba90ed96a4cf48


