#include <bits/stdc++.h>
using ll = long long;
// #define int ll
#define FOR(i, a, b) for (int i = (a); i < int(b); ++i)
#define RFOR(i, a, b) for (int i = (b) - 1; i >= int(a); --i)
#define rep(i, n) FOR(i, 0, n)
#define rep1(i, n) FOR(i, 1, int(n) + 1)
#define rrep(i, n) RFOR(i, 0, n)
#define rrep1(i, n) RFOR(i, 1, int(n) + 1)
#define all(c) begin(c), end(c)

namespace io {
#ifdef LOCAL
#define dump(...)                                           \
    do {                                                    \
        std::ostringstream os;                              \
        os << __LINE__ << ":\t" << #__VA_ARGS__ << " = ";   \
        io::print_to(os, ", ", "\n", __VA_ARGS__);          \
        std::cerr << io::highlight(os.str());               \
    } while (0)
#define dump_(arr)                                  \
    do {                                            \
        std::ostringstream os;                      \
        os << __LINE__ << ":\t" << #arr << " = [";  \
        io::print_to_(os, ", ", "]\n", all(arr));   \
        std::cerr << io::highlight(os.str());       \
    } while (0)
#define dumpf(fmt, ...)                                         \
    do {                                                        \
        const int N = 65536;                                    \
        static char b[N];                                       \
        int l = snprintf(b, N, "%d:\t", __LINE__);              \
        snprintf(b + l, N - l, fmt, ##__VA_ARGS__);             \
        std::cerr << io::highlight(b) << std::endl;             \
    } while(0)
#else
#define dump(...)
#define dump_(...)
#define dumpf(...)
#endif
    std::string highlight(std::string s) {
#ifdef _MSC_VER
        return s;
#else
        return "\033[33m" + s + "\033[0m";
#endif
    }
    template <typename T>
    void print_to(std::ostream &os, const char *, const char *tail, const T &fst) {
        os << fst << tail;
    }
    template <typename Fst, typename... Rst>
    void print_to(std::ostream &os, const char *del, const char *tail, const Fst &fst, const Rst &... rst) {
        os << fst << del;
        print_to(os, del, tail, rst...);
    }
    template <typename Iter>
    void print_to_(std::ostream &os, const char *del, const char *tail, Iter bgn, Iter end) {
        for (Iter it = bgn; it != end;) {
            os << *it;
            os << (++it != end ? del : tail);
        }
    }
    template <typename Fst, typename... Rst>
    void println(const Fst &fst, const Rst &... rst) {
        io::print_to(std::cout, "\n", "\n", fst, rst...);
    }
    template <typename Fst, typename... Rst>
    void print(const Fst &fst, const Rst &... rst) {
        io::print_to(std::cout, " ", "\n", fst, rst...);
    }
    template <typename Iter>
    void println_(Iter bgn, Iter end) {
        print_to_(std::cout, "\n", "\n", bgn, end);
    }
    template <typename Iter>
    void print_(Iter bgn, Iter end) {
        print_to_(std::cout, " ", "\n", bgn, end);
    }
    int trush = (std::cout.precision(10), std::cout.setf(std::ios::fixed), std::cin.tie(0),
                 std::ios::sync_with_stdio(0));
}

using io::print; using io::println; using io::println_; using io::print_;
using namespace std;
// const int MOD = 1000000007;

signed main() {
    int A, B, C;
    while (cin >> A >> B >> C) {
        int x;
        cin >> x;
        int ans = 0;
        rep(i, A+1) rep(j, B+1) rep(k, C+1) {
            int y = i * 500 + j * 100 + k * 50;
            if (x == y) ++ans;
        }
        print(ans);
    }
}


Measured memory_bytes: 256