#include<bits/stdc++.h>
using namespace std;
#define int long long
#define endl '\n'
#define pii pair<int, int>
void solve();
signed main()
{
ios::sync_with_stdio(false);
cin.tie(nullptr);
cout.tie(nullptr);
int T = 1;
// cin >> T;
while (T--)solve();
return 0;
}
void solve(){
int _;
cin>>_;
const int n=1021;
vector<int>a,b,c;
int cnt=0;
vector<int>ans(n+10);
a.push_back(1);
b.push_back(2);
c.push_back(3);
vector<pii>m;
auto pb=[&](int x,int y)->void{
m.push_back({x,y});
};
pb(1,2);
ans[1]=1,ans[2]=2,ans[3]=3;
cnt=3;
while(cnt<n){
cnt++;
ans[cnt]=3;
for(int it:a){
pb(it,cnt);
}
pb(2,cnt);
cnt++;
ans[cnt]=1;
for(int it:c){
pb(it,cnt);
}
pb(2,cnt);
c.push_back(cnt-1);
a.push_back(cnt);
}
cout<<n<<" "<<m.size()<<' '<<3<<endl;
for(int i=1;i<=n;i++)cout<<ans[i]<<' ';
cout<<endl;
for(auto [i,j]:m){
cout<<i<<' '<<j<<endl;a
}
}