# isabelle_session_info

session_name: IOA
sources: dce078d1566b3c8a5e1f2a4e120eb35bcc03778d
input_heaps:
ed6caa966bb75077c120e012673453f69d500802
269c54a80d587c3b365ca98028240e5f8391db0a
a56d9b5426c39bfb45d4b04081dc00e6d5f96a32


