Default_Cdef_Index_Minus1_With6_Cdf[ 6 ] =
  {10131, 17874, 23876, 28766,  37, 0}