# isabelle_session_info

session_name: IOA
sources: b73464420344c4a4f64e0e8e989f825081acf18a
input_heaps:
d5a3488ad18ffbaae064d10946542ffd314bf36d
72dc51a447b414238b4717ffb07110fa03d59279
362eef226ddc6cc01efed4758b9b51422f58a16c


