100644 blob 93ca1b2f7a760ffd6057da35800666b57a5e790d	Coverage.hh
100644 blob 823e45073d7cb8d22030ea2f98b196201f4194ba	CoverageFormat1.hh
100644 blob 19895cabb809746daa5ae0b2b19e86d8d5ceebd5	CoverageFormat2.hh
100644 blob 85aacace9a764414c8c404c8ec295443f95d8a27	RangeRecord.hh