# isabelle_session_info

session_name: HOL-UNITY
sources: 6f6a7b94f8f24728ae660a5c0d74f693c8f6835f
input_heaps:
69aa70f16755536fb90c293b8cf6c5f43ac275cd
5f526e0100e302c086d054bebdbf267155c91c44
4be5b4043fd485883d4080795f2b4886a196c569


