Problem: This is an interactive problem.

A legendary tree rests deep in the forest. Legend has it that individuals who realize this tree would eternally become a Legendary Grandmaster.

To help you determine the tree, Mikaela the Goddess has revealed to you that the tree contains n vertices, enumerated from 1 through n. She also allows you to ask her some questions as follows. For each question, you should tell Mikaela some two disjoint non-empty sets of vertices S and T, along with any vertex v that you like. Then, Mikaela will count and give you the number of pairs of vertices (s, t) where s ∈ S and t ∈ T such that the simple path from s to t contains v.

Mikaela the Goddess is busy and will be available to answer at most 11 111 questions.

This is your only chance. Your task is to determine the tree and report its edges.

Input

The first line contains an integer n (2 ≤ n ≤ 500) — the number of vertices in the tree.

Output

When program has realized the tree and is ready to report the edges, print "ANSWER" in a separate line. Make sure that all letters are capitalized.

Then, print n-1 lines, each containing two space-separated integers, denoting the vertices that are the endpoints of a certain edge. Each edge should be reported exactly once. Your program should then immediately terminate.

Interaction

For each question that you wish to ask, interact as follows.

  1. First, print the size of S in its own line. In the following line, print |S| space-separated distinct integers, denoting the vertices in S. 
  2. Similarly, print the size of T in its own line. In the following line, print |T| space-separated distinct integers, denoting the vertices in T. 
  3. Then, in the final line, print v — the vertex that you choose for this question. 
  4. Read Mikaela's answer from input. 



Be reminded that S and T must be disjoint and non-empty.

After printing a 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. 



If your program asks too many questions, asks an invalid question or does not correctly follow the interaction guideline above, it may receive an arbitrary verdict. Otherwise, your program will receive the Wrong Answer verdict if it reports an incorrect tree.

Note that the tree is fixed beforehand and does not depend on your queries.

Hacks

Hacks should be formatted as follows.

The first line should contain a single integer n (2 ≤ n ≤ 500) — the number of vertices in the tree.

The following n-1 lines should each contain two space-separated integers u and v, denoting the existence of an undirected edge (u, v) (1 ≤ u, v ≤ n).

Example

Input

5
5


Output

3
1 2 3
2
4 5
2
ANSWER
1 2
2 3
3 4
2 5

Note

In the sample, the tree is as follows.

<image>

n = 5 is given to the program. The program then asks Mikaela a question where S = \{1, 2, 3\}, T = \{4, 5\}, and v = 2, to which she replies with 5 (the pairs (s, t) are (1, 4), (1, 5), (2, 4), (2, 5), and (3, 5)).

Solution (in CPP):

Solution:
#include <bits/stdc++.h>
using namespace std;
int n;
set<pair<int, int> > s;
vector<int> od;
int p[512];
vector<int> v[512];
inline void dfs(int b, int pr = -1) {
  od.push_back(b);
  p[b] = pr;
  auto it = s.lower_bound(make_pair(b, -1));
  while (it != s.end() && (*it).first == b) {
    if (it->second == pr) {
      it = next(it);
      continue;
    }
    dfs(it->second, b);
    v[b].push_back(it->second);
    v[it->second].push_back(b);
    it = next(it);
  }
}
bool us[512];
void init() {
  for (int i = 0; i <= n; i++) {
    v[i].clear();
    us[i] = false;
  }
}
int sz[512];
inline pair<int, int> cent(int b, int ALL, int pr) {
  sz[b] = 1;
  pair<int, int> ret = make_pair(INT_MAX, -1);
  int mx = -1;
  for (int go : v[b]) {
    if (us[go]) continue;
    if (go == pr) continue;
    ret = min(ret, cent(go, ALL, b));
    sz[b] += sz[go];
    mx = max(mx, sz[go]);
  }
  mx = max(mx, ALL - sz[b]);
  ret = min(ret, make_pair(mx, b));
  return ret;
}
inline void er(int a, int b) {
  s.erase(make_pair(a, b));
  s.erase(make_pair(b, a));
}
inline void ins(int a, int b) {
  s.insert(make_pair(a, b));
  s.insert(make_pair(b, a));
}
bool ok(vector<int> &vv, int num, int root, int root2) {
  cout << 1 << endl;
  cout << root << endl;
  cout << num + 1 << endl;
  for (int j = 0; j <= num; j++) {
    if (j) printf(" ");
    printf("%d", vv[j]);
  }
  puts("");
  cout << root2 << endl;
  fflush(stdout);
  int way;
  scanf("%d", &way);
  if (way == num + 1) {
    return true;
  }
  return false;
}
inline void df(int b, int add) {
  cent(b, 0, -1);
  b = cent(b, sz[b], -1).second;
  vector<int> z;
  for (int go : v[b]) {
    z.push_back(go);
  }
  us[b] = true;
  int mint = 0;
  int maxt = z.size();
  if (z.size() && ok(z, 0, add, b) == false) {
    maxt = mint;
  }
  while (mint + 1 < maxt) {
    int mid = (mint + maxt) / 2;
    if (ok(z, mid, add, b)) {
      mint = mid;
    } else {
      maxt = mid;
    }
  }
  if (maxt == z.size()) {
    ins(b, add);
    return;
  }
  if (us[z[maxt]] == false) {
    df(z[maxt], add);
    return;
  }
  er(z[maxt], b);
  ins(z[maxt], add);
  ins(add, b);
}
int zz[512];
vector<int> o;
bool cmp(int a, int b) { return zz[a] > zz[b]; }
int main() {
  cin >> n;
  zz[1] = n;
  for (int i = 2; i <= n; i++) {
    cout << 1 << endl;
    cout << 1 << endl;
    cout << n - 1 << endl;
    for (int j = 2; j <= n; j++) {
      if (j > 1) printf(" ");
      printf("%d", j);
    }
    puts("");
    printf("%d\n", i);
    fflush(stdout);
    int a;
    scanf("%d", &a);
    zz[i] = a;
  }
  for (int i = 2; i <= n; i++) o.push_back(i);
  sort(o.begin(), o.end(), cmp);
  for (int i : o) {
    od.clear();
    init();
    dfs(1);
    reverse(od.begin(), od.end());
    df(1, i);
  }
  puts("ANSWER");
  for (auto it : s) {
    if (it.first > it.second) continue;
    printf("%d %d\n", it.first, it.second);
  }
  return 0;
}