1-((2^32-1)/(2^32))^(10000 choose 2)