100644 blob e52a617c86ea214e61e443feb0b76037d58c6166	Coverage.hh
100644 blob 886babd2d1ce5f9ad99fce8b6a2c07d24e3f671f	CoverageFormat1.hh
100644 blob 4ddb2a73e4b82228c00d48f3e231fda7ca22ff2f	CoverageFormat2.hh
100644 blob a62629fad343981cb5e4913505de7a5e5beb8971	RangeRecord.hh