100644 blob fbd7c642abdf62eac61d5112c5bcb4e40d73e041	Coverage.hh
100644 blob 5d68e3d15e7e2b63b4136df53faedf04059b29ee	CoverageFormat1.hh
100644 blob d7fcc35202830a79a7c0364da0b86b7f6267a7cf	CoverageFormat2.hh
100644 blob a62629fad343981cb5e4913505de7a5e5beb8971	RangeRecord.hh