# include <bits/stdc++.h>

using namespace std ;

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