sum_{v=0}^3 binom(6-v, 2) * binom(6,v) * binom(4,3-v)=