# isabelle_session_info

session_name: HOL-UNITY
sources: c582d4d14414a698a9bc89ca7454d8f1936b3fab
uuid: 3754d9b7-46ad-432b-8b7d-df8c3c6aa696
input_heaps:
52fce7a083032aa70183a50f999e2868f79e2148
694680bfc6768bb59cd23ad51623a23d40ef82a4
1a5a50c92110cdb3770b5372be085fe2ea58fc83


