Problem: It is an interactive problem.

Vasya enjoys solving quizzes. He found a strange device and wants to know how it works.

This device encrypted with the tree (connected undirected graph without cycles) with n vertices, numbered with integers from 1 to n. To solve this quiz you should guess this tree.

Fortunately, this device can make one operation, using which you should guess the cipher. You can give the device an array d_1, d_2, …, d_n of non-negative integers. On the device, there are n lamps, i-th of them is connected with i-th vertex of the tree. For all i the light will turn on the i-th lamp, if there exist such vertex of the tree with number j ≠ i that dist(i, j) ≤ d_j. Let's define dist(i, j) as the distance between vertices i and j in tree or number of edges on the simple path between vertices i and j.

Vasya wants to solve this quiz using ≤ 80 operations with the device and guess the tree. Help him! 

Interaction

In the beginning, your program should read one integer n — the number of vertices of the tree which encrypts the device (2 ≤ n ≤ 1000).

After that, you can make several operations in the following format. To do operation print a symbol"?" (without quotes) and n integers d_1, d_2, …, d_n, separated by spaces after it. Please note, that for all i you can only use the numbers, satisfying the inequality 0 ≤ d_i < n. After that, you should read a string s with length n, consisting of symbols "0" and "1" (without quotes). For all i the symbol s_i is equal to "0", if the lamp on the device, connected with i-th vertex of the tree is switched off and "1" otherwise.

After several operations, you should print guessed tree. To do it print the only symbol "!" (without quotes). In the next n-1 lines print 2 integers a_i, b_i — indexes of the vertices connected by i-th edge of the tree. This numbers should satisfy the conditions 1 ≤ a_i, b_i ≤ n and a_i ≠ b_i. This edges should form a tree, which is equal to the hidden tree. After that, your program should terminate.

It is guaranteed, that in each test the tree is fixed before and won't change depending on your program's operations.

Your program can make from 0 to 80 operations with the device and after that guess the tree equal with the hidden.

If your program will make more than 80 operations it can get any verdict, because it will continue reading from closed input. If your program will make operation or print the answer in the incorrect format, it can get any verdict too. Be careful.

Don't forget to flush the output after printing questions and answers.

To flush the output, you can use: 

  * fflush(stdout) in C++. 
  * System.out.flush() in Java. 
  * stdout.flush() in Python. 
  * flush(output) in Pascal. 
  * See the documentation for other languages. 



Hacks:

The first line should contain one integer n — the number of vertices in the tree (2 ≤ n ≤ 1000). Next n-1 lines should contain 2 integers a_i, b_i — indexes of the vertices connected by i-th edge of the tree (1 ≤ a_i, b_i ≤ n, a_i ≠ b_i). All edges should form a tree. Be careful, extra spaces or line breaks are not allowed.

Example

Input


5
00000
11011
11100
10010


Output


? 0 0 0 0 0
? 1 1 2 0 2
? 0 0 0 1 0
? 0 1 0 0 1
!
4 2
1 5
3 4
4 1

Note

It is a picture of the tree which encrypt the device from the first test:

<image>

It is a table of pairwise distances between vertices in this tree:

<image>

  * If you make operation where d = [0, 0, 0, 0, 0], no lamp will switch on, because dist(i, j) > 0 for all i ≠ j. 
  * If you make operation where d = [1, 1, 2, 0, 2], all lamps except the lamp connected with the 3-rd vertex will switch on. For example, lamp connected with the 1-st vertex will switch on, because dist(1, 5) = 1 ≤ 2 = d_5. 
  * If you make operation where d = [0, 0, 0, 1, 0], all lamps except lamps connected with the 4-th and 5-th vertices will switch on. 
  * If you make operation where d = [0, 1, 0, 0, 1], only lamps connected with the 1-st and 4-th vertices will switch on. 

Solution (in CPP):

