# isabelle_session_info

session_name: HOL-Homology
sources: afa5240d560003937ef8702d584a5c6015cae8be
uuid: 0ec1886c-b2e9-428f-8cec-fe063b037d25
input_heaps:
9f1ff5333dab6ca9f4b94cb84f910098ee70abfd
d29381ace5f57e0cc9393a9203c0ee853d6e55f5
ad0cebbe8be410dfc8899102728b22b546acb1d3


