# isabelle_session_info

session_name: HOL-Homology
sources: 66424201bed901e6905e43ea8eecd25ada0e9028
uuid: ad1ba238-fe53-400f-a009-0f12c2db257e
input_heaps:
a83808b3788421fa6650b3496db1ebdc1822b504
4443c0941841896475be8c25a7bae5d657ad435f
665079609b4b171d66b27065c403c33ea12f0994


