round(2^1300/binomial(1300,800))