# isabelle_session_info

session_name: HOL-Homology
sources: 6dce7db2afa681cae059bf96eb2aaf73a1498fc9
uuid: 69e5142b-3d2a-470d-8351-a33096f4e84a
input_heaps:
16995642ff9d6d081fe3569bf6578b599bfc50b5
e2f00078e9a5e8bef38f416fe533f4c0bd843120
b533b438a766619f46bcfaf260629db0cd5d23b8


