Quote:
Originally Posted by ATH
You can simplify this alot:
k=2^{n}1, m=k*(n1)n+2, x=m*k
Now your conditions is equivalent to: 2^{x1} = 1 (mod k) AND (kn+2)^{x1} = 1 (mod k)

Actually only the condition
(kn+2)^{x1} = 1 (mod k) is needed, I get the same results just searching for numbers fulfilling this.