Problem: After some programming contest Roma decided to try himself in tourism. His home country Uzhlyandia is a Cartesian plane. He wants to walk along each of the Main Straight Lines in Uzhlyandia. It is known that each of these lines is a straight line parallel to one of the axes (i.e. it is described with the equation x = a or y = a, where a is integer called the coordinate of this line).

Roma lost his own map, so he should find out the coordinates of all lines at first. Uncle Anton agreed to help him, using the following rules: 

  * Initially Roma doesn't know the number of vertical and horizontal lines and their coordinates; 
  * Roma can announce integer coordinates of some point in Uzhlandia, and Anton then will tell him the minimum among the distances from the chosen point to each of the lines. However, since the coordinates of the lines don't exceed 108 by absolute value, Roma can't choose a point with coordinates exceeding 108 by absolute value. 



Uncle Anton is in a hurry to the UOI (Uzhlandian Olympiad in Informatics), so he can only answer no more than 3·105 questions.

The problem is that Roma doesn't know how to find out the coordinates of the lines. Write a program that plays Roma's role and finds the coordinates.

Input

There is no input initially. Your program should make queries to get information.

It is guaranteed that the number of horizontal and vertical lines is at least 1 and less than or equal to 104 for each type.

Interaction

To make a query, print a line "0 x y" (-108 ≤ x, y ≤ 108), where x and y are the coordinates of the point. After each query you need to print end-of-line, make "flush" operation, and then read the answer to the query — the minimum among the distances prom this point to the Main Straight Lines of Uzhlyandia.

You can do no more than 3·105 queries.

When you are ready to print the answer, print three lines:

  1. In the first line print "1 n m", where n is the number of vertical lines (parallel to OY), and m is the number of horizontal lines (parallel to OX). 
  2. In the second line print n integers x1, x2, ..., xn — the coordinates of the vertical lines. 
  3. In the third line in the same format print m integers y1, y2, ..., ym — the coordinates of the horizontal lines. 



You can print coordinates in arbitrary order.

To make "flush", you can use (just after printing a query/answer and end-of-line):

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



You will get Wrong Answer if you make more queries than allowed or make an invalid query. 

You can get Idleness Limit Exceeded if you don't print anything or if you forget to flush the output.

If at any moment your program reads -1 as an answer, it should immediately exit normally (for example, by calling exit(0)). You will get Wrong Answer in this case, it means that you made more queries than allowed, or made an invalid query. If you ignore this, you can get other verdicts since your program will continue to read from a closed stream.

Making test for hacking

The first line should contain two integers n and m (1 ≤ n, m ≤ 104).

The second line should contain n distinct integers xi (-108 ≤ xi ≤ 108) — the coordinates of the vertical lines.

The third line should contain m distinct integers yi (-108 ≤ yi ≤ 108) — the coordinates of the horizontal lines.

You can write coordinates in arbitrary order.

You can see the example case in the notes.

Example

Input

1
1
3
2


Output

0 1 2
0 -2 -2
0 5 6
0 -2 2
1 1 2
2
0 -3

Note

The example test is 
    
    
      
    1 2  
    2  
    0 -3  
    

The minimum distances are:

  * from (1, 2) to x = 2; 
  * from ( - 2, - 2) to y = - 3; 
  * from (5, 6) to x = 2; 
  * from ( - 2, 2) to y = 0. 

Solution (in CPP):

Solution:
#include <bits/stdc++.h>
using namespace std;
template <class T, class S>
ostream& operator<<(ostream& os, const pair<T, S>& v) {
  return os << "(" << v.first << ", " << v.second << ")";
}
template <class T>
ostream& operator<<(ostream& os, const vector<T>& v) {
  os << "[";
  for (int i = int(0); i <= int((static_cast<int>((v).size())) - 1); ++i) {
    if (i) os << ", ";
    os << v[i];
  }
  return os << "]";
}
template <class T>
bool setmax(T& _a, T _b) {
  if (_a < _b) {
    _a = _b;
    return true;
  }
  return false;
}
template <class T>
bool setmin(T& _a, T _b) {
  if (_b < _a) {
    _a = _b;
    return true;
  }
  return false;
}
template <class T>
T gcd(T _a, T _b) {
  return _b == 0 ? _a : gcd(_b, _a % _b);
}
const int INF = int(1e8);
int randint() {
  static std::default_random_engine gen;
  static std::uniform_int_distribution<int> distri(-INF, INF);
  return distri(gen);
}
int query(pair<int, int> p) {
  printf("0 %d %d\n", p.first, p.second);
  fflush(stdout);
  int d;
  scanf("%d", &d);
  return d;
}
struct Dimension {
  Dimension(bool is_x) : is_x(is_x) { insert_range(make_pair(-INF, INF)); }
  int pick() {
    if (!finished()) {
      auto r = ranges_by_size.rbegin()->second;
      return (r.first + r.second) / 2;
    } else {
      if (final_pick >= -INF) return final_pick;
      int last = -INF, r = -INF, rv = -1;
      for (int x : found) {
        if (setmax(rv, x - last)) {
          r = (last + x) / 2;
        }
        last = x;
      }
      if (setmax(rv, INF - last)) {
        r = (INF + last) / 2;
      }
      return final_pick = r;
    }
  }
  void verify(int x) {
    if (x < -INF || x > INF) return;
    if (found.count(x)) return;
    constexpr int kNum = 5;
    for (int i = int(0); i <= int((kNum)-1); ++i) {
      int y = randint();
      int r = query(is_x ? make_pair(x, y) : make_pair(y, x));
      if (r != 0) return;
    }
    found.insert(x);
  }
  void erase(pair<int, int> e) {
    while (1) {
      auto it = ranges.upper_bound(make_pair(e.second, INF + 1));
      if (it == ranges.begin()) break;
      pair<int, int> cur = *(--it);
      if (cur.second < e.first) break;
      erase_range(cur);
      if (cur.first < e.first) insert_range(make_pair(cur.first, e.first - 1));
      if (e.second < cur.second)
        insert_range(make_pair(e.second + 1, cur.second));
    }
  }
  bool finished() const { return ranges.empty(); }
  vector<int> ans() const {
    return vector<int>((found).begin(), (found).end());
  }

 private:
  void insert_range(pair<int, int> range) {
    ranges.insert(range);
    ranges_by_size.insert(make_pair(range.second - range.first + 1, range));
  }
  void erase_range(pair<int, int> range) {
    ranges.erase(range);
    ranges_by_size.erase(make_pair(range.second - range.first + 1, range));
  }
  const bool is_x;
  set<int> found;
  set<pair<int, int>> ranges;
  set<pair<int, pair<int, int>>> ranges_by_size;
  int final_pick = -INF - 1;
};
int main() {
  Dimension dx(true), dy(false);
  while (!dx.finished() || !dy.finished()) {
    int x = dx.pick(), y = dy.pick();
    int r = query(make_pair(x, y));
    dx.verify(x - r), dx.verify(x + r);
    dy.verify(y - r), dy.verify(y + r);
    dx.erase(make_pair(x - r, x + r));
    dy.erase(make_pair(y - r, y + r));
  }
  vector<int> rx = dx.ans(), ry = dy.ans();
  printf("1 %d %d\n", static_cast<int>((rx).size()),
         static_cast<int>((ry).size()));
  for (int x : rx) printf("%d ", x);
  printf("\n");
  for (int y : ry) printf("%d ", y);
  printf("\n");
  return 0;
}