(1000 choose 500) / (2^1000)