# isabelle_session_info

session_name: HOL-UNITY
sources: 01ba539de8685790d3dfaf964e5e0889a9f95bd3
uuid: c1b43b72-5e50-4e31-972f-a5a05aa29c5c
input_heaps:
95ed4e8ef4a50e6e2c06f89efaf18987551db93c
5ee65b4d98425bd750ed22b8b867605c93d371ef
beb0a434931435890c75fe74bd5c90579142d935


