# isabelle_session_info

session_name: HOL-Homology
sources: d2d853d27b47083018c5a00fcdf5ccf5baf2078d
input_heaps:
8828c9bd7d7a39295ad2cff83514a86282d73123
3060999dc13a68f36a127d1e8a4ce3255eb025dd
210ab8383a5677b4d6fd92c4722de23493d371db


