//μ's forever
#include <bits/stdc++.h>
//#define getchar nc
using namespace std;
inline char nc(){
    static char buf[100000],*p1=buf,*p2=buf;
    return p1==p2&&(p2=(p1=buf)+fread(buf,1,100000,stdin),p1==p2)?EOF:*p1++;
}
inline int read()
{
    register int x=0,f=1;register char ch=getchar();
    while(ch<'0'||ch>'9'){if(ch=='-')f=-1;ch=getchar();}
    while(ch>='0'&&ch<='9')x=(x<<3)+(x<<1)+ch-'0',ch=getchar();
    return x*f;
}
inline void write(register int x)
{
    if(!x)putchar('0');if(x<0)x=-x,putchar('-');
    static int sta[20];register int tot=0;
    while(x)sta[tot++]=x%10,x/=10;
    while(tot)putchar(sta[--tot]+48);
}
int n;
int tot,v[10005],cnt0,cnt1,v0,v1;
int main()
{

    srand(time(0));
    n=read();
    printf("? %d ",n);
    for(int i=1;i<=n;++i) printf("%d ",i);
    puts("");
    fflush(stdout);
    tot=read();
    for(int i=1;i<=29;++i){
        cnt0=cnt1=0;
        for(int j=1;j<=n;++j){
            v[j]=rand()%2;
            if(v[j]==0) ++cnt0;
            else ++cnt1;
        }
        printf("? %d ",cnt0);
        for(int i=1;i<=n;++i) if(v[i]==0) printf("%d ",i);
        fflush(stdout);
        v0=read();
        printf("? %d ",cnt1);
        for(int i=1;i<=n;++i) if(v[i]==1) printf("%d ",i);
        fflush(stdout);
        v1=read();
        if((tot-v0-v1)&1){
            puts("! NO");
            fflush(stdout);
            return 0;
        }
    }
    puts("! YES");
    fflush(stdout);
    return 0;
}