# isabelle_session_info

session_name: HOL-Homology
sources: fe87f9fd77eb58dd4e5c9e5c8da53b9d32f0ee06
uuid: bdf09027-3b70-4889-8903-b261f2944dcb
input_heaps:
9b04407a9c9868cdf91440df38a950e6d09d9c8a
4002efa1f75a65fd71f748ba21623d892c47f0ab
ef65c9e84956ea6660b3b91cf8cb47d9d30f7a2a


