# isabelle_session_info

session_name: HOL-Homology
sources: cda21e7f2d41369f4f72f19efe317de8049ec68c
input_heaps:
e1147b3c6964ee34a73b496090d81315eabf9592
847a90305910414ab70d1b8a07a746397a90c4f0
f3d933f0079510c042e0c372d35b2781842dcada


