# isabelle_session_info

session_name: IOA
sources: f03a2f19e37d7a2a1f07e0e5fe32543a53b4fdc3
input_heaps:
f79dcaa1c9ac424b2dc8d1e27a0e09517d26ade4
eb37e5ba364e75f2c586fe34fbb117952048030f
1dd1ba75f57aa6680da3b7951bdf453f79821369


