#define R(i)for(i=101;i--;)
long d[7][101][101][601],m;M,s,i,k;main(float t){for(100[*d][0][0]=scanf("%f",&t);i<6;i++)R(m)R(M)R(k)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];R(k)R(M)m-=d[6][k][M][s=t*4+k+M];printf("%ld",~m);}