#include <bits/stdc++.h>
using namespace std;
#define int long long
signed main(){
    int N;
    cin>>N;
    queue<vector<int>> q;
    string S;
    auto f = [&](vector<int> &s) -> void {
        cout<<"? "<<s.size();
        for(int x:s) cout<<' '<<x;
        cout<<endl;
        cin>>S;
        return;
    };
    for(int i=1;i<=N;i++){
        int n = 0;
        vector<int> t;
        while(true){
            vector<int> s(n+1,i);
            f(s);
            if(S == "No") break;
            else{
                n++;
                t = s;
            }
        }
        q.push(t);
    }
    while(q.size() > 1){
        auto a = q.front();
        q.pop();
        auto b = q.front();
        q.pop();
        vector<int> c = {};
        int ai = 0, bi = 0;
        while(ai != a.size() || bi != b.size()){
            if(ai == a.size()){
                c.emplace_back(b[bi]);
                bi++;
                continue;
            }
            if(bi == b.size()){
                c.emplace_back(a[ai]);
                ai++;
                continue;
            }
            vector<int> s = c;
            s.emplace_back(b[bi]);
            for(int i=ai;i<a.size();i++) s.emplace_back(a[i]);
            f(s);
            if(S == "Yes"){
                c.emplace_back(b[bi]);
                bi++;
                continue;
            }
            else{
                c.emplace_back(a[ai]);
                ai++;
                continue;
            }
        }
        q.push(c);
    }
    cout<<'!';
    auto a = q.front();
    for(int x:a) cout<<' '<<x;
    cout<<endl;
}