# isabelle_session_info

session_name: HOL-Homology
sources: ae0e2743aa32fe24b82196944e0eaf5d47347ad9
input_heaps:
f79dcaa1c9ac424b2dc8d1e27a0e09517d26ade4
eb37e5ba364e75f2c586fe34fbb117952048030f
d919dea68a86139b7291792c07ed98032a43c1a0


