# isabelle_session_info

session_name: HOL-Homology
sources: fe87f9fd77eb58dd4e5c9e5c8da53b9d32f0ee06
uuid: 2d3968e7-7b13-47c3-b96d-c2ad255ddbc0
input_heaps:
410762705afbcd782ce8dee8d2dd05d7dc4178b3
23f898d9e578305d6033b7e85db0c90d21f08baa
4de4e9096fdfda3a948f092e9eb7394c7756df09


