# isabelle_session_info

session_name: HOL-Homology
sources: 5d4f0d07dc424986b345f09129f196391cd1cee4
uuid: 597c9625-26e5-4e5c-9d8e-b36d26489439
input_heaps:
0eefffb769267ab447a6b9950a69419f37e1cc3b
72c31a354f92ae40cfe77d1c9a9d10b742549e13
f77079c4805bbb614368ae03577ed9130ff71d2c


