# isabelle_session_info

session_name: HOL-Homology
sources: d8abd74418ec6bd4c97a80d5c6fab86447fb094e
uuid: 673ef73a-fa07-4217-bef7-534186b8d882
input_heaps:
0a2c0c4191b1d84261ef90406b039e096e738a98
12745a0f51ab83415c41598c722acb7629442f25
e5f6d0aeb9d761c3c7103dc4e57b90c8292110bf


