Default_Cdef_Index_Minus1_With3_Cdf[ 3 ] =
  {17708,  32, 0}