sum k=0 to 7 ( ({16-k} choose k )* ({16-2k} choose { 7-k}) )