# isabelle_session_info

session_name: HOL-UNITY
sources: 6f0d6f2f0669f7d9a9a296c296a7fd856c255720
input_heaps:
47fc8421a194889d814b2263065ab8e04edfa5ae
17dbb756907857c7d44e7b32d4d1f9a0c868c32a
d81fbf38de26ba6ea0ed435ce0e9bfd8efedc974
080d72306cd23178c9eb5ff29aa6d315c5cdf88d


