# isabelle_session_info

session_name: HOL-Homology
sources: 82154ccc7c4b3eb6059d3ec6b2ecae0cd0ad2553
input_heaps:
994367ec2d1c78d3b943554e9d9b199959eb8dbf
b8874a0591f2f25a4133661dcf87d56ad6cc19e6
9cc093e7c32ab1c173a6d699d6788c3943440f27


