# isabelle_session_info

session_name: IOA
sources: c6ff07615671858e06ac0397dec1295f0f4118a1
input_heaps:
edcd1e22b3bcd95b9f743e779022af92d2d4b479
1cc0c57a4dc6b1fce148bea145e128ee3a528e0f
3dd8244756f2aed1f6f05aa3ac0ef284761675dd


