# isabelle_session_info

session_name: HOL-Homology
sources: b1e5daffda5ac551351e4fd0207630b2239e915d
uuid: ddb0633c-df2c-4fec-881d-a48368a91824
input_heaps:
f120b186b8c94c8dfd968762788edb0b6c1f4705
45a65a42f2948aee1b7614aa26f30387ccd4133d
db0f97f919e7390f7386f62f28a1c65f026f7a24


