Types: N: int, M: int, A: List[int]  
Ranges: 1 ≤ N ≤ 1000, 1 ≤ M ≤ N, 1 ≤ A[i] ≤ N  
Addtl Info: \( A \) is strictly increasing, i.e., \( A[i] < A[j] \) for \( 1 \le i < j \le M \)