sum of binom (2 * n + 1 - k,k) for k=0..n where n = 7