#include<bits/stdc++.h>
#define Yukinoshita namespace
#define Yukino std
#define int long long
using Yukinoshita Yukino;
int read()
{
	int s=0,w=1;
	char ch=getchar();
	while(ch<'0'||ch>'9') w=ch=='-'?-1:1,ch=getchar();
	while(ch>='0'&&ch<='9') s=s*10+ch-'0',ch=getchar();
	return s*w;
}
int a[30],res[30];
int n,cnt,x;
bool check(int m)
{
	if(n!=m) return 0;
	int i;
	for(i=1;i<=n;i++)
		if(a[i]!=res[i])
			return 0;
	return 1;
}
void dfs(int d,int pre)
{
	cnt++;
	if(check(d-1))
	{
		cout<<cnt;
		exit(0);
	}
	for(pre++;pre<20;pre++)
		a[d]=pre,dfs(d+1,pre);
}
void dfs2(int d,int pre)
{
	cnt++;
	if(cnt==x)
	{
		cout<<d-1<<endl;
		for(int i=1;i<d;i++)
			cout<<a[i]<<' ';
		exit(0);
	}
	for(pre++;pre<20;pre++)
		a[d]=pre,dfs2(d+1,pre);
}
signed main()
{
	string t;
	cin>>t;
	if(t=="Alice")
	{
		n=read();
		for(int i=1;i<=n;i++)
			res[i]=read();
		dfs(1,-1);
		return 0;
	}
	cin>>x;
	dfs2(1,-1);
}