# isabelle_session_info

session_name: HOL-Homology
sources: 772709780c37b28ad156ec3c7155271e3d3a1603
uuid: 3c2fdd76-5491-4936-b3e3-f08283d049ce
input_heaps:
9f756a51bf34e1b2803926b818ad28454650efdb
6f8c06347605fafc9c3e2a708367e9d073c12b69
cb9745f480a02f9e50daf19a932606b4be83e2d3


