# isabelle_session_info

session_name: IOA
sources: 297170795cd3df62c310fc9a28daa8ea82d3dae2
input_heaps:
a17ca0e9fb4e0fceba75bb31fcaebec8075ae426
a9c891922046e0d6b89301822d50b6a5b330d859
d0cda0cd4e5e91971537171f0c98ce3923a28118


