Default_Most_Probable_Stx_Set_Adst_Cdf[IST_REDUCE_SET_SIZE_ADST_ADST + 1] =
  {15897, 26144, 30010,   5, 0}