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

char infile[100], outfile[100];

int A[1000];
int main(){
    int n, m, i, a=0, b, s;
    for(int I=81;I<=100;){
    	sprintf(infile, ".%d.in", I);
		freopen(infile, "w", stdout);
		//scanf("%d %d",&n, &m);
		n = 1000;
		m = 1000;
		printf("%d %d\n",n, m);
		for(i=0;i<1001;i++) A[i] = 0;
		a = 0; 
	    for(i=0;i<m;i++){
	        //scanf("%d",&b);
	        b = rand()%m+1;
	        A[b]++;
	        if(A[b]>a){
	            a = A[b];
	        }
	        printf("%d ",b);
	    }
	    sprintf(outfile, ".%d.out", I);
        freopen(outfile, "w", stdout);
        
        s = 0;
	    for(i=1;i<=m;i++){
	        if(A[i]==a){
	        	printf("%d ",i);
	        	s++;
			} 
	    }
	    if(s>3) I++;
	}
}