Default_Cdef_Index_Minus1_With4_Cdf[ 4 ] =
  {13413, 24899,  32, 0}