# isabelle_session_info

session_name: HOL-UNITY
sources: 0d97df9072fa480737a2fd68d2d3efa9a9e7f0be
uuid: d6e55706-66a5-40d7-995f-f2cf40d9a590
input_heaps:
7c6f2b7437f5ebb54c9c7f19ce0aa45616568bd7
be8131a433bddd63b748362726e9657753469013
3ce1f59ba071c99fce03327f826a0c03e0859621


