# isabelle_session_info

session_name: IOA
sources: 918b6f6943b01a4df955fa0d769d3350c737c3e0
input_heaps:
42a32478847503f3f85ef33601da5d3576da9156
89ede7dc0b82d7f6167cc537096edf93d9e4a1bb
06e24a9bee4bbd5ab17465ebdda7c576acff8d1a


