#include<bits/stdc++.h>
using namespace std;
int main(){
    int n,k;
    cin>>n>>k;
    assert(n<=18);
    assert(2<=n);
    assert(k<=n);
    int cnt=0;
    int a;
    while(cin>>a){
        assert(a<=1000);
        cnt++;
    }
    assert(cnt==n);
}