# isabelle_session_info

session_name: HOL-Homology
sources: 1782d2744f60febff84f4eefc26f32c23ad495dd
uuid: 81396a47-4a42-4b1c-a4cb-4378fe0e805f
input_heaps:
980033d053f0749333661519c4d298c6280be1b3
69ff0e8818b8f465f2585ea0f57a610ce777e1be
e1558466c887aa749a82b7e2dd815f7c54a8ce59


