#include "bits/stdc++.h"

using namespace std;

using ll = long long;
using ld = long double;

#define all(x) (x).begin(), (x).end()

int main() {
#ifndef ONLINE_JUDGE
  freopen("c.in", "r", stdin);
#endif
  ios_base::sync_with_stdio(false);

  int n = 1024;
  int m = (n / 2) * (n / 2) - (n / 2), c = 2;
  cout << n << " " << m << " " << c << "\n";
  for (int i = 0; i < n; ++i)
    cout << ((i % 2) + 1) << " ";
  cout << "\n";
  for (int u = 0; u < n; u += 2)
    for (int v = 1; v < n; v += 2)
      if (u + 1 != v)
        cout << u + 1 << " " << v + 1 << "\n";

  return 0;
}