def query(a)
  puts "? #{a}"
  STDOUT.flush
  gets.to_i
end

n = gets.to_i
g = -1

loop do
  a = rand(2...n)
  g = n.gcd(a)
  if g != 1
    break
  else
    t = query(a)
    if t % 2 == 1
      next
    end
    b = a.pow(t/2, n)
    g = n.gcd(b-1)
    if g != 1
      break
    end
    if b == n-1
      next
    end
    g = n.gcd(b+1)
    if g != 1
      break
    end
  end
end

puts "! #{g} #{n / g}"