# isabelle_session_info

session_name: HOL-Homology
sources: cc964386ec62611d1721105d64750860f0f6071f
input_heaps:
1d849f65e40086cfa647d5ebc591e23f461aa5f2
8299fc860ca605d42055d4569ce45da8c35d31f8
a134016e5c1eb0866aefcf14299ffffd7f3a51ac


