# isabelle_session_info

session_name: IOA
sources: eff1721effbbb58aec8f8ca7ad6d06f3e36f8c71
input_heaps:
76577b18008530e07593d17b9b98e73a9f0ad7de
40a3057232eda93f4e99a0cc1fca62ebf7c1e395
390c291480a7f201d60327fc9c46d374be3267c0


