Default_Most_Probable_Stx_Set_Cdf[IST_DIR_SIZE + 1] =
  {20712, 26263, 30623, 32732, 32736, 32740,  55, 0}