#include <bits/stdc++.h>

using i64 = long long;

int main() {
	std::ios::sync_with_stdio(false);
	std::cin.tie(nullptr);

	std::string s;
	std::cin >> s;

	if (s == "Alice") {
		int n;
		std::cin >> n;

		std::vector<int> a(n);
		int ans = 0;
		for (int i = 0; i < n; i++) {
			std::cin >> a[i];
			ans += 1 << a[i];
		}

		std::cout << ans << "\n";
	} else {
		std::vector<int> ans;
		int x;
		std::cin >> x;
		int cnt = 0;
		while (x) {
			if (x & 1) ans.push_back(cnt);

			cnt ++;
			x /= 2;
		}

		std::sort(ans.begin(), ans.end());

		std::cout << ans.size() << '\n';

		for (auto it : ans) {
			std::cout << it << ' ';
		}
		std::cout << '\n';
	}

	return 0;
}