1/(2^(1*^22))