# isabelle_session_info

session_name: HOL-Homology
sources: 209136e425ba7b6cc31f1015f02cc76522fb1010
uuid: a0bd4927-f07f-40bf-86af-efcfa8ca46b5
input_heaps:
d0b0e1d3fca0543fc6f2e2fe2b9feb4c06e18beb
e4e0d8e376269bf7d8c3cd64976b6a6f15d0983f
a1d6aeec8d9401f536f725599ae6ef90a33e6e37


