(1/2)^20000 * (20000 choose 10000)