# isabelle_session_info

session_name: HOL-UNITY
sources: a64009df83e9d29ca2276c0ebec623b78c958a67
input_heaps:
10764ddc346d5177be378b761316527db367ec3e
a0b11f9c133aa49ac228f451be8e515f846bafaf
4da24bdea1ed8db5820c4f29605d314f12cdfffe
9681e897cf5aaacdf279e7d6147404bd4a4a5c3e


