# isabelle_session_info

session_name: HOL-Homology
sources: 1e2bc692e5e5487ba7ad87f743155d5d5850a263
uuid: 6f96a158-261d-40c0-9c52-e0db03abf953
input_heaps:
bf176a74a4593f4606195faad0fee6e7154ab4f8
647081ba81acf75d1ab12a3a72156ea7da74c66b
6ae96e8cfcdcf10185a453bf93fc554854efc2bd


