10 20 10 5
 20 1 2 3
 7 2 2 2
 25 10 5 10
 999 999 899 299
 10000 5000 0 5000
 2 2 2 2
 1 0 2 0
 3 3 2 1
 1 1 0 0
 1 0 0 1
 20 10 20 30
 505 142 321 12
 101 10 10 50
 10 19 15 100
 10000 5000 5000 0
 1234 645 876 1000
 3 10 10 10
 1 0 1 0
 7 3 0 5
 101 10 0 50
 1 0 0 0
 10 0 8 10
 1 2 0 0
 5 2 1 1
 8765 2432 2789 4993
 8987 4000 2534 4534
 10000 5000 5000 5000
 10000 5000 2500 2500
 10000 0 5000 5000
 10000 4999 2500 2500
 5 5000 5000 5000
 10000 4534 2345 4231
 5643 1524 1423 2111
 7777 4444 3333 2222
 2500 5000 5000 5000
 10000 2500 2500 2500
 5000 5000 5000 5000

36
 0
 1
 12
 145000
 1251
 3
 1
 3
 0
 0
 57
 0
 33
 35
 0
 141636
 6
 1
 1
 3
 0
 5
 1
 0
 1697715
 2536267
 6253751
 1
 2501
 0
 12
 2069003
 146687
 1236544
 1565001
 0
 4691251

#include <bits/stdc++.h>
int main() {
  int n, a, b, c, d = 0, i, j, k, l = 0;
  float p;
  scanf("%d", &n);
  scanf("%d", &a);
  scanf("%d", &b);
  scanf("%d", &c);
  if (a + b == 0 || b + c == 0 || a + c == 0) {
    if (a + b == 0) {
      for (i = 0; i <= c; i++) {
        p = 2 * i;
        if (p == n) {
          l = l + 0;
          printf("%d", l);
          break;
        }
      }
    } else if (b + c == 0) {
      for (i = 0; i <= a; i++) {
        p = 0.5 * i;
        if (p == n) {
          l = l + 1;
          printf("%d", l);
          break;
        }
      }
    } else if (a + c == 0) {
      for (i = 0; i <= b; i++) {
        p = i;
        if (p == n) {
          l = l + 1;
          printf("%d", l);
          break;
        }
      }
    }
    if (l == 0) printf("0");
    return 0;
  }
  for (i = 1; i <= a; i++) {
    for (j = 1; j <= b; j++) {
      for (k = 1; k <= c; k++) {
        p = 0.5 * i + j + 2 * k;
        if (p == n) {
          if (i != j)
            d = d + 1;
          else if (j != k)
            d = d + 1;
          else if (j != k)
            d = d + 1;
          else
            d = d + 0;
          {
            if (d == 3) {
              printf("%d", i + j + k);
            }
          }
        }
      }
    }
  }
  if (d == 0) printf("%d", d);
  return 0;
}
