# isabelle_session_info

session_name: IOA
sources: a6c2e70677c8ea212e5919d7d75c51fc07c58a03
input_heaps:
4e82e6c0bef1be82a2492fb5f5f1be25a3feffbc
e207e4cc91f8bd0aa5ea59721de9d4c9e38fdb88
970934327dcbeb71f33787bc7c99dc77fb78ff6e


