# isabelle_session_info

session_name: IOA-ABP
sources: ef83cba4d8ac308124a371dad69e34acd409e634
input_heaps:
2c47922654272eb4a217010ace00ef249f60f79a
f96e8514bd254f1fcb3e1d6b3a68cb0a3f4d2fba
54c4b266f6a5f2570c934e2e0c87d14b3c0581a8
7f70735e3d3686d9818ed391eafad87327593742


