BEGIN {
	set[ 0 ] = 1;
	set[ 1 ] = 2;
	for ( i = 1 ; i < 12 ; i++ ) {
		for ( k = 0 ; k <= i ; k++ ) {
			printf( "%s %d", 0 == k ? "[" : ",", set[ k ] );
		}
		printf( " ] " );
		product = set[ 0 ];
		for ( j = 1 ; j < i ; j++ ) {
			product *= set[ j ];
		}
		sum = product + set[ i ];
		printf( ": %d + %d = %d\n", product, set[ i ], sum );
		set[ i+ 1 ] = sum;
	}
	
}