from math import gcd
n=int(input())
a=1
while a<n:
	a+=1
	g=gcd(n,a)
	if g>1:break
	print("?",a)
	r=int(input())
	if r%2==1:continue
	t=pow(a,r//2,n)
	g=gcd(n,t-1)
	if g>1 and g<n:break
	g=gcd(n,t+1)
	if g>1 and g<n:break
print("!",g,n//g)