# isabelle_session_info

session_name: HOL-Homology
sources: 6dce7db2afa681cae059bf96eb2aaf73a1498fc9
uuid: 6ee2d2bb-8b74-4a9f-9663-55f7e1cd8f8e
input_heaps:
b2c9ee63d5fe16cd978c564d494a9c11f37d0e75
5e62c0cb0100aec33c186f91f5546684a9cc17b0
13c2e1cfc6eec044c4edb479ac0762d40e364422


