#include<cstdio>
using namespace std;
int a,b,c,x;
int main(){
	scanf("%d%d%d%d",&a,&b,&c,&x);
	int cnt=0;
	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)cnt++;
	printf("%d\n",cnt);
	return 0;
}