WolframAlpha computational knowledge AI
((2^1277-1)-1) /2= 1277xy+x+y solve over the integer