# isabelle_session_info

session_name: IOA
sources: f3c036aebb3b3c7cdd59eb7521f153ad0461420e
input_heaps:
99005465b294440907f056706dc01a7cdcbed98f
e401debe3cd3d8202814086cb5f8caa834df63ef
151dd764cb6c93d539c8ef1374566740ff7db01b


