# isabelle_session_info

session_name: HOL-Homology
sources: 434ca7787991807c13553f0f025c1aa1560f1027
input_heaps:
06a212243e05c5a7c923bfbaeac4ec358ce57654
662b38046f2d6e283935bf15699cabd0ac2015c1
b84432c37b1bd8f9da5f8a54594b3808cbfe8629


