import math;G=math.gcd;n=int(input());P=lambda g:0 if g<3 else [print("!",g,n//g),exit()];[[P(G(n,a)),print("?",a),r:=int(input()),[P(G(n,pow(a+b,r//(2-(r&1)),n)-1)%n) for b in range(99)]] for a in range(3,9)]