#include<bits/stdc++.h>
using namespace std;
   
const int N=512;
int x[1000000],y[1000000],cnt;
int main(){
  ios::sync_with_stdio(0);
//  int n;cin>>n;
  for(int i=2;i<=N;++i){
    for(int j=N+1;j<N+i;++j){
      x[++cnt]=i;
      y[cnt]=j;
    }
  }
  for(int i=N+2;i<=N+N;++i){
    for(int j=1;j<i-N;++j){
      x[++cnt]=i;
      y[cnt]=j;
    }
  }
  cout<<1024<<' '<<cnt<<' '<<2<<'\n';
  for(int i=1;i<=N;++i)cout<<1<<' ';
  for(int i=1;i<=N;++i)cout<<2<<' ';cout<<'\n';
  for(int i=1;i<=cnt;++i)cout<<x[i]<<' '<<y[i]<<'\n';
  return 0;
}