# isabelle_session_info

session_name: HOL-UNITY
sources: 9b70a3b9257bbf524d885c2d072aa92493eaa41e
uuid: 7c1a86cb-c823-4726-9ae0-96179573fd31
input_heaps:
4348ecd95d08b83381d65d778dc99414fdfeb2c2
a77f4df9e49ab5de749eea6768f2c7722537ebe4
bd6cf4697d0abd862afe8bfbb95dcdba348dedd7


