# isabelle_session_info

session_name: IOA
sources: 73ba2b63b54303cf2faa5a4d320e62394689ce51
input_heaps:
33e372010bd93d78618052a88797c5afe4f11382
7daf0c8bd7744b8053173dc61bbf05acdc7970ef
e294a0a09befd3f35232bdf9b86739ee6e0b88e1


