# isabelle_session_info

session_name: HOL-Homology
sources: 14269f76f6eb3f57706159fc4efc37da65d55f93
uuid: 4d92754d-9bec-4fba-9520-b3c84ef9c35f
input_heaps:
a94bec1f1afbee18cdd2d9a64da35bb88b4c4cda
5ef5c38f9ed83885f23f9268d0c06906c1a7541e
08c0ea4def54f85fbe636650d751cc2788b02ba4


