#include <bits/stdc++.h>

using namespace std;

vector<int> get(int n, int s) {
  if (n == 1) {
    vector<int> res;
    res.push_back(s);
    return res;
  }
  vector<int> tmp1 = get(n / 2, s);
  vector<int> tmp2 = get(n - n / 2, s + n / 2);
  vector<int> res;
  int p1 = 0, p2 = 0;
  while (p1 < tmp1.size() && p2 < tmp2.size()) {
    printf("1 %d %d\n", tmp1[p1], tmp2[p2]);
    fflush(stdout);
    char cmd[10];
    scanf("%s", cmd);
    if (cmd[0] == 'Y') {
      res.push_back(tmp1[p1]);
      p1++;
    }
    else {
      res.push_back(tmp2[p2]);
      p2++;
    }
  }
  while (p1 < tmp1.size()) {
    res.push_back(tmp1[p1]);
    p1++;
  }
  while (p2 < tmp2.size()) {
    res.push_back(tmp2[p2]);
    p2++;
  }
  return res;
}

int n;

int main() {
  scanf("%d", &n);
  vector<int> a = get(n, 1);
  printf("0");
  for (int i = 0; i < a.size(); ++i) {
    printf(" %d", a[i]);
  }
  puts("");
  fflush(stdout);
  return 0;
}