function main(input) {
  const args = input.split('\n');
  const A = parseInt(args[0], 10);
  const B = parseInt(args[1], 10);
  const C = parseInt(args[2], 10);
  const X = parseInt(args[3], 10);

  const patArray=[];
  for(var a=0; a<=A; a++){
    for(var b=0; b<=B; b++){
      for(var c=0; c<=C; c++){
        patArray.push(500*a+100*b+50*c);
      }
    }
  }
console.log(patArray.filter(function(x){return x==X}).length);
}

main(require('fs').readFileSync('/dev/stdin', 'utf8'));