# isabelle_session_info

session_name: IOA
sources: c1c088fac5870619c10976c567062e163825e1bd
input_heaps:
24a02e746c61040204a8bb5050040c0249134cdf
94f56250bb4f3fd3f203368dc609dc2dfcebeb97
8b17f295059d24ddf23ecdf726786258570d6a16


