# isabelle_session_info

session_name: HOL-Homology
sources: 6f6ccfaf3e5f172e338a6ef44d9bfa50e41013fa
uuid: a7bbf428-6a1f-4712-a5f9-14db4e640535
input_heaps:
5a3d596cb142bc9ec2bbea424b46d595ada8722a
3241c15793168d7f0f42cba193ff3c1c8c4e074a
12d345ef8f5253b2ac4037ef70e35382753ad7a5


