# isabelle_session_info

session_name: HOL-Homology
sources: 0c786ecce2f0f1d8dcf2a6eafdcab5a65625acc5
input_heaps:
990d6f065907fe87c3f0b304ff4314e6b13119df
db154f67af988a0c0df6b54930de927964ed1988
df5687834e747cb279f90bb04a1fbb2f0bb57951


