(binom(6,4)+binom(6,5)+binom(6,6))(1/2)^6