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