# isabelle_session_info

session_name: HOL-UNITY
sources: 90846989a66d050cd5253ffe3fc62b99c8339f50
uuid: c1d17d18-b2fc-445c-8fbd-4401cd694266
input_heaps:
82ad92dc0dba9d95491b69387d189df653d2761e
1530d97ea51c361acf764a2ef5e711409abf7a87
d232c94d4a6469116ebfcf6f32bf837bd6782b3c


