Sum(binom(64,k)