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

int main(){
  int id,n,m;
  cin>>id>>n>>m;
  vector<int> c(n);
  for (int i=0;i<n;i++) cin>>c[i];
  sort(c.begin(),c.end());
  auto ASK=[&](int x){cout<<"ASK "<<x<<endl;};
  if (n<=m){
    vector<int> have(m);
    vector<int> cnt(m,-1);
    int t=0;
    int now=0;
    int havecnt=0;
    while (true){
      string s;
      cin>>s;
      if (s=="END"){
        int q;
        cin>>q;
        return 0;
      }
      else if (s=="WAIT"){}
      else if (s=="TURN"){
        if (t==0){
          ASK(c[now++]);
          if (now==n) t=1;
        }
        else if (t==1){
          bool f=true;
          for (int i=0;i<m;i++) if (cnt[i]==-1){
            ASK(i+1);
            f=false;
            break;
          }
          if (f){
            vector<int> ans;
            for (int i=0;i<m;i++){
              int l=cnt[i]-have[i];
              while (l--) ans.push_back(i+1);
            }
            assert((int)ans.size()==n);
            cout<<"GUESS";
            for (int i=0;i<n;i++) cout<<" "<<ans[i];
            cout<<endl;
          }
        }
      }
      else assert(0);
      cin>>s;
      if (s=="END"){
        int q;
        cin>>q;
        return 0;
      }
      else if (s=="GUESSED"){
        int id,ok;
        cin>>id>>ok;
        assert(ok);
      }
      else if (s=="COUNT"){
        int x,k;
        cin>>x>>k;
        x--;
        if (havecnt<2*n){
          have[x]++;
          havecnt++;
        }
        cnt[x]=k;
      }
      else assert(0);
    }
  }
  else{
    vector<int> own(m);
    for (int i=0;i<n;i++) own[c[i]-1]++;
    vector<int> have(m);
    vector<int> cnt(m,-1);
    int t=0;
    int now=0;
    int havecnt=0;
    while (true){
      string s;
      cin>>s;
      if (s=="END"){
        int q;
        cin>>q;
        return 0;
      }
      else if (s=="WAIT"){}
      else if (s=="TURN"){
        if (t==0){
          ASK(own[now++]);
          if (now==m) t=1;
        }
        else if (t==1){
          bool f=true;
          for (int i=0;i<m;i++) if (cnt[i]==-1){
            ASK(i+1);
            f=false;
            break;
          }
          if (f){
            vector<int> ans;
            for (int i=0;i<m;i++){
              int l=cnt[i]-have[i];
              while (l--) ans.push_back(i+1);
            }
            assert((int)ans.size()==n);
            cout<<"GUESS";
            for (int i=0;i<n;i++) cout<<" "<<ans[i];
            cout<<endl;
          }
        }
      }
      else assert(0);
      cin>>s;
      if (s=="END"){
        int q;
        cin>>q;
        return 0;
      }
      else if (s=="GUESSED"){
        int id,ok;
        cin>>id>>ok;
        assert(ok);
      }
      else if (s=="COUNT"){
        int x,k;
        cin>>x>>k;
        if (havecnt<m*2){
          have[havecnt/2]+=x;
          havecnt++;
        }
        x--;
        cnt[x]=k;
      }
      else assert(0);
    }
  }
}