#define R(i,a)for(i=a;i<101;i++)
long d[7][101][101][601],a;m,M,s,k;main(i){R(m,0)d[1][m][m][m]=1;for(i=1;i<6;i++)R(m,0)R(M,m)R(k,0)for(s=m*i;s<=i*100;s++)d[i+1][m<k?m:k][M>k?M:k][s+k]+=d[i][m][M][s];scanf("%d.%d",&i,&k);R(m,0)R(M,m)a+=d[6][m][M][i*4+k/25+m+M];a=!printf("%ld",a);}