# isabelle_session_info

session_name: HOL-UNITY
sources: 7b22ce5d80f9c1fc02c07954d676c1300d7701e5
uuid: e1448d49-a218-4c2b-8e5c-39b3b4b79f7d
input_heaps:
57c0f5e026d063dde70715052c371cec902bf3d9
4dad8d5a2ce1d7720f00f928eedc0ec02a1f93e5
c0fde5aa2a994bd017b80eb6ade690763948deef


