#include "testlib.h"
#include <bits/stdc++.h>
#include <atcoder/all>
using namespace std;
using namespace atcoder;
using ll = long long;
using ld = long double;
#define rep(i, n) for (int i = 0; i < (int)(n); i++)
#define rep2(i, n) for (int i = (int)(n) - 1; i >= 0; i--)
#define REP(i, n, m) for (int i = (int)(n); i < (int)(m); i++)
#define REP2(i, n, m) for (int i = (int)(m) - 1; i >= (int)(n); i--)
const int mod = 1e9 + 7;
int main() {
    registerValidation();
    int n = inf.readInt(2, 2000, "n");
    inf.readSpace();
    int k = inf.readInt(1, n - 1, "k");
    inf.readEoln();
}