# isabelle_session_info

session_name: HOL-Homology
sources: f288af566ba5b2a221ffd96b694aa763ad29a048
input_heaps:
cbf32b635c328a6095a45f5c01bb1adf119ee7c0
bd89f790ae831acf5d43976dcc41799a9f93a1c7
93b462c443619f3b5436a368ee10f0662893ec09


