WolframAlpha computational knowledge AI
sum from r=0 to r=32 of ((2^7 choose r)((2^7-r) choose (64-2r)) (2^25 choose 2)^r (2^25)^(64-2r))/(2^32 choose 64)