# isabelle_session_info

session_name: HOL-Homology
sources: 772709780c37b28ad156ec3c7155271e3d3a1603
uuid: 9da05b5a-6967-4956-a3dc-592a32ac1338
input_heaps:
2d4d42bbaa4aa9e2d6be0125d66cf1542ba8f42d
8949abede8d02268862b8a391758b7bc0543b206
42cfc5a5945d32b4426b278bd9c55831d00309ed


