# isabelle_session_info

session_name: HOL-UNITY
sources: 2044fedb706f5fecc28b083eaf167da196bbc0a0
input_heaps:
b0eb6d493ef01916ef2418e3bb11c9efc956fdd3
d257fae31e53329cb529aae390c73d70f2360d07
c4d13c81ef2edebb25c55633fa7e497ef7fd296e


