#include <bits/stdc++.h>
using namespace std;
const int maxn = 100010, mod = 998244353;
inline int read() {
  int x = 0, f = 0;
  char ch = getchar();
  while (ch < '0' || ch > '9') f |= ch == '-', ch = getchar();
  while (ch >= '0' && ch <= '9') x = x * 10 + ch - '0', ch = getchar();
  return f ? -x : x;
}
long long t;
int bit[maxn], bl, ans[maxn][4], al;
inline void add(int x1, int y1, int x2, int y2) {
  ans[++al][0] = x1;
  ans[al][1] = y1;
  ans[al][2] = x2;
  ans[al][3] = y2;
}
int main() {
  scanf("%lld", &t);
  while (t) bit[bl++] = t % 3, t /= 3;
  for (int i = (1); i <= (36); i++) {
    add(i, i + 4, i, i + 5);
    add(i + 4, i, i + 5, i);
  }
  for (int i = (1); i <= (37); i++) {
    add(i, i + 3, i + 1, i + 3);
    add(i + 3, i, i + 3, i + 1);
  }
  add(39, 40, 39, 41);
  add(40, 40, 40, 41);
  add(40, 40, 41, 40);
  add(40, 39, 41, 39);
  for (int i = (0); i <= (37); i++)
    if (bit[i] == 0) {
      add(i + 1, i + 3, i + 1, i + 4);
      add(i + 3, i + 1, i + 4, i + 1);
    } else if (bit[i] == 1) {
      add(i + 1, i + 3, i + 1, i + 4);
    }
  printf("41 41\n%d\n", al);
  for (int i = (1); i <= (al); i++)
    printf("%d %d %d %d\n", ans[i][0], ans[i][1], ans[i][2], ans[i][3]);
}
