# isabelle_session_info

session_name: IOA
sources: b1e3ef3770532495ed35da8bc885232242120fa6
input_heaps:
cbf32b635c328a6095a45f5c01bb1adf119ee7c0
bd89f790ae831acf5d43976dcc41799a9f93a1c7
f3f9dd0676098c98bb325e21c960054c5fd6b6ff


