# isabelle_session_info

session_name: IOA
sources: db8d4b7743dc19548309d1aac78d2e7177e9d8ad
input_heaps:
04c2527dfcc2e4bcf71d91a73f4ba16392812f83
f2dd6209bb85a1d492cea699a734e24e8c396a56
be3d75ba02d78010ea8cba48bbd740761c47deb4


