sum k=1..3 of (-1)^(k+1)*binomial(4,4-k)*binomial(16+4-k-1,4-k-1)