#include "testlib.h"
int main() {
    registerValidation();
    int n = inf.readInt(2, 2000, "n");
    inf.readSpace();
    int k = inf.readInt(1, n - 1, "k");
    inf.readEoln();
    inf.readEof();
}