# isabelle_session_info

session_name: HOL-Homology
sources: 00f7812a20b95a907cc6860986bed06ac77d87d7
input_heaps:
7806f52011c4fba77600ca1870d3593b29503323
0b34bf6c01a8dc56802d20fdd0cc844755a7d424
8495d41b4c2936500dbbe0cb112a3fbc7c8586ce


