# isabelle_session_info

session_name: HOL-Homology
sources: 41ebdac0135c5af2a27ce5b6ce00ac1325b4f824
uuid: 512a0924-9885-4844-bd51-e4c7b1d3e24b
input_heaps:
4348ecd95d08b83381d65d778dc99414fdfeb2c2
a77f4df9e49ab5de749eea6768f2c7722537ebe4
436e11fb1f44b2a9837108d4ad1eba4c8ea9af07


