1/2^100(-2+sum_{j=1 to 9}(-1)^(j-1)*((100-8j)/j) *binom(99-9j,j-1)*2^{100-10j})