# isabelle_session_info

session_name: HOL-UNITY
sources: ec26c3d834928ac393cfa577f31f683d53552da7
uuid: c46a7330-b984-4f39-90b0-8417e6c14dfe
input_heaps:
9b8ffe94a37cb7ae88c6a0b5fa799ce2b573a390
5d260ccc8b85a4358fed6437849656cd81132922
baab9a4aeafdae804f69c561b53ef89c93165c1a


