100644 blob d35654e24573dec77d9cd74c5743bb402df73cde	Coverage.hh
100644 blob e8a082d57100eb41e0d9217be17dbda266155239	CoverageFormat1.hh
100644 blob 64af599000861233ad335def36787cb21bd96a3e	CoverageFormat2.hh
100644 blob a62629fad343981cb5e4913505de7a5e5beb8971	RangeRecord.hh