# isabelle_session_info

session_name: HOL-UNITY
sources: 816b8eebb752190f0f7896ac7c1c3b4ef786cb4b
input_heaps:
5c7f58afeef8c5dd4bcfd5c31cb13ea46e11f362
8ca9ee974323b5c8c0c6ccd32fcbeea7d0214f8d
dfec150188ffddf5864debefcf10abac76665277


