# isabelle_session_info

session_name: HOL-Homology
sources: d2e42f1d50d1937ccc1737cb2a4a996b297c2042
input_heaps:
a3bae4e613aef271245928f0d52c8526a9c66f82
8e2207a978992101b4929ff8d1549e71615ce106
536594450a6713149489bb2cb47de710d1ac17c4


