sum of (sum of binom (3,4-j-k) * 4! / (j! * k!) for j=0..2) for k=0..3