/* package whatever; // don't place package name! */
 
import java.util.*;
import java.lang.*;
import java.io.*;
 
/* Name of the class has to be "Main" only if the class is public. */
class Main
{
	public static void main (String[] args) throws java.lang.Exception
	{
		Scanner sc =new Scanner(System.in);
		while(sc.hasNext()){
			int a=sc.nextInt();
		    int b=sc.nextInt();
			int c=sc.nextInt();
		    int x=sc.nextInt();
		    int n=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){
		    	 	 		n++;
		    	 	 	}
		    	 	 }
		    	 	
		    	 }
		    }
		    System.out.println(n);
		    
			
			
			
			
		}
	}
}
/tmp/hf-datasets-cache/medium/datasets/42704881117311-config-parquet-and-info-qiankunmu-Project_CodeNet-896c9d36/hub/datasets--qiankunmu--Project_CodeNet_Python800_and_Java250/snapshots/c899fde44a77ba1cc14973ed3de064e4ff3aadc7/Project_CodeNet_Java250.tar.gz