// 長い夜の終わりを信じながら
// Think twice, code once.
#include <cstdio>
#include <string>
#include <cstring>
#include <iostream>
#include <algorithm>
#define eputchar(c) putc(c, stderr)
#define eprintf(...) fprintf(stderr, __VA_ARGS__)
#define eputs(str) fputs(str, stderr), putc('\n', stderr)
using namespace std;

string s;

namespace Alice {
	void main();
}

namespace Bob {
	int n, a[20];

	void main();
}

int main() {
	cin >> s;
	if (s == "Alice") Alice::main();
	else Bob::main(); 
	return 0;
}

void Alice::main() {
	int n, x = 0;
	scanf("%d", &n);
	for (int i = 1; i <= n; i++) {
		int v;
		scanf("%d", &v);
		x |= 1 << v;
	}
	printf("%d\n", x);
	return;
}

void Bob::main() {
	int x;
	scanf("%d", &x);
	for (int i = 0; i < 20; i++)
		if (x >> i & 1) a[n++] = i;
	printf("%d\n", n);
	for (int i = 0; i < n; i++) printf("%d ", a[i]);
	puts("");
	return;
}