function main(input) {
  const args = input.split('\n');
  const A = parseInt(args[0]); const B = parseInt(args[1]);
  const C = parseInt(args[2]); const X = parseInt(args[3]);
  
  var cnt = 0;
  for (var a = 0; a < A; ++a) {
    for (var b = 0; b < B; ++b) {
      for (var c = 0; c < C; ++c) {
        var x = 500*a + 100*b + 50*c;
        if (x === X) {
          ++cnt;
        }
      }
    }
  }
  console.log(cnt);
}
main(require('fs').readFileSync('/dev/stdin', 'utf8'))