sum (220 choose k)/2^220, k from 120 to 133