# isabelle_session_info

session_name: HOL-UNITY
sources: 1df4c79f47fe4d60312d5df8b688c16f73cee71d
uuid: 63f2f6bc-a953-482a-bc07-77ff5f07703b
input_heaps:
99aa1dee31dfa0d453b64e417ce1ae8b896c3602
2d57dd9f95ebb02243d5cf26c23b4f5f995f70e2
4a25dacefa43d1c232725ec4df8a538ab6f2c1ce


