function main(input){
  var arg = input.split('\n').map((n) => parseInt(n));
  const a = arg[0];
  const b = arg[1];
  const c = arg[2];
  const x = arg[3];
  var result = 0;
  for(var i = 0; i <= a; i++){
    for(var j = 0; j <= b; j++){
      for(var k = 0; k <= c; k++){
        if(i * 500 + j * 100 + k * 50 == x) {
          result++;
        }
      }
    }
  }
  console.log(result);
}
main(require("fs").readFileSync("/dev/stdin", "utf8"));