#include <bits/stdc++.h>
using namespace std;
using ll=long long;
int main(){
	cin.tie(nullptr);
	ios::sync_with_stdio(false);
	int id,n,m;
	cin>>id>>n>>m;
	vector<int> cnt(m+1);
	for(int i=0;i<n;i++){
		int t;
		cin>>t;
		cnt[t]++;
	}
	vector<int> cnt2(m+1);
	vector<int> res(m+1,-1);
	for(int i=m-1;i>=1;i--){
		if(id==1){
			string s;
			cin>>s;
			cout<<"ASK "<<cnt[i]+1<<endl;
			cin>>s;
			cout<<s<<endl;
			int x,k;
			cin>>x>>k;
			res[x]=k;
			cin>>s;
			cin>>s;
			cin>>x>>k;
			res[x]=k;
			cnt2[i]=x;
		}else{
			string s;
			cin>>s;
			cin>>s;
			int x,k;
			cin>>x>>k;
			res[x]=k;
			cnt2[i]=x;
			cin>>s;
			cout<<"ASK "<<cnt[i]+1<<endl;
			cin>>s;
			cin>>x>>k;
			res[x]=k;
		}
	}
	int ptr=m;
	auto answer=[&]()->void{
		vector<int> vec;
		for(int i=1;i<=m;i++){
			for(int j=0;j<res[i]-cnt[i]-cnt2[i];j++)vec.push_back(i);
		}
		assert(vec.size()==n);
		cout<<"GUESS";
		for(int i=0;i<n;i++)cout<<" "<<vec[i];
		cout<<endl;

	};
	while(ptr>0){
		if(id==1){
			string s;
			cin>>s;
			while(ptr>0&&res[ptr]!=-1)ptr--;
			if(ptr>0){
				cout<<"ASK "<<ptr<<endl;
				cin>>s;
				int x,k;
				cin>>x>>k;
				res[x]=k;
			}else{
				answer();
				return 0;
			}
			cin>>s;
			cin>>s;
			if(s=="COUNT"){
				int x,k;
				cin>>x>>k;
				res[x]=k;
			}
		}else{
			string s;
			cin>>s;
			cin>>s;
			if(s=="COUNT"){
				int x,k;
				cin>>x>>k;
				res[x]=k;
			}
			cin>>s;
			while(ptr>0&&res[ptr]!=-1)ptr--;
			if(ptr>0){
				cout<<"ASK "<<ptr<<endl;
				cin>>s;
				int x,k;
				cin>>x>>k;
				res[x]=k;
			}else{
				answer();
				return 0;
			}
		}
	}
}