#include<bits/stdc++.h>
using namespace std;
int main() {
	int x,a,b,c,t=0;
	scanf("%d%d%d%d",&a,&b,&c,&x);
	for(int i=0; i<=a; i++)
		for(int j=0; j<=b; j++)
			for(int k=0; k<=c; k++) {
				if(i*500+j*100+k*50==x) t++;
			}
	printf("%d\n",t);
	return 0;
}