# isabelle_session_info

session_name: HOL-Homology
sources: 33645c863daf9fdc76489f4bc52a19a2fdf69238
input_heaps:
159773851650ac68d3c2cfe38c048d4c887c247c
f1609948a6431f29c3e36d835a829345e7d4b3a1
9cfda2a1e2415c5f948f3c6283590e860e2dd34b


