# isabelle_session_info

session_name: HOL-Homology
sources: cdbf0cb4da830b7c13d17f4f73226ce339056708
uuid: 658c9663-640a-4b0e-a436-7a31ffe54f9e
input_heaps:
6d690cd4904afc3b28afb37e78bce5c68e51dbbf
d608db88fa3d6d94fe9a1b191595fe6aa82e61d3
59d802dc1762c9a4895f01750e720cc4a47bf257


