# isabelle_session_info

session_name: HOL-UNITY
sources: ab1841d8b8bc22887a169808f37d00263cb8036e
input_heaps:
6f996ae759a0b89fd441125c40850611f02bb4d4
6a68b91616aa56bc8b0d5f5946b5703daf60125c
a99429be3651f0709fcbbdd1f5ccc7072a206bff


