Default_Cdef_Index_Minus1_With8_Cdf[ 8 ] =
  { 7372, 13867, 18969, 23278, 26977, 30156,  32, 0}