Types: N: int, A: int, K: int, SA: List[int]
Ranges: 1 ≤ N ≤ 10^5, 1 ≤ A ≤ 26, 1 ≤ K ≤ 10^{18}, 1 ≤ SA[i] ≤ N
Addtl Info: i ≠ j implies SA[i] ≠ SA[j]