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