# isabelle_session_info

session_name: IOA
sources: 0ba10462bdb5a586447b331c7fcc4c632ecd5985
input_heaps:
9562e4e089728e23b6fd144e8ae0b325e248d0f2
2d67f70bb6d3bc3559e2889263b4cf3e2b1e4e9d
d6af9f6bb77dd521cd5b229c567b0b5ff7e05528


