binom(2^32,10000)*10000!/(2^320000)