# isabelle_session_info

session_name: IOA
sources: 2100717b714ccb67308e48285d07d255a46c1e34
input_heaps:
b690dd9b4995811857c4fb640c8853723b58ff28
2f035b4a19bddcb32b1e2a5fd47e81076fa7fb4f
181fa2e2ea5bd462ec0a427c4e523eab1e78f62f


