2^32 * binomial(2^32, 12) * (1/2^32)^12 * (1 - 1/2^32)^(2^32 - 12)