# isabelle_session_info

session_name: HOL-Homology
sources: f1651ea47e1153543c4818df8809cbc8aaab5434
uuid: f2fcfc61-f599-42b6-89f0-cd0e0a7db7ef
input_heaps:
b6ac33a175addfe695edbae18cd2583281bee6b6
d54b2acc9dae828b9e04868d1aaac6710f70e08b
aedc964cb687007787b2bc3358dffea7f5860187


