# isabelle_session_info

session_name: IOA
sources: cd560df88dfbf5ee4660ffb509ac23d4da182fc4
input_heaps:
b3638f229a7c654f6777ad6f1e506f774cc49604
383f910010c35948dbe0da4effdab2d1723a6fc9
4dbfaf6decafb1b13728b40c9360353cf068c871


