# include <bits/stdc++.h>

using namespace std ;

vector < pair< int , int > > eg ;
const int N= 1024 ;
int main()
{
	for ( int i = 1 ; i <= N ; i++)
		for ( int j = i +2 ; j <= N ; j+= 2 ) 
			eg.push_back( { i , j } ) ;
	printf("%d %d %d\n" , N, eg.size() , 2 ) ;
	for ( int i = 1 ; i <= N ; i++ )
		printf("%d " , i & 1 ) ;
	puts("") ;
	for ( auto t :eg ) printf("%d %d\n" , t.first , t.second) ;
	return 0 ;
}