sum from 0 to 10 (16 choose x) * 0.5^16