# isabelle_session_info

session_name: HOL-UNITY
sources: d1c79a40da371aed2f9fbe8f2ce15f3d2c9f6bb2
input_heaps:
ac799521742c6a511fc6b752309e53d5f9492760
7d1e272668ac77c0cb149e8c1935fb9a1f4501b8
1ec5b81d09e4e6e45f56eac7d937744404f169fc
db24c2841eb3f77859b8e12c1bb9f642da17a1f5


