sum k=35 to 55 of (100 choose k)/2^100