[32 choose 16]^2/[64 choose 32]