DP: LIS in O(n^2)