# isabelle_session_info

session_name: HOL-Homology
sources: e5ec5c1c7d34b7fdebe5b14ac9936ab1e0c361b1
input_heaps:
c0e61e77fb8690f5534806812bdf6e8b6e8358cf
3f40f337f05cd9b43550abd225457398f45a1c03
b27acc56066af5a035c9e60947b0f2cce2f72727


