# isabelle_session_info

session_name: HOL-Homology
sources: e4392490241141b119b1c1b73e19b6299e173576
uuid: 6ede2318-4313-43ac-bd3d-245a1bb0a52f
input_heaps:
7332888f14d171ca4efac7179f55d54ece2c6bbf
2e67a21ac8031daa43c777a5e17028797e1134d3
71755ea7984df52fe7f15dbfbf8a4c4284f6194e


