// B - Coins
#include <bits/stdc++.h>
using namespace std;
#define rp(i,s,e) for(int i=(s);i<(e);++i)

int main(){
	int A,B,C,X; cin>>A>>B>>C>>X;
	int ans = 0;
	rp(a,0,A+1) rp(b,0,B+1) rp(c,0,C+1) if(X==500*a+100*b+50*c) ans++;
	cout<< ans <<endl;
}