import java.io.BufferedReader;
import java.io.IOException;
import java.io.InputStreamReader;

public class Main {
	public static void main(String[] args) throws IOException {
		BufferedReader buff = null;
		buff = new BufferedReader(new InputStreamReader(System.in));

		int A = Integer.parseInt(buff.readLine());
		int B = Integer.parseInt(buff.readLine());
		int C = Integer.parseInt(buff.readLine());
		int X = Integer.parseInt(buff.readLine());
		int count = 0;
		for(int i = 0; i <= A; ++i){
			for(int j = 0; j <= B; ++j){
				for(int k = 0; k <= C; ++k){
					int tmp = 500 * i + 100 * j + 50 * k;
					if(tmp == X){
						count++;
					}
				}
			}
		}

		System.out.println(count);
	}

	static long f() {
		long ans = 0;


		return ans;
	}
} import java.io.BufferedReader; BufferedReader java.io import java.io.IOException; IOException java.io import java.io.InputStreamReader; InputStreamReader java.io public class Main {
	public static void main(String[] args) throws IOException {
		BufferedReader buff = null;
		buff = new BufferedReader(new InputStreamReader(System.in));

		int A = Integer.parseInt(buff.readLine());
		int B = Integer.parseInt(buff.readLine());
		int C = Integer.parseInt(buff.readLine());
		int X = Integer.parseInt(buff.readLine());
		int count = 0;
		for(int i = 0; i <= A; ++i){
			for(int j = 0; j <= B; ++j){
				for(int k = 0; k <= C; ++k){
					int tmp = 500 * i + 100 * j + 50 * k;
					if(tmp == X){
						count++;
					}
				}
			}
		}

		System.out.println(count);
	}

	static long f() {
		long ans = 0;


		return ans;
	}
} Main public static void main(String[] args) throws IOException {
		BufferedReader buff = null;
		buff = new BufferedReader(new InputStreamReader(System.in));

		int A = Integer.parseInt(buff.readLine());
		int B = Integer.parseInt(buff.readLine());
		int C = Integer.parseInt(buff.readLine());
		int X = Integer.parseInt(buff.readLine());
		int count = 0;
		for(int i = 0; i <= A; ++i){
			for(int j = 0; j <= B; ++j){
				for(int k = 0; k <= C; ++k){
					int tmp = 500 * i + 100 * j + 50 * k;
					if(tmp == X){
						count++;
					}
				}
			}
		}

		System.out.println(count);
	} main {
		BufferedReader buff = null;
		buff = new BufferedReader(new InputStreamReader(System.in));

		int A = Integer.parseInt(buff.readLine());
		int B = Integer.parseInt(buff.readLine());
		int C = Integer.parseInt(buff.readLine());
		int X = Integer.parseInt(buff.readLine());
		int count = 0;
		for(int i = 0; i <= A; ++i){
			for(int j = 0; j <= B; ++j){
				for(int k = 0; k <= C; ++k){
					int tmp = 500 * i + 100 * j + 50 * k;
					if(tmp == X){
						count++;
					}
				}
			}
		}

		System.out.println(count);
	} BufferedReader buff = null; buff null buff = new BufferedReader(new InputStreamReader(System.in)) buff new BufferedReader(new InputStreamReader(System.in)) int A = Integer.parseInt(buff.readLine()); A Integer.parseInt(buff.readLine()) Integer.parseInt Integer buff.readLine() buff.readLine buff int B = Integer.parseInt(buff.readLine()); B Integer.parseInt(buff.readLine()) Integer.parseInt Integer buff.readLine() buff.readLine buff int C = Integer.parseInt(buff.readLine()); C Integer.parseInt(buff.readLine()) Integer.parseInt Integer buff.readLine() buff.readLine buff int X = Integer.parseInt(buff.readLine()); X Integer.parseInt(buff.readLine()) Integer.parseInt Integer buff.readLine() buff.readLine buff int count = 0; count 0 for(int i = 0; i <= A; ++i){
			for(int j = 0; j <= B; ++j){
				for(int k = 0; k <= C; ++k){
					int tmp = 500 * i + 100 * j + 50 * k;
					if(tmp == X){
						count++;
					}
				}
			}
		} int i = 0; int i = 0; i 0 i <= A i A ++i ++i i {
			for(int j = 0; j <= B; ++j){
				for(int k = 0; k <= C; ++k){
					int tmp = 500 * i + 100 * j + 50 * k;
					if(tmp == X){
						count++;
					}
				}
			}
		} {
			for(int j = 0; j <= B; ++j){
				for(int k = 0; k <= C; ++k){
					int tmp = 500 * i + 100 * j + 50 * k;
					if(tmp == X){
						count++;
					}
				}
			}
		} for(int j = 0; j <= B; ++j){
				for(int k = 0; k <= C; ++k){
					int tmp = 500 * i + 100 * j + 50 * k;
					if(tmp == X){
						count++;
					}
				}
			} int j = 0; int j = 0; j 0 j <= B j B ++j ++j j {
				for(int k = 0; k <= C; ++k){
					int tmp = 500 * i + 100 * j + 50 * k;
					if(tmp == X){
						count++;
					}
				}
			} {
				for(int k = 0; k <= C; ++k){
					int tmp = 500 * i + 100 * j + 50 * k;
					if(tmp == X){
						count++;
					}
				}
			} for(int k = 0; k <= C; ++k){
					int tmp = 500 * i + 100 * j + 50 * k;
					if(tmp == X){
						count++;
					}
				} int k = 0; int k = 0; k 0 k <= C k C ++k ++k k {
					int tmp = 500 * i + 100 * j + 50 * k;
					if(tmp == X){
						count++;
					}
				} {
					int tmp = 500 * i + 100 * j + 50 * k;
					if(tmp == X){
						count++;
					}
				} int tmp = 500 * i + 100 * j + 50 * k; tmp 500 * i + 100 * j + 50 * k 500 * i + 100 * j + 50 * k 500 * i 500 i 100 * j 100 j 50 * k 50 k if(tmp == X){
						count++;
					} tmp == X tmp X {
						count++;
					} count++ count System.out.println(count) System.out.println System.out System System.out count String[] args args static long f() {
		long ans = 0;


		return ans;
	} f {
		long ans = 0;


		return ans;
	} long ans = 0; ans 0 return ans; ans public class Main {
	public static void main(String[] args) throws IOException {
		BufferedReader buff = null;
		buff = new BufferedReader(new InputStreamReader(System.in));

		int A = Integer.parseInt(buff.readLine());
		int B = Integer.parseInt(buff.readLine());
		int C = Integer.parseInt(buff.readLine());
		int X = Integer.parseInt(buff.readLine());
		int count = 0;
		for(int i = 0; i <= A; ++i){
			for(int j = 0; j <= B; ++j){
				for(int k = 0; k <= C; ++k){
					int tmp = 500 * i + 100 * j + 50 * k;
					if(tmp == X){
						count++;
					}
				}
			}
		}

		System.out.println(count);
	}

	static long f() {
		long ans = 0;


		return ans;
	}
} public class Main {
	public static void main(String[] args) throws IOException {
		BufferedReader buff = null;
		buff = new BufferedReader(new InputStreamReader(System.in));

		int A = Integer.parseInt(buff.readLine());
		int B = Integer.parseInt(buff.readLine());
		int C = Integer.parseInt(buff.readLine());
		int X = Integer.parseInt(buff.readLine());
		int count = 0;
		for(int i = 0; i <= A; ++i){
			for(int j = 0; j <= B; ++j){
				for(int k = 0; k <= C; ++k){
					int tmp = 500 * i + 100 * j + 50 * k;
					if(tmp == X){
						count++;
					}
				}
			}
		}

		System.out.println(count);
	}

	static long f() {
		long ans = 0;


		return ans;
	}
} Main
import java.io.BufferedReader;
import java.io.IOException;
import java.io.InputStreamReader;

public class Main {
	public static void main(String[] args) throws IOException {
		BufferedReader buff = null;
		buff = new BufferedReader(new InputStreamReader(System.in));

		int A = Integer.parseInt(buff.readLine());
		int B = Integer.parseInt(buff.readLine());
		int C = Integer.parseInt(buff.readLine());
		int X = Integer.parseInt(buff.readLine());
		int count = 0;
		for(int i = 0; i <= A; ++i){
			for(int j = 0; j <= B; ++j){
				for(int k = 0; k <= C; ++k){
					int tmp = 500 * i + 100 * j + 50 * k;
					if(tmp == X){
						count++;
					}
				}
			}
		}

		System.out.println(count);
	}

	static long f() {
		long ans = 0;


		return ans;
	}
}