# isabelle_session_info

session_name: HOL-UNITY
sources: d5e8655e44c2266fbdedec3167c2713d3be2910c
input_heaps:
7a379be8a63e9ff923fc00e5ee19cc1ce4796282
ad96b1effe4a8a155b0f9bfbc6f5ade8324a8a86
ee4b066c714a0486c2bf701a8a905d4437867030


