#include<bits/stdc++.h>
#include "testlib.h"
using namespace std;
int main(int argc, char* argv[])
{
    freopen("Inputfile3.txt","w",stdout);
    printf("500 500 5000\n");
    for(int i=0;i<500;i++){
    for(int j=0;j<500;j++)
      {

         printf("0 ");
      }
      printf("\n");
    }
    for(int i=0;i<5000;i++)
       {
           int a=rnd.next(2,499);
            int b=rnd.next(2,499);
          printf("%d %d\n",a,b);
       }
    return 0;
}