# isabelle_session_info

session_name: HOL-Homology
sources: e06d30779e218b2dda0a495d5c2f29ce7e4f7a87
uuid: 600e0d51-b604-4c07-8876-df168856bb25
input_heaps:
46471e6616f7726ee6f7c4484f2c5ad2c2f77c52
61821a842a958a016e9d5f60f90d2a4ad88e0a58
74f04c81227185c04b224a32f1d71c150d395e68


