# isabelle_session_info

session_name: HOL-Homology
sources: b421b72e5a40b20112cd117d7940eadc104265c9
input_heaps:
497eea8787938391457661acf0f01a612c4d3497
182c5054259d818f89537dbe8e9d95f42041a820
9ac204b35aa3d29b5196b307c995ffc6bc02817c


