#include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #define popcount __builtin_popcount using namespace std; using namespace atcoder; typedef long long ll; typedef pair P; int dp[2020][2020], mx[2020], mx2[2020]; int a[2020]; int n, k; int main() { cin>>n>>k>>a[0]>>a[1]; for(int i=2; i>a[i]; for(int i=0; i