# isabelle_session_info

session_name: HOL-Homology
sources: a2a2b5cfaa7dde2d9eab1ed10b4c7d577ecdea23
uuid: c662bf5c-6cfd-4662-af4b-2125ffb9998b
input_heaps:
99aa1dee31dfa0d453b64e417ce1ae8b896c3602
2d57dd9f95ebb02243d5cf26c23b4f5f995f70e2
68d57b9d418604156f7e545010d0622bb343869b


