#include<bits/stdc++.h>
using namespace std;
int a,b,c,i,k,n,ans;
int main()
{
    scanf("%d%d%d%d",&a,&b,&c,&n);
    for (i=0;i<=a;i++)
     for (k=0;k<=b;k++)
      if ((n-i*500-k*100>=0)&&(n-i*500-k*100<=c*50))ans++;
   cout<<ans<<endl;
    return 0;
}