# isabelle_session_info

session_name: HOL-UNITY
sources: 92c18ac8db3905758c5c6bc31cbc86ccc094dca4
input_heaps:
d5a3488ad18ffbaae064d10946542ffd314bf36d
72dc51a447b414238b4717ffb07110fa03d59279
28c7b7d1c4f87a2fbbae6b848fcc18dc4f5bc7de


