# isabelle_session_info

session_name: HOL-Homology
sources: 1ee2b6a385d164331ea93677429e158b669bfd34
uuid: 7d3c104c-ee68-4dcc-b814-de2a3a35528a
input_heaps:
363cefc9c3ab9f434f73ff0aa175a2b3a649e93c
4bfee1ac9b5705115c0fa4fc347562a6dc3bfbf3
b3804cf1a60433a7e62b5e1e9eba37b044219e51


