# isabelle_session_info

session_name: IOA-ex
sources: dd667162e8e2531f18f27ff74a17c1ff6c1e2240
input_heaps:
0bf2a27c0ff6a611e74bb01f6f32875f555cab28
92784c842d19725f296c8ccac91815ef43f559b8
edb2ad3375556ef2d33d093a4459dc4a7573df99
d92346c9e6f78a3091bee6075f8cb460a9bcd414


