# isabelle_session_info

session_name: HOL-UNITY
sources: 36baecaa1dc3203895e13bb47e740b6b80bfd52d
uuid: c9b3ebf5-991b-4b5e-b60c-b3eb103e3823
input_heaps:
f120b186b8c94c8dfd968762788edb0b6c1f4705
45a65a42f2948aee1b7614aa26f30387ccd4133d
02c56e6595a4ce98c386301abaeb43b7dbd17c36


