# isabelle_session_info

session_name: HOL-Homology
sources: 41569f1342c4303c66860cdcfa032b2f1e7ac438
input_heaps:
a8c309eb0c8fe4f6a33a13b2567e40753a5dcbed
6149c49ee16c41d819ea05c303469743157239e4
ad44526fd1bf5bf3ff45638a7da6c065ee365e0b


