# isabelle_session_info

session_name: HOL-Homology
sources: d80b3b6ba608c3edad08fd222bc69a172bd699bf
input_heaps:
bae43dd2951a6b8e1263e49c814c4a696de4b0ad
fa7786099e4357d1af728bd041479c3ee700c993
f937c17f2adea221f94d7d4604ae395a40358aba


