process.stdin.resume();
process.stdin.setEncoding('utf8');

var lines = []
var reader = require('readline').createInterface({
  input: process.stdin,
  output: process.stdout
});

reader.on('line', (line) => {
  lines.push(line);
});

reader.on('close', () => {
 var a = Number(lines[0]);
 var b = Number(lines[1]);
 var c = Number(lines[2]);
 var x = Number(lines[3]);
 var count= 0;

 for(i=0; i<=a; i++){
   for(j=0; j<=b; j++){
     for(k=0; k<=c; k++){
       if(i*500 + j*100 + k*50 == x){
         count++;
       }
     }
   }
 }

 console.log(count);
});