# isabelle_session_info

session_name: IOA-ex
sources: 776fc8561bb955dceae57f94a01297ed9fefd0e0
input_heaps:
61532b7245075d4ea33812447b32dabbeba07b4a
3994299fe9a4f467e063bd0b975546ec5a4970e5
670ca3b0c6f16e44de7227000c0ef63afe050894
c2982fba00e50d24ade1dee9e4ded00014d00d2d


