# isabelle_session_info

session_name: IOA
sources: 2100717b714ccb67308e48285d07d255a46c1e34
input_heaps:
e2bf23c7d7eb3616a6ada91fb6d55c5b24a424db
a63549e9f792e863f2c65c2de3f08035d4b61871
6ede891cdcaf2e8bcf63789c28730e3a2c193d55


