Types: N: int, M: int, A: List[int]
Ranges: 1 ≤ N ≤ 1000, 1 ≤ M ≤ N, 1 ≤ A[i] ≤ N
Addtl Info: If 1 ≤ i < j ≤ M, then A[i] < A[j]