(32 choose 22)2^(-31)