# isabelle_session_info

session_name: HOL-UNITY
sources: 46fda8a3ea719abb37d8a759c8f0c056a4b958ee
uuid: f6e8fc2f-69e1-4da7-b8a1-0201b5d5cff4
input_heaps:
6658f1360d03aaa6e9a44f29ba89e5d4511bfd5f
f5ab5fe06f6d5ebf55de4e984914a8d78a3ea819
4321be04cec70171f70c6faf41c37375ce97f9e3


