# isabelle_session_info

session_name: IOA
sources: 173137c67fdd6088463ac161d90e8d8b13e5de8f
input_heaps:
cf53733eb6be06340924da21f0a2a30c8408f115
95ec6235f51fb20ff01feb967caaf0950124a8bc
5b2659208218b2c37ae32dea0e1d79369549f7e1


