int main() {
    @autoreleasepool {
        NSArray *numbers = [[StdIO stringFromStdIn] componentsSeparatedByString:@"\n"];
        NSInteger A = [[numbers objectAtIndex:0] integerValue];
        NSInteger B = [[numbers objectAtIndex:1] integerValue];
        NSInteger C = [[numbers objectAtIndex:2] integerValue];
        NSInteger X = [[numbers objectAtIndex:3] integerValue] / 50;
        NSInteger count = 0;
        for (NSInteger x=0; x <= MIN(A,X/10); x++) {
            NSInteger Y = X-10*x;
            for (NSInteger y=0; y <= MIN(B,Y/2); y++) {
                NSInteger z = Y-2*y;
                if (z <= C) {
                    count++;
                }
            }
        }
        [StdIO printf:@"%ld", count];
    }
    return 0;
}