# isabelle_session_info

session_name: HOL-UNITY
sources: 9ac81f60abd96a0a6517a37bde6ddb76855cc4c3
uuid: bac7711c-7843-4870-94dc-f608369fe405
input_heaps:
728364c96560a7a14ddc2e9263f9042c3dd467e5
f9339c00e61865f047b4085392acb528fb8b6ea7
34c04d377c22311188b28a2fa568d13d76cfec7e


