# isabelle_session_info

session_name: HOL-Homology
sources: 4718bd41d31e990d9181e4ec7deaf91e9464e5f7
uuid: 93f7dead-a1e8-4b8d-b129-bbcc90614391
input_heaps:
b8a6b7f3ead9e69e49adda3f314835db8ecb2a6f
88a6ad11863aa7909374441b2475843141e4c25c
552febf4a19cbb3390ea39f0048d13fdd628dfb4


