# isabelle_session_info

session_name: IOA
sources: 96719687235e9d00c670a015e549128a4a571837
input_heaps:
26147ae01ad4ddf2dc55f2d4dbbaaf16f7824ec1
1252048e236c2e2b9eff3f4d296c1d4ba90a5b58
527d0393514109d678b2ed6e16199ca9a9e65055


