2^k | x_1+x_2+1