100644 blob 25056c9bc352bc4983875439f55f32489859e374	Coverage.hh
100644 blob 3f598d40efc4cff1a9ce8786427c0ae18b30963a	CoverageFormat1.hh
100644 blob 9c87542356852e27103079109af11823339755ac	CoverageFormat2.hh
100644 blob 85aacace9a764414c8c404c8ec295443f95d8a27	RangeRecord.hh