\sum_(n=0)^(34) 0.5^80 *\binom{80}{n}