#include <bits/stdc++.h>
using namespace std;
int n,o,l,r,h,x,i;
vector<int> v;
int main() {
  scanf("%d",&n);
  while (r!=n) {
    l=o=r+1; r=n;
    v.push_back(o);
    while (l<r) {
      h=(l+r)/2+1;
      printf("1 %d %d\n",o,h);
      fflush(stdout);
      scanf("%d",&x);
      if (x) l=h; else r=h-1;
    }
  }
  printf("2 %d",int(v.size()));
  for (i=0; i<v.size(); i++) printf(" %d",v[i]);
  fflush(stdout);
  return 0;
}