#include <bits/stdc++.h>
using namespace std;
int n, m, i, j, id, num[32010];
long long ans;
int main() {
  scanf("%d %d", &n, &m);
  for (i = m + 1; i <= (n + 1) / 2; i++) {
    for (j = m + 1; j < 2 * i; j++) {
      id = (i * (2 * i - j) + (n + 1) * (2 * j - i)) / (i + j);
      id = max(id, m);
      if (id > n - m) continue;
      num[i] += n - m - id;
    }
  }
  for (i = m + 1; i <= (n + 1) / 2; i++) ans += 2 * num[i];
  if (n & 1) ans -= num[i - 1];
  printf("%I64d\n", 3 * ans);
  return 0;
}
