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