# isabelle_session_info

session_name: HOL-Homology
sources: ca96210baa622eab61204929c7a8644708c9dd8c
uuid: 0bc4c2c3-a87e-45e8-93c3-130d76ca8da4
input_heaps:
7c6f2b7437f5ebb54c9c7f19ce0aa45616568bd7
be8131a433bddd63b748362726e9657753469013
05f32bfcd6eec120f4eccffa7b08d823105c3181


