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

typedef long long ll; typedef unsigned long long ull;
const int inf = 1e9; const ll llnf = 4e18;

template< class Tp > void chkmax( Tp &x , Tp y ) { x = max( x , y ); }
template< class Tp > void chkmin( Tp &x , Tp y ) { x = min( x , y ); }

constexpr int V = 20;

void Alice( ) {
	int n; cin >> n;
	vector< int > a( n ); for( int i = 0; i < n; i ++ ) cin >> a[i];

	int x = 0; for( int i = 0; i < n; i ++ ) x |= ( 1 << a[i] );
	cout << x << "\n";
}

void Bob( ) {
	int x; cin >> x;

	vector< int > a; for( int v = 0; v < V; v ++ ) if( ( x >> v ) & 1 ) a.emplace_back( v );
	cout << ( int ) a.size( ) << "\n"; for( int i = 0; i < ( int ) a.size( ); i ++ ) cout << a[i] << " "; cout << "\n";
}

void solve( ) {
	string s; cin >> s;
	if( s == "Alice" ) Alice( );
	else Bob( );
}

int main( ) {
	ios::sync_with_stdio( 0 ), cin.tie( 0 ), cout.tie( 0 );
	int T = 1; while( T -- ) solve( ); return 0;
}