# isabelle_session_info

session_name: IOA
sources: 18d6f4d795f14765d9b1e42870427ae7649d3d89
input_heaps:
1c6f2074cd6cdf579a3d3ee0e0c3866542d97adf
dc5a1495e230b9fed28df216f9bc9b8936ded4f2
bc7807f47ff6e870c858158eb0e21ec1cedb54bd


