# isabelle_session_info

session_name: HOL-UNITY
sources: 864432a175e077ed7f2cc8daeac56769ddf5217d
uuid: 65d151f0-78c3-44a7-8a6c-00b64d0e0483
input_heaps:
f57eb8ed536f0e70cc3f24060ba296c4b68ba268
806371498c4294b06fd3427f88733a19f266392e
26e7d77c0a5c34271c458e44f10dafb446be6292


