# isabelle_session_info

session_name: IOA
sources: 8f0ed46af88e3338dfbe27469638456689776ca2
input_heaps:
76ac14ae37c8794c2fe7c4ad8e34a0025ac2d4ec
a32d043d7a78df09e2684446989c171f61b5b8c1
7789fc08ad64ddeb871fef7f676bd631d95ff663


