100644 blob b90a435eeb650eb5194091701ca0072688053fb1	Coverage.hh
100644 blob ee9425ec2bcf03f3b90b008f9bcf135977e47327	CoverageFormat1.hh
100644 blob 10f979d14f9ec2d46c621ea2a03aa8d865532b96	CoverageFormat2.hh
100644 blob ad9a637d6a08ff3a24ff546c0a4dbbe9454ce555	RangeRecord.hh