sum k=0..3 of (-1)^k*binomial(4,4-k)*binomial(13(4-k),7)