#include <bits/stdc++.h>

using namespace std;
string str,fin;
long long n,a[11],i,x,k,p;

int main()
{
    cin >> n >> k;
    for(i=1;i<=n;i++) a[i]=i;
    while(1){
        p=0;
        for(i=1;i<=n;i++) if(a[i]==i)p++;
        if(a[i-1]<=k && a[i+1]<=k)x++;
        if(!next_permutation(a+1,a+1+n)) break;
    }
    cout << x;
    return 0;
}