// シャロちゃん!!!!!シャロちゃん!!!!!!!!!!!!!!!!!!! #include using namespace std; typedef long long ll; typedef vector vi; typedef vector vl; typedef pair pii; typedef pair pll; typedef int _loop_int; #define REP(i,n) for(_loop_int i=0;i<(_loop_int)(n);++i) #define FOR(i,a,b) for(_loop_int i=(_loop_int)(a);i<(_loop_int)(b);++i) #define FORR(i,a,b) for(_loop_int i=(_loop_int)(b)-1;i>=(_loop_int)(a);--i) #define DEBUG(x) cout<<#x<<": "< P; ll calc(int a,int b,int c,int d,int e,int f){ static ll fact[] = {1,1,2,6,24,120,720}; vi arr; arr.push_back(a); arr.push_back(b); arr.push_back(c); arr.push_back(d); arr.push_back(e); arr.push_back(f); map cnt; REP(i,6)cnt[arr[i]]++; ll ret = fact[6]; for(auto it:cnt){ ret /= fact[it.second]; } return ret; } void solve(int s){ ll ans = 0; FOR(a,0,101)FOR(b,a,101)FOR(c,b,101){ int d = s-(a+b+c); if(d100)continue; // low is a && high is d ans += calc(a,a,b,c,d,d); // low less a && high is d ans += calc(-1,a,b,c,d,d) * a; // low is a && high more d ans += calc(a,a,b,c,d,101) * (100-d); // low less a && high more d ans += calc(-1,a,b,c,d,101) * a * (100-d); } printf("%lld\n",ans); } int main(){ int u,d; scanf("%d.%d",&u,&d); int s = u*4 + (d/25); solve(s); return 0; }