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>
#pragma GCC optimize("O3")
using namespace std;
inline long long getint() {
  long long _x = 0, _tmp = 1;
  char _tc = getchar();
  while ((_tc < '0' || _tc > '9') && _tc != '-') _tc = getchar();
  if (_tc == '-') _tc = getchar(), _tmp = -1;
  while (_tc >= '0' && _tc <= '9') _x *= 10, _x += (_tc - '0'), _tc = getchar();
  return _x * _tmp;
}
inline long long add(long long _x, long long _y,
                     long long _mod = 1000000007LL) {
  _x += _y;
  return _x >= _mod ? _x - _mod : _x;
}
inline long long sub(long long _x, long long _y,
                     long long _mod = 1000000007LL) {
  _x -= _y;
  return _x < 0 ? _x + _mod : _x;
}
inline long long mul(long long _x, long long _y,
                     long long _mod = 1000000007LL) {
  _x *= _y;
  return _x >= _mod ? _x % _mod : _x;
}
long long mypow(long long _a, long long _x, long long _mod) {
  if (_x == 0) return 1LL;
  long long _ret = mypow(mul(_a, _a, _mod), _x >> 1, _mod);
  if (_x & 1) _ret = mul(_ret, _a, _mod);
  return _ret;
}
long long mymul(long long _a, long long _x, long long _mod) {
  if (_x == 0) return 0LL;
  long long _ret = mymul(add(_a, _a, _mod), _x >> 1, _mod);
  if (_x & 1) _ret = add(_ret, _a, _mod);
  return _ret;
}
inline bool equal(double _x, double _y) {
  return _x > _y - 1e-9 && _x < _y + 1e-9;
}
int __ = 1, _cs;
vector<int> qx, qy;
void build() {}
inline int query(int x, int y) {
  if (x < -100000000 or x > 100000000 or y < -100000000 or y > 100000000)
    return 200000003;
  printf("0 %d %d\n", x, y);
  fflush(stdout);
  int d;
  scanf("%d", &d);
  return d;
}
vector<int> vx, vy;
inline void Uniq(vector<int>& x) {
  sort(x.begin(), x.end());
  x.resize(unique(x.begin(), x.end()) - x.begin());
}
inline void output(const vector<int>& x) {
  if (x.empty()) puts("");
  for (size_t i = 0; i < x.size(); i++)
    printf("%d%c", x[i], " \n"[i + 1 == x.size()]);
}
inline void answer() {
  Uniq(vx);
  Uniq(vy);
  printf("1 %d %d\n", (int)vx.size(), (int)vy.size());
  output(vx);
  output(vy);
  fflush(stdout);
  exit(0);
}
void init() {}
vector<int> cand;
void find_cand(int lb, int rb) {
  if (lb + 1 >= rb) return;
  int mb = (lb + rb) >> 1;
  int qq = query(mb, mb);
  if (mb - qq > lb and query(mb - qq, mb - qq) == 0) {
    cand.push_back(mb - qq);
    find_cand(lb, mb - qq);
    find_cand(mb - qq, rb);
    return;
  }
  if (mb + qq < rb and query(mb + qq, mb + qq) == 0) {
    cand.push_back(mb + qq);
    find_cand(lb, mb + qq);
    find_cand(mb + qq, rb);
    return;
  }
}
void solve() {
  cand.push_back(-100000000);
  cand.push_back(+100000000);
  find_cand(-100000000, +100000000);
  int other = -100000000;
  sort(cand.begin(), cand.end());
  for (int i : cand) {
    if (other == i)
      other++;
    else
      break;
  }
  for (int i : cand) {
    if (query(i, other) == 0) vx.push_back(i);
    if (query(other, i) == 0) vy.push_back(i);
  }
  answer();
}
int main() {
  srand(0x1021);
  build();
  while (__--) {
    init();
    solve();
  }
}