# isabelle_session_info

session_name: HOL-UNITY
sources: 3ca95710131f9fe252825df85d6afda3c5e522b1
uuid: 6280c74f-08b3-47d8-ad96-772360479f72
input_heaps:
410762705afbcd782ce8dee8d2dd05d7dc4178b3
23f898d9e578305d6033b7e85db0c90d21f08baa
cc19e111cdb7ff422a3d4dcc4484ecbeefd87366


