# isabelle_session_info

session_name: IOA
sources: 7b2d8471f76b379480bcd4a9890c51446b8b50bf
input_heaps:
069c9ce34574a9d180b675661212e7d3c60137e9
6c6d87ef68588b18c4100f1ded4e7f9d6b048679
a34630d08ee9d35fc0c01f95104593a068085a9c


