# isabelle_session_info

session_name: HOL-Homology
sources: 6dce7db2afa681cae059bf96eb2aaf73a1498fc9
uuid: 4ba14844-283f-4fc7-885e-6edcdca74fb9
input_heaps:
8bf6d6c4ec5c362fa65ec69b5eb9f99879813db6
d114ea8585affa1ead63c6f741e34ff76a13097b
8d9045c8b18d589ae886ad7bf670a58e6e7e8b26


