Problem: This is an interactive problem.

Khanh has n points on the Cartesian plane, denoted by a_1, a_2, …, a_n. All points' coordinates are integers between -10^9 and 10^9, inclusive. No three points are collinear. He says that these points are vertices of a convex polygon; in other words, there exists a permutation p_1, p_2, …, p_n of integers from 1 to n such that the polygon a_{p_1} a_{p_2} … a_{p_n} is convex and vertices are listed in counter-clockwise order.

Khanh gives you the number n, but hides the coordinates of his points. Your task is to guess the above permutation by asking multiple queries. In each query, you give Khanh 4 integers t, i, j, k; where either t = 1 or t = 2; and i, j, k are three distinct indices from 1 to n, inclusive. In response, Khanh tells you:

  * if t = 1, the area of the triangle a_ia_ja_k multiplied by 2. 
  * if t = 2, the sign of the cross product of two vectors \overrightarrow{a_ia_j} and \overrightarrow{a_ia_k}. 



Recall that the cross product of vector \overrightarrow{a} = (x_a, y_a) and vector \overrightarrow{b} = (x_b, y_b) is the integer x_a ⋅ y_b - x_b ⋅ y_a. The sign of a number is 1 it it is positive, and -1 otherwise. It can be proven that the cross product obtained in the above queries can not be 0.

You can ask at most 3 ⋅ n queries.

Please note that Khanh fixes the coordinates of his points and does not change it while answering your queries. You do not need to guess the coordinates. In your permutation a_{p_1}a_{p_2}… a_{p_n}, p_1 should be equal to 1 and the indices of vertices should be listed in counter-clockwise order.

Interaction

You start the interaction by reading n (3 ≤ n ≤ 1 000) — the number of vertices.

To ask a query, write 4 integers t, i, j, k (1 ≤ t ≤ 2, 1 ≤ i, j, k ≤ n) in a separate line. i, j and k should be distinct.

Then read a single integer to get the answer to this query, as explained above. It can be proven that the answer of a query is always an integer.

When you find the permutation, write a number 0. Then write n integers p_1, p_2, …, p_n in the same line.

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.



Hack format

To hack, use the following format:

The first line contains an integer n (3 ≤ n ≤ 1 000) — the number of vertices.

The i-th of the next n lines contains two integers x_i and y_i (-10^9 ≤ x_i, y_i ≤ 10^9) — the coordinate of the point a_i.

Example

Input


6

15

-1

1

Output


1 1 4 6

2 1 5 6

2 2 1 4

0 1 3 4 2 6 5

Note

The image below shows the hidden polygon in the example:

<image>

The interaction in the example goes as below: 

  * Contestant reads n = 6. 
  * Contestant asks a query with t = 1, i = 1, j = 4, k = 6. 
  * Jury answers 15. The area of the triangle A_1A_4A_6 is 7.5. Note that the answer is two times the area of the triangle. 
  * Contestant asks a query with t = 2, i = 1, j = 5, k = 6. 
  * Jury answers -1. The cross product of \overrightarrow{A_1A_5} = (2, 2) and \overrightarrow{A_1A_6} = (4, 1) is -2. The sign of -2 is -1. 
  * Contestant asks a query with t = 2, i = 2, j = 1, k = 4. 
  * Jury answers 1. The cross product of \overrightarrow{A_2A_1} = (-5, 2) and \overrightarrow{A_2A_4} = (-2, -1) is 1. The sign of 1 is 1. 
  * Contestant says that the permutation is (1, 3, 4, 2, 6, 5). 

Solution (in CPP):

Solution:
#include <bits/stdc++.h>
using namespace std;
const long long mod = 998244353;
long long n, buf;
vector<pair<long long, long long> > vec[2];
vector<pair<long long, long long> > res[2][2];
pair<long long, long long> zhong[2];
void solve(long long w) {
  long long maxid = 0, maxv = -1;
  for (auto &i : vec[w]) {
    cout << "1 1 2 " << i.first << endl;
    cin >> i.second;
    if (i.second >= maxv) {
      maxid = i.first, maxv = i.second;
      zhong[w] = i;
    }
  }
  for (auto &i : vec[w]) {
    if (i.first == maxid) continue;
    cout << "2 1 " << maxid << " " << i.first << endl;
    cin >> buf;
    if (buf == 1)
      res[w][1].push_back(i);
    else
      res[w][0].push_back(i);
  }
  sort(res[w][0].begin(), res[w][0].end(),
       [](pair<long long, long long> a, pair<long long, long long> b) {
         return a.second < b.second;
       });
  sort(res[w][1].begin(), res[w][1].end(),
       [](pair<long long, long long> a, pair<long long, long long> b) {
         return a.second > b.second;
       });
}
int main() {
  zhong[0] = zhong[1] = make_pair(0, 0);
  cin >> n;
  for (long long i = 3; i <= n; i++) {
    cout << "2 1 2 " << i << endl;
    cin >> buf;
    if (buf == 1)
      vec[1].push_back(make_pair(i, 0));
    else
      vec[0].push_back(make_pair(i, 0));
  }
  solve(0);
  solve(1);
  cout << "0 1 ";
  for (auto i : res[0][0]) cout << i.first << " ";
  if (zhong[0].first != 0) cout << zhong[0].first << " ";
  for (auto i : res[0][1]) cout << i.first << " ";
  cout << "2 ";
  for (auto i : res[1][0]) cout << i.first << " ";
  if (zhong[1].first != 0) cout << zhong[1].first << " ";
  for (auto i : res[1][1]) cout << i.first << " ";
  return 0;
}