#include <bits/stdc++.h>
using namespace std;
#define int long long int
#define double long double
#define print(a) for(auto x : a) cout << x << " "; cout << endl
const int M = 1000000007;
const int N = 3e5+9;
const int INF = 2e9+1;
const int LINF = 2000000000000000001;
inline int power(int a, int b, int mod=M) {
int x = 1;
a %= mod;
while (b) {
if (b & 1) x = (x * a) % mod;
a = (a * a) % mod;
b >>= 1;
}
return x;
}
//_ ***************************** START Below *******************************
int nCr(int n, int r){
if(r<0 || r>n) return 0;
int val = 1;
for(int i=1; i<=r; i++){
val = val * (n-i+1) / i;
}
return val;
}
int dearrange(int n){
if(n==0) return 1;
else if(n==1) return 0;
else if(n==2) return 1;
else if(n==3) return 2;
else return 9;
}
int consistency(int n, int k){
int ans = 0;
for(int i=0; i<=k; i++){
ans += ((int)nCr(n,i) * dearrange(i));
}
return ans;
}
int practice(int n, int k){
return 0;
}
void solve() {
int n, k;
cin>> n >> k;
cout << consistency(n, k) << endl;
}
int32_t main() {
ios_base::sync_with_stdio(0); cin.tie(0); cout.tie(0);
int t = 1;
// cin >> t;
while (t--) {
solve();
}
return 0;
}
I2luY2x1ZGUgPGJpdHMvc3RkYysrLmg+CnVzaW5nIG5hbWVzcGFjZSBzdGQ7CiNkZWZpbmUgaW50ICAgICAgICAgICAgICBsb25nIGxvbmcgaW50CiNkZWZpbmUgZG91YmxlICAgICAgICAgICBsb25nIGRvdWJsZQojZGVmaW5lIHByaW50KGEpICAgICAgICAgZm9yKGF1dG8geCA6IGEpIGNvdXQgPDwgeCA8PCAiICI7IGNvdXQgPDwgZW5kbAoKCmNvbnN0IGludCBNID0gMTAwMDAwMDAwNzsKY29uc3QgaW50IE4gPSAzZTUrOTsKY29uc3QgaW50IElORiA9IDJlOSsxOwpjb25zdCBpbnQgTElORiA9IDIwMDAwMDAwMDAwMDAwMDAwMDE7CgppbmxpbmUgaW50IHBvd2VyKGludCBhLCBpbnQgYiwgaW50IG1vZD1NKSB7CiAgICBpbnQgeCA9IDE7CiAgICBhICU9IG1vZDsKICAgIHdoaWxlIChiKSB7CiAgICAgICAgaWYgKGIgJiAxKSB4ID0gKHggKiBhKSAlIG1vZDsgCiAgICAgICAgYSA9IChhICogYSkgJSBtb2Q7CiAgICAgICAgYiA+Pj0gMTsKICAgIH0KICAgIHJldHVybiB4Owp9CgoKLy9fICoqKioqKioqKioqKioqKioqKioqKioqKioqKioqIFNUQVJUIEJlbG93ICoqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioKCgppbnQgbkNyKGludCBuLCBpbnQgcil7CiAgICBpZihyPDAgfHwgcj5uKSByZXR1cm4gMDsKCiAgICBpbnQgdmFsID0gMTsKICAgIGZvcihpbnQgaT0xOyBpPD1yOyBpKyspewogICAgICAgIHZhbCA9IHZhbCAqIChuLWkrMSkgLyBpOwogICAgfQoKICAgIHJldHVybiB2YWw7Cn0KCmludCBkZWFycmFuZ2UoaW50IG4pewoKICAgIGlmKG49PTApIHJldHVybiAxOwogICAgZWxzZSBpZihuPT0xKSByZXR1cm4gMDsKICAgIGVsc2UgaWYobj09MikgcmV0dXJuIDE7CiAgICBlbHNlIGlmKG49PTMpIHJldHVybiAyOwogICAgZWxzZSByZXR1cm4gOTsKfQoKaW50IGNvbnNpc3RlbmN5KGludCBuLCBpbnQgayl7CgogICAgaW50IGFucyA9IDA7CiAgICBmb3IoaW50IGk9MDsgaTw9azsgaSsrKXsKICAgICAgICBhbnMgKz0gKChpbnQpbkNyKG4saSkgKiBkZWFycmFuZ2UoaSkpOwogICAgfQoKICAgIHJldHVybiBhbnM7Cn0KCgoKCgoKCgoKCgoKCgoKaW50IHByYWN0aWNlKGludCBuLCBpbnQgayl7CgoKICAgIHJldHVybiAwOwp9CgoKCgoKdm9pZCBzb2x2ZSgpIHsKCiAgICBpbnQgbiwgazsKICAgIGNpbj4+IG4gPj4gazsKICAgIAogICAgCiAgICBjb3V0IDw8IGNvbnNpc3RlbmN5KG4sIGspIDw8IGVuZGw7CgoKfQoKCgoKCmludDMyX3QgbWFpbigpIHsKICAgIGlvc19iYXNlOjpzeW5jX3dpdGhfc3RkaW8oMCk7IGNpbi50aWUoMCk7IGNvdXQudGllKDApOwoKICAgIGludCB0ID0gMTsKICAgIC8vIGNpbiA+PiB0OwogICAgd2hpbGUgKHQtLSkgewogICAgICAgIHNvbHZlKCk7CiAgICB9CgogICAgcmV0dXJuIDA7Cn0=