#pragma GCC optimize("Ofast","unroll-all-loops","fast-math")
#include <bits/stdc++.h>
using namespace std;

double H(const vector<double>& p) {
    double ret = 0;
    for(auto i : p) if(i) ret -= i * log(i);
    return ret / log(2);
}

int N=6;
typedef double ld;
// map<vector<int>,ld> G;
vector<int> iii;
const int S=2000000;
int go[S][15];
int mask[S],an=0;
double EV(const vector<int>& s,int& cur) {
    cur=++an;
    if(s.size()<=1) {
        mask[cur]=0;
        go[cur][0]=s[0];
        return 0;
    }
    // if(G.count(s)) return G[s];
    ld maxH=-100000; int I=-1;
    ld ss=1./s.size();
    // ld anss=8e18;
    if(s.size()<=2) {
        for(int u=0;u<N;++u)
            if((s[0]^s[1])&(1<<u)) I=1<<u;
    }
    else for(auto i:iii) {
        int m[15];
        memset(m,0,sizeof m);
        for(auto p:s) {
            m[__builtin_popcount(p&i)]++;//.push_back(p);
        }
        ld H=0;
        for(int j=0;j<=N;++j) if(m[j]) {
            ld i = m[j]*ss;
            H -= i * log(i);
        }
        // auto h=H(ss);
        if(maxH<H) {
            maxH=H;
            I=i;
        }
    }
    int i=I;
    // cerr<<i<<" "<<maxH<<"?\n";
    map<int,vector<int>> m;
    for(auto p:s) {
        m[__builtin_popcount(p&i)].push_back(p);
    }
    mask[cur]=i;
    ld ans=1;
    for(auto t:m)
        ans+=EV(t.second,go[cur][t.first])*t.second.size()*1./s.size();
    return ans;
    // cerr<<anss<<"vs"<<ans<<"\n";
    // return G[s]=ans;//min(ans,anss);
}
int root;
int query(vector<int> v) {
    printf("? %d",int(v.size()));
    for (int z: v) printf(" %d",z+1);
    printf("\n");
    fflush(stdout);
    int z;
    scanf("%d",&z);
    return z;
}
int ans[1233];
void work(int l) {
    int w=root;
    while(mask[w]) {
        int q=mask[w];
        vector<int> ans;
        for(int u=0;u<N;++u) if(q&(1<<u)) ans.push_back(l+u);
        int o=query(ans);
        w = go[w][o];
    }
    int q=go[w][0];
    for(int u=0;u<N;++u) if(q&(1<<u)) ans[l+u]=1;
}
int main() {
    N=13;
    vector<int> V;
    for(int i=0;i<(1<<N);++i) {
        V.push_back(i);
        int pc=__builtin_popcount(i);
        if(i&&pc<=5) iii.push_back(i);
    }
    auto S=EV(V,root);
    cerr<<S<<"++\n";
    int n;scanf("%d",&n);
    for(int i=0;i+N<n;++i)
        work(i);
    work(n-N);
    printf("= ");
    for(int i=0;i<n;++i) putchar(ans[i]+48);
    printf("\n");
    fflush(stdout);
}