# isabelle_session_info

session_name: HOL-Homology
sources: 7d9214436500fd5e6a28ae8eb410769700000da0
uuid: 10d9efcb-b977-4d49-a97f-fec7a4b4f0ce
input_heaps:
728364c96560a7a14ddc2e9263f9042c3dd467e5
f9339c00e61865f047b4085392acb528fb8b6ea7
cb485c4390f7367d4b180528b8c04720c3b40a64


