#include <stdio.h>
#include <atcoder/all>
#include <bits/stdc++.h>
using namespace std;
using namespace atcoder;
using mint = modint998244353;
#define rep(i,n) for (int i = 0; i < (n); ++i)
#define Inf32 1000000001
#define Inf64 1000000000000000000LL
long long query(long long x,long long y){
	cout<<1<<' '<<x<<' '<<y<<endl;
	long long res;cin>>res;
	return res;
}
int main(){
	int n;cin>>n;
	vector<long long> ans(2);
	rep(i,2){
		long long ok = -1000000000,ng = 1000000000;
		while(ng-ok>1LL){
			long long mid = (ok+ng)/2;
			long long A,B;
			{
				long long x = mid,y = 0;
				if(i)swap(x,y);
				A = query(x,y);
			}
			{
				long long x = mid+1,y = 0;
				if(i)swap(x,y);
				B = query(x,y);
			}
			if(A<B)ng = mid;
			else ok = mid;
		}
		ans[i] = ok+1;
	}
	cout<<2<<' '<<ans[0]<<' '<<ans[1]<<endl;
	return 0;
}