# isabelle_session_info

session_name: IOA
sources: 7fd6a2c6403a34930893190f883b5eb86ed24fb5
input_heaps:
221bf55cdbeeb204abe001803bef147f0ffeb54c
2d0043d5245b774b6a52bc09a6afbc782402b041
93356f469915d10432ab6ae5f8d27bd09a3c17b0


