suffix_array_doubling