# isabelle_session_info

session_name: HOL-Homology
sources: f580ccedc3b6d4a94be72a0b70b512066408223d
input_heaps:
5276688fea607e3a3776d373302d975e53d8d37c
bd77ad23a6adabd9127118020c894b7881abece9
3bb0d9d2be650577376f2c799ef72d6d1eb0b1cc


