#include<bits/stdc++.h>
using namespace std;

#define ff first
#define ss second
#define ll long long
#define pb push_back

typedef pair<int,int>    pii;

const int N = 3e5 + 5;
const int mod = 1e9 + 7;


int main(){
  #ifdef LOCAL
  freopen("in.txt", "r", stdin);
  #endif // LOCAL

  cin.tie(0);
  cout.tie(0);
  ios::sync_with_stdio(NULL);

  int k; cin >> k;

  int n = 1024;
  vector < pii > edges;
  vector < int > cols;
  int c = 2;

  for ( int i = 0; i < n; ++i ) {
    cols.pb ( i % 2 + 1 );
    for ( int j = 0; j + (i % 2) < i; ++j ) {
      if ( i % 2 != j % 2 ) edges.pb ({i + 1, j + 1});
    }
  }

  cout << n << " " << edges.size() << " " << c << '\n';
  for (int i = 0; i < n; ++i) cout << cols[i] << " ";
  cout << '\n';
  for (auto &e : edges) {
    cout << e.ff << " " << e.ss << '\n';
  }


}