# isabelle_session_info

session_name: HOL-UNITY
sources: 530e6e5f2c87168fd8d8caa00ceb65c243fc0b55
uuid: 3ba89ec0-8d47-44aa-9a95-2bc5be567428
input_heaps:
8bf6d6c4ec5c362fa65ec69b5eb9f99879813db6
d114ea8585affa1ead63c6f741e34ff76a13097b
88926359d197d0c82b9df43cdc0e2c76a60828e2


