HACK

#include <bits/stdc++.h>
using namespace std;
int main(int argc, char** argv) 
{
    freopen("a.in","w",stdout);
    int n = 200000;
    int m = 200000;
    int s = 1;
    printf("%d %d %d\n",n,m,s);
    for(int i = 1;i <= 200000;i++)printf("%d %d\n",1,1000000);
    for(int j = 1;j <= 200000 - 1;j++)printf("%d %d\n",1,n);
    printf("%d %d",1,n); 
    return 0;
}