sum of (sum of binom (2k+2,2) * binom (2l+3,2) * binom (12 - 2(k + l),5) for l=0..3-k) for k=0..3