# isabelle_session_info

session_name: IOA-ex
sources: f1b2b4c16bcd83b14e9d339b2a4bd1f2bfd4ac71
input_heaps:
2c47922654272eb4a217010ace00ef249f60f79a
f96e8514bd254f1fcb3e1d6b3a68cb0a3f4d2fba
54c4b266f6a5f2570c934e2e0c87d14b3c0581a8
7f70735e3d3686d9818ed391eafad87327593742


