# isabelle_session_info

session_name: HOL-Homology
sources: a7e25efcfcbb897d187ee48d2bc845f7f319a7a9
input_heaps:
7550c920b2cc9944a8020bbe3af6b1258b7cd4a3
0dc49aec3e6c5b3bfd95bfc9315d5a2b5d8f359f
4b92ed6a6c310912ee0fea299eec7155f6ad9406


