# isabelle_session_info

session_name: HOL-Homology
sources: 6926c8ee452f70350a1ab24ce0b6fdb469dde036
uuid: 0c0696c5-06e5-41ff-a90c-47225b40d7f1
input_heaps:
b9d282957aa223601d52f84a817ca607725d2336
c178c9777d16793434d52b0438eb6f86f2c7d3c5
4aea729cb7458a7e48b747b2d9072f20d95ed4c3


