SuffixArray.Abs_SAIS_Verification