# isabelle_session_info

session_name: HOL-Homology
sources: d5c3e258196fd9a6b40c6d4e72980afaf2cd94b4
input_heaps:
50c1749019ca8e9ffc93963cc99307460c2e0e80
52a64cfec0259bfb8fb24d12fa7de6a2d1ccd80f
e4f2ae3f581b3ec075e3f72854e30e6c0587a3e3


