#include <bits/stdc++.h>
using namespace std;
const int MAX = 1234;
long long D[MAX];
long long C(int n, int k) {
  long long n_fat = 1LL;
  long long baixo = 1LL;
  long long aux = 1LL;
  for (long long i = n; i > k; i--) {
    n_fat *= i;
    baixo *= aux++;
  }
  return n_fat / baixo;
}
void init(int n) {
  D[0] = 1, D[1] = 0, D[2] = 1;
  for (int i = 3; i <= n; i++) {
    D[i] = (i - 1) * 1LL * (D[i - 1] + D[i - 2]);
  }
}
int main() {
  ios_base::sync_with_stdio(false);
  cin.tie(NULL);
  int n, k;
  cin >> n >> k;
  init(n);
  long long ans = 0LL;
  for (int i = n - k; i <= n; i++) {
    ans += (C(n, i) * D[n - i] * 1LL);
  }
  cout << ans << "\n";
  return 0;
}
