# isabelle_session_info

session_name: HOL-UNITY
sources: 304fb3e719bb34be1af7b71156caf3260fe4b2e6
input_heaps:
6d85d7da629d04ca7c167e89ee6174421944b179
7faafba131fdb968e2d6381e53b58a0c877dd620
bd1c4e46fb16ab0ded616b5dd6ab98303ae071a5


