binomial[7,3] * binomial[12,5] + binomial[7,4] * binomial[12,4] + binomial[7,5] * binomial[12,3] + binomial[7,6] * binomial[12,2] + binomial[7,7] * binomial[12,1]