# isabelle_session_info

session_name: IOA
sources: b2d3eab8e5293e29411ce353ce946e117ef1f989
input_heaps:
965db9a9fb2cc4fdb5e5b9afd24f7a9ca9aaf978
09960ff509b80e2828bc02044118a5145e571ed1
e96f19e4e7f46f9f63ee8427e96d6c9e78637173


