# isabelle_session_info

session_name: HOL-Homology
sources: 749778424dcd9f61af5c13271ed56a3690c693f3
uuid: d4864b9b-fc69-4aa0-9062-c6ad42b4e109
input_heaps:
79322249ab134c8554bd4221788419e922866e99
2387fc3faef59fbd5e6cfc1d5a002f4fe962a0c3
7e1b746d0568e27f93052d8165b76ba850e3979d


