# isabelle_session_info

session_name: HOL-Homology
sources: 32c17758289bb6489b1cd081f30ee7f49838b38b
uuid: 7cd88e53-d356-49a7-89c5-5eb6cd775291
input_heaps:
cc0a1e6bf0a67bebc76a05283bbaeaf825c84028
0f6b10629e7cb97327ec14b3a1d38cf4256e1f5b
1d436082d007e3db9d819402a9311962d0173f46


