# isabelle_session_info

session_name: HOL-Homology
sources: a144c923d70b1d780918b987911bb8a08a837dd1
input_heaps:
77140aac0dbc34a2951ed06728ef4449a3d3c2cb
74195f026dac375ce6b287f38a203688d292d065
e5aa72c414eebe114fc597f14e9d8a205dce66e6


