sum k=0..6 of (sum m=0..(6-k) of (binomial(6,k)*binomial(6-k,m)))