#include <bits/stdc++.h>

using namespace std;
typedef pair<int, int> Pair;

int P[500000];
vector<int> Sol;

int main() {


    int r, n;
    cin >> n;
    for(int i=1; i<n; i++) {
        cout << 1 << " " << i << " " << i+1 << endl;
        cin >> r;
        if(r == 1) {
            P[i+1] = i;
        }
    }

    for(int i=n; i>=1; i--) {
        while(P[i]) i--;
            Sol.push_back(i);
    }

    reverse(Sol.begin(), Sol.end());

    cout << 2 << " " << Sol.size() << " ";
    for(auto sol : Sol) cout << sol << " ";



    return 0;
}