# isabelle_session_info

session_name: HOL-UNITY
sources: 24fad8191c403dbecf2ad77d8c6c257a6fc70345
input_heaps:
92db83aab1d6ceba9962fdc7de00abde8b26320f
a20c3baeed3cffdd830de0846311cdec3c8045b0
dcf3aa6f2bb396f016e5b51890be0286224b0719


