function main( input ) {
    const A = input.split('\n')[0];
    const B = input.split('\n')[1];
    const C = input.split('\n')[2];
    const X = input.split('\n')[3];
  
    let ans = 0;
    for(let a = 0; a <= A; a++ ){
        for( let b = 0; b <= B; b++ ){
            for( let c = 0; c <= C; c++ ) {
                if( (a * 500 + b * 100 + c * 50) == X ){
                    ans++;
                }
            }
        }
    }

    console.log(ans);
}

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