#include <bits/stdc++.h>
double a[1 << 11];
void pour(int i, int dep, double val) {
  if (dep > 11) return;
  if (a[i] < 1.0) {
    a[i] += val;
    return;
  } else if (a[i] == 1.0) {
    pour(i + dep, dep + 1, val / 2.0);
    pour(i + dep + 1, dep + 1, val / 2.0);
  }
}
int main() {
  int n, t;
  scanf("%d %d", &n, &t);
  if (t >= 1) a[1] = 1.0;
  for (int i = 1; i < t; i++) pour(1, 1, 1.0);
  int ans = 0;
  for (int i = 1; i <= (n * (n + 1)) >> 1; i++)
    if (a[i] == 1.0) ans++;
  printf("%d\n", ans);
}
