# isabelle_session_info

session_name: IOA
sources: 6eff7270bd76135519772dafd80e0dcde74ff8af
input_heaps:
5276688fea607e3a3776d373302d975e53d8d37c
bd77ad23a6adabd9127118020c894b7881abece9
3be06e430ee40fb0a0ee7f7277a8f1f31e995b7a


