# isabelle_session_info

session_name: IOA
sources: bfa22ab9d166f98aab41e004097bcab9c40dfe36
input_heaps:
91654f4d47736227ca5d0c587bac104f80bcf18b
cefe1a1c8d8ccb79dbee55a881d829917092bf29
f2006308f154aa07fe1029acc33df2235dc8c69e


