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);
});
var sub_fn = (ary)=>{
  
}
reader.on('close', () => {
  var a = 1*lines[0]
  var b = 1*lines[1]  
  var c = 1*lines[2]
  var x = 1*lines[3]
  
  var cnt = 0;
  
  for(var i = 0; i <= a; i++){
    for(var j = 0; j <= b; j++){
     // console.log(j)
      for(var k = 0; k <= c; k++)
        if((i*500 + j*100 + k*50) == x){
        ++cnt}
    }  
  }
  
  console.log(cnt)
});