# isabelle_session_info

session_name: IOA
sources: 74c315480f205a8ac00612fe3f3e3ba12c140e7d
input_heaps:
ed49615d0f34d882905c1347e93972344c93c592
18a74e1184c98f28794864630d3eda03f7ec5008
1160c5cd254295467c19c6a08136c6e45fa15b11


