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;
using ll = long long;
template <class t, class u>
void chmax(t& first, u second) {
  if (first < second) first = second;
}
template <class t, class u>
void chmin(t& first, u second) {
  if (second < first) first = second;
}
template <class t>
using vc = vector<t>;
template <class t>
using vvc = vc<vc<t>>;
using pi = pair<ll, ll>;
using vi = vc<ll>;
template <class t, class u>
ostream& operator<<(ostream& os, const pair<t, u>& p) {
  return os << "{" << p.first << "," << p.second << "}";
}
template <class t>
ostream& operator<<(ostream& os, const vc<t>& v) {
  os << "{";
  for (auto e : v) os << e << ",";
  return os << "}";
}
using uint = unsigned;
using ull = unsigned long long;
template <ll i, class T>
void print_tuple(ostream&, const T&) {}
template <ll i, class T, class H, class... Args>
void print_tuple(ostream& os, const T& t) {
  if (i) os << ",";
  os << get<i>(t);
  print_tuple<i + 1, T, Args...>(os, t);
}
template <class... Args>
ostream& operator<<(ostream& os, const tuple<Args...>& t) {
  os << "{";
  print_tuple<0, tuple<Args...>, Args...>(os, t);
  return os << "}";
}
void print(ll x, ll suc = 1) {
  cout << x;
  if (suc == 1) cout << "\n";
  if (suc == 2) cout << " ";
}
ll read() {
  ll i;
  cin >> i;
  return i;
}
vi readvi(ll n, ll off = 0) {
  vi v(n);
  for (ll i = ll(0); i < ll(n); i++) v[i] = read() + off;
  return v;
}
template <class T>
void print(const vector<T>& v, ll suc = 1) {
  for (ll i = ll(0); i < ll(v.size()); i++)
    print(v[i], i == ll(v.size()) - 1 ? suc : 2);
}
string readString() {
  string s;
  cin >> s;
  return s;
}
template <class T>
T sq(const T& t) {
  return t * t;
}
void yes(bool ex = true) {
  cout << "Yes" << endl;
  if (ex) exit(0);
}
void no(bool ex = true) {
  cout << "No" << endl;
  if (ex) exit(0);
}
constexpr ll ten(ll n) { return n == 0 ? 1 : ten(n - 1) * 10; }
const ll infLL = LLONG_MAX / 3;
const ll inf = infLL;
ll topbit(signed t) { return t == 0 ? -1 : 31 - __builtin_clz(t); }
ll topbit(ll t) { return t == 0 ? -1 : 63 - __builtin_clzll(t); }
ll botbit(signed first) { return first == 0 ? 32 : __builtin_ctz(first); }
ll botbit(ll first) { return first == 0 ? 64 : __builtin_ctzll(first); }
ll popcount(signed t) { return __builtin_popcount(t); }
ll popcount(ll t) { return __builtin_popcountll(t); }
bool ispow2(ll i) { return i && (i & -i) == i; }
ll mask(ll i) { return (ll(1) << i) - 1; }
bool inc(ll first, ll second, ll c) { return first <= second && second <= c; }
template <class t>
void mkuni(vc<t>& v) {
  sort(v.begin(), v.end());
  v.erase(unique(v.begin(), v.end()), v.end());
}
ll rand_int(ll l, ll r) {
  static random_device rd;
  static mt19937_64 gen(rd());
  return uniform_int_distribution<ll>(l, r)(gen);
}
void priv(vi s) {
  cout << s.size();
  for (auto i : s) cout << " " << i + 1;
  cout << endl;
}
ll ask(vi s, vi t, ll v) {
  static ll num = 0;
  num++;
  assert(num <= 11111);
  priv(s);
  priv(t);
  cout << v + 1 << endl;
  ll res;
  cin >> res;
  return res;
}
void answer(vc<pi> ans) {
  cout << "ANSWER" << endl;
  for (auto e : ans) cout << e.first + 1 << " " << e.second + 1 << endl;
}
const ll nmax = 510;
vi t[nmax];
bool rem[nmax];
ll tsize(ll v, ll p) {
  ll ret = 1;
  for (auto to : t[v])
    if (to != p && !rem[to]) ret += tsize(to, v);
  return ret;
}
ll findc(ll v, ll p, ll s) {
  ll ret = 1, mx = 0;
  for (auto to : t[v])
    if (to != p && !rem[to]) {
      ll f = findc(to, v, s);
      if (f <= 0)
        return f;
      else {
        ret += f;
        chmax(mx, f);
      }
    }
  chmax(mx, s - ret);
  if (mx * 2 <= s)
    return -v;
  else
    return ret;
}
signed main() {
  cin.tie(0);
  ios::sync_with_stdio(0);
  cout << fixed << setprecision(20);
  ll n;
  cin >> n;
  vi sz(n);
  for (ll i = ll(1); i < ll(n); i++) {
    vi s{0};
    vi tmp(n - 1);
    iota(tmp.begin(), tmp.end(), 1);
    sz[i] = ask(s, tmp, i);
  }
  vi idx(n - 1);
  iota(idx.begin(), idx.end(), 1);
  sort(idx.begin(), idx.end(), [&](ll i, ll j) { return sz[i] > sz[j]; });
  vc<pi> ans;
  for (auto i : idx) {
    memset(rem, 0, sizeof(rem));
    ll cur = 0;
    while (1) {
      cur = -findc(cur, -1, tsize(cur, -1));
      vi vs;
      for (auto to : t[cur])
        if (!rem[to]) vs.push_back(to);
      ll lw = 0, up = vs.size() + 1;
      while (up - lw > 1) {
        const ll m = (lw + up) / 2;
        vi s(vs.begin(), vs.begin() + m);
        if (ask(s, {i}, cur) < m)
          up = m;
        else
          lw = m;
      }
      if (lw == (ll)vs.size()) break;
      rem[cur] = true;
      cur = vs[lw];
    }
    t[cur].push_back(i);
    t[i].push_back(cur);
    ans.emplace_back(cur, i);
  }
  answer(ans);
}