Problem: This is an interactive problem!

An arithmetic progression or arithmetic sequence is a sequence of integers such that the subtraction of element with its previous element (x_i - x_{i - 1}, where i ≥ 2) is constant — such difference is called a common difference of the sequence.

That is, an arithmetic progression is a sequence of form x_i = x_1 + (i - 1) d, where d is a common difference of the sequence.

There is a secret list of n integers a_1, a_2, …, a_n.

It is guaranteed that all elements a_1, a_2, …, a_n are between 0 and 10^9, inclusive.

This list is special: if sorted in increasing order, it will form an arithmetic progression with positive common difference (d > 0). For example, the list [14, 24, 9, 19] satisfies this requirement, after sorting it makes a list [9, 14, 19, 24], which can be produced as x_n = 9 + 5 ⋅ (n - 1).

Also you are also given a device, which has a quite discharged battery, thus you can only use it to perform at most 60 queries of following two types:

  * Given a value i (1 ≤ i ≤ n), the device will show the value of the a_i.
  * Given a value x (0 ≤ x ≤ 10^9), the device will return 1 if an element with a value strictly greater than x exists, and it will return 0 otherwise.



Your can use this special device for at most 60 queries. Could you please find out the smallest element and the common difference of the sequence? That is, values x_1 and d in the definition of the arithmetic progression. Note that the array a is not sorted.

Interaction

The interaction starts with a single integer n (2 ≤ n ≤ 10^6), the size of the list of integers.

Then you can make queries of two types:

  * "? i" (1 ≤ i ≤ n) — to get the value of a_i.
  * "> x" (0 ≤ x ≤ 10^9) — to check whether there exists an element greater than x



After the query read its result r as an integer.

  * For the first query type, the r satisfies 0 ≤ r ≤ 10^9. 
  * For the second query type, the r is either 0 or 1.
  * In case you make more than 60 queries or violated the number range in the queries, you will get a r = -1.
  * If you terminate after receiving the -1, you will get the "Wrong answer" verdict. Otherwise you can get an arbitrary verdict because your solution will continue to read from a closed stream. 



When you find out what the smallest element x_1 and common difference d, print

  * "! x_1 d" 



And quit after that. This query is not counted towards the 60 queries limit.

After printing any query do not forget to output end of line and flush the output. Otherwise you will get Idleness limit exceeded. To do this, use:

  * fflush(stdout) or cout.flush() in C++;
  * System.out.flush() in Java;
  * flush(output) in Pascal;
  * stdout.flush() in Python;
  * see documentation for other languages.



Hacks

For hack, use the following format:

The first line should contain an integer n (2 ≤ n ≤ 10^6) — the list's size.

The second line contains n integers a_1, a_2, …, a_n (0 ≤ a_i ≤ 10^9) — the elements of the list.

Also, after the sorting the list must form an arithmetic progression with positive common difference.

Example

Input


4

0

1

14

24

9

19



Output



&gt; 25

&gt; 15

? 1

? 2

? 3

? 4

! 9 5

Note

Note that the example interaction contains extra empty lines so that it's easier to read. The real interaction doesn't contain any empty lines and you shouldn't print any extra empty lines as well.

The list in the example test is [14, 24, 9, 19].

Solution (in CPP):

Solution:
#include <bits/stdc++.h>
using namespace std;
const int MAX = 1e9;
long long get_r(long long l, long long r) {
  if (l == r) return l;
  long long m = (l + r) / 2;
  cout << "> " << m << endl;
  int ans;
  cin >> ans;
  if (ans == -1) exit(0);
  if (ans)
    return get_r(m + 1, r);
  else
    return get_r(l, m);
}
long long gcd(long long a, long long b) {
  if (b == 0) return a;
  return gcd(b, a % b);
}
long long gcd(vector<long long> &v) {
  long long ans = v.front();
  for (long long r : v) {
    ans = gcd(ans, r);
  }
  return ans;
}
int main() {
  ios_base::sync_with_stdio(0);
  cin.tie(0);
  long long n;
  cin >> n;
  long long r = get_r(0, MAX);
  vector<int> ask(n);
  for (int i = 0; i < n; i++) ask[i] = i + 1;
  mt19937 rng(chrono::steady_clock::now().time_since_epoch().count());
  shuffle(ask.begin(), ask.end(), rng);
  vector<long long> v;
  for (long long i = 0; i < min(30ll, n); i++) {
    long long m = ask[i];
    cout << "? " << m << endl;
    long long ans;
    cin >> ans;
    if (ans == -1) exit(0);
    v.push_back(ans);
  }
  vector<long long> dif;
  for (long long l : v)
    for (long long r : v) dif.push_back(abs(l - r));
  long long d = gcd(dif);
  long long l = r - (n - 1) * d;
  cout << "! " << l << " " << d << endl;
  exit(0);
}