# isabelle_session_info

session_name: HOL-UNITY
sources: 2c2e8ef09ae267ac23eca0866c9b83947292d3e3
uuid: ad702579-42bc-4775-aa5d-ca2a2f80b1d5
input_heaps:
36485b6181fa7dd2234febf349f141456f576e41
2938869a4687eaba215c72dd9230cf340caa7c0e
5e43998d291e341e39ce32a8e5e90de0f6c3dea0


