# isabelle_session_info

session_name: HOL-Homology
sources: 414b9eb0657b697256a4859ee5416fa3e10079fb
input_heaps:
8359546699246d10a5649e935cb49d82dd24f91c
618d1903d75365a0f0ea3a2b0aa2f2792fc17965
c0b51706b4d86f50ac235c218ee927df00353ab6


