# isabelle_session_info

session_name: HOL-Homology
sources: 9eaf68bf7f388fec81bb65d5deef235a55946372
uuid: 194fd2a0-499a-4b16-b130-72faeb1727b8
input_heaps:
89c875fbbb5d9d0e7d7830b39525c64c1be448af
34b353047794b0c2d571f202ffd31b8d97313401
b6d4fc7f8f4f60ae6dd01657b5ccc29358bc2da2


