# isabelle_session_info

session_name: HOL-Homology
sources: 453e1aa20df2e159e7a2cfc37190b4d455142547
uuid: e6e9ec63-0438-4f35-ad54-b014ba10a269
input_heaps:
ba4d32bd4787a90c8ed747450db046e743778809
00e4c29c03866e48b64ed0938508578e7f44b357
d120d20e2adc666a549e8beaf371e0aa30d3ddf6


