# isabelle_session_info

session_name: HOL-Homology
sources: 3a0bdbed7289c6729e8ff29d51bdd5e26075355b
uuid: 19611d5f-2225-478b-bb08-5fed096494c7
input_heaps:
a4cc56f347bef96df112454c282b70177f6a68a7
4e9596f9263a14a76ff98a57cfc31d0464e8134b
ad3e930216db79e4e86b0bb63c941741e5a09ab3


