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