HCC bits > 8.75 HCC HRS40GDX iadc 617