Default_Cdef_Index_Minus1_With7_Cdf[ 7 ] =
  { 8363, 15451, 20811, 25453, 29393,  32, 0}