Solution:
#include <bits/stdc++.h>
using namespace std;
int get() {
  char ch;
  while (ch = getchar(), (ch < '0' || ch > '9') && ch != '-')
    ;
  if (ch == '-') {
    int s = 0;
    while (ch = getchar(), ch >= '0' && ch <= '9') s = s * 10 + ch - '0';
    return s;
  }
  int s = ch - '0';
  while (ch = getchar(), ch >= '0' && ch <= '9') s = s * 10 + ch - '0';
  return s;
}
const int N = 1005;
int n;
int dis[N];
char s[N];
bool can[N];
void query() {
  printf("?");
  for (int i = 1; i <= n; i++) printf(" %d", dis[i]);
  printf("\n");
  fflush(stdout);
  scanf("%s", s + 1);
  for (int i = 1; i <= n; i++) can[i] = s[i] - '0';
}
vector<int> pt[N], que[N];
int key[N], k;
int d[N];
bool can0[N];
int key_[N], k_;
vector<int> que_[N];
pair<int, int> ans[N];
int m;
vector<int> a[N], b[N], a1[N], b1[N];
void solve(vector<int> A, vector<int> B) {
  if (!A.size() || !B.size()) return;
  k = 1;
  int mx = A.size();
  a[1] = A;
  b[1] = B;
  bool yes = 1;
  for (; yes;) {
    for (int i = 1; i <= n; i++) dis[i] = 0;
    yes = 0;
    for (int i = 1; i <= k; i++)
      if (a[i].size() > 1) {
        yes = 1;
        int mid = a[i].size() / 2;
        for (int j = 0; j <= mid - 1; j++) dis[a[i][j]] = 1;
      }
    if (yes) {
      query();
      k_ = 0;
      for (int i = 1; i <= k; i++)
        if (a[i].size() > 1) {
          a1[++k_].clear();
          int mid = a[i].size() / 2;
          for (int j = 0; j <= mid - 1; j++) a1[k_].push_back(a[i][j]);
          b1[k_].clear();
          for (auto x : b[i])
            if (can[x]) b1[k_].push_back(x);
          a1[++k_].clear();
          for (int j = mid; j <= a[i].size() - 1; j++)
            a1[k_].push_back(a[i][j]);
          b1[k_].clear();
          for (auto x : b[i])
            if (!can[x]) b1[k_].push_back(x);
        } else {
          a1[++k_] = a[i];
          b1[k_] = b[i];
        }
      k = k_;
      for (int i = 1; i <= k; i++) a[i] = a1[i], b[i] = b1[i];
    }
  }
  for (int i = 1; i <= k; i++) {
    int x = a[i][0];
    for (auto y : b[i]) ans[++m] = make_pair(x, y);
  }
}
int main() {
  n = get();
  key[k = 1] = 0;
  pt[0].push_back(1);
  for (int i = 2; i <= n; i++) que[1].push_back(i);
  int L = 1;
  for (int i = 2; i <= n; i++) d[i] = -1;
  for (; L * 2 <= n - 1; L <<= 1)
    ;
  for (; L >= 1; L >>= 1) {
    for (int i = 1; i <= n; i++) dis[i] = 0;
    for (int i = 1; i <= k; i += 2)
      for (auto x : pt[key[i]]) dis[x] = L - 1;
    query();
    for (int i = 1; i <= n; i++) can0[i] = can[i];
    for (int i = 1; i <= k; i += 2)
      for (auto x : pt[key[i]]) dis[x] = L;
    query();
    for (int i = 1; i <= k; i++) {
      key_[i * 2 - 1] = key[i];
      key_[i * 2] = key[i] + L;
    }
    for (int i = 1; i <= k * 2; i++) que_[i].clear();
    bool yes = 0;
    for (int i = 1; i <= k; i += 2) {
      for (auto x : que[i]) {
        if (can0[x]) que_[i * 2 - 1].push_back(x);
        if (!can[x]) que_[i * 2].push_back(x);
      }
      for (auto x : que[i])
        if (can[x] && !can0[x]) {
          yes |= (i == k);
          d[x] = key[i] + L;
          pt[d[x]].push_back(x);
        }
    }
    for (int i = 1; i <= n; i++) dis[i] = 0;
    for (int i = 2; i <= k; i += 2)
      for (auto x : pt[key[i]]) dis[x] = L - 1;
    query();
    for (int i = 1; i <= n; i++) can0[i] = can[i];
    for (int i = 2; i <= k; i += 2)
      for (auto x : pt[key[i]]) dis[x]++;
    query();
    for (int i = 2; i <= k; i += 2) {
      for (auto x : que[i]) {
        if (can0[x]) que_[i * 2 - 1].push_back(x);
        if (!can[x]) que_[i * 2].push_back(x);
      }
      for (auto x : que[i])
        if (can[x] && !can0[x]) {
          yes |= (i == k);
          d[x] = key[i] + L;
          pt[d[x]].push_back(x);
        }
    }
    k_ = k * 2 - (!yes);
    k = k_;
    for (int i = 1; i <= k; i++) key[i] = key_[i], que[i] = que_[i];
    fprintf(stderr, "<%d>\n", L);
    for (int i = 1; i <= n; i++) fprintf(stderr, "%d ", d[i]);
    fprintf(stderr, "\n");
    for (int i = 1; i <= k; i++) {
      fprintf(stderr, "(%d)\n", key[i]);
      for (auto x : que[i]) fprintf(stderr, "%d ", x);
      fprintf(stderr, "\n");
    }
  }
  vector<int> A, B;
  A.clear();
  B.clear();
  for (int i = 0; i < n; i += 3) {
    for (auto x : pt[i]) A.push_back(x);
    for (auto x : pt[i + 1]) B.push_back(x);
  }
  solve(A, B);
  A.clear();
  B.clear();
  for (int i = 1; i < n; i += 3) {
    for (auto x : pt[i]) A.push_back(x);
    for (auto x : pt[i + 1]) B.push_back(x);
  }
  solve(A, B);
  A.clear();
  B.clear();
  for (int i = 2; i < n; i += 3) {
    for (auto x : pt[i]) A.push_back(x);
    for (auto x : pt[i + 1]) B.push_back(x);
  }
  solve(A, B);
  printf("!\n");
  for (int i = 1; i <= n - 1; i++)
    printf("%d %d\n", ans[i].first, ans[i].second);
  fflush(stdout);
  return 0;
}