add 2^k+1 test