# isabelle_session_info

session_name: HOL-UNITY
sources: a736d17e2f70d9e09949d6f3818b0c07e4fc1736
input_heaps:
9601253344229b35f7145f2143ac6522b5caf531
6ce3cde7225540c5abb96978d43647709608ce58
0c8ec0975b5ca198ee927e1ca023f7a547d4d4d4
d54b87af52f0fbc4a26ec6133d070f1e4abde9c2


