# isabelle_session_info

session_name: HOL-Homology
sources: 919fb4e56a1f1988c54c70cba89b01e444fbef2a
input_heaps:
07893eec13dd609290ead753526cddcabc430222
3d71068ded37e22e7adcd9665120386e15943393
6b7f209e2810a72079facb7ec9f7e9abaf860775


