Types: N: int, K: int, a: List[int]
Ranges: 1 ≤ N ≤ 2 × 10^5, 1 ≤ K ≤ 10^9, 1 ≤ a_i ≤ 10^9
Addtl Info: None