# isabelle_session_info

session_name: HOL-Homology
sources: 44643578475e6b800344333f10f3fc00d59e5b6b
input_heaps:
9fc0231edcbcd095545a9bd9f3a47031d632be92
e439953f9939172fd7e2e9138f9265c34414095e
dafc5d8fb3bd9ee0f011403f6f08e0cd48dcca82


