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