# isabelle_session_info

session_name: HOL-Homology
sources: 32be2b12fb1bebed63f54482ecadf6c16033c903
input_heaps:
a2d5ff19f237a41b43ba3fc24c0e51d3bf4451ff
46bd800d1ac554aa3326cc80d35350ac7980d5d8
8d6a2becde1260de1f356589c6e0be5136261a96


