#include <bits/stdc++.h>

using namespace std;
typedef long long ll;

const int N = 2e5 + 3, MOD = 998244353;//1e9 + 7;


int main() {

    cin.tie(0);cin.sync_with_stdio(0);
    cout.tie(0);cout.sync_with_stdio(0);

    int n;
    cin >> n;

    if(n <= 20)
    {
        vector<int> ans ;

        for (int i = 1; i <= n; ++i) {
            cout << "? " << 1 << " " << i << endl ;

            int k ;
            cin >> k;
            ans.push_back(k) ;
            for (int j = 0; j < k; ++j) {
                int x;
                cin >> x;
                ans.push_back(x) ;
            }
        }

        cout << "! " ;
        for(int ch : ans ) cout << ch << " " ;

        return 0 ;
    }

    vector<int> ids ;

    vector<bool> taken(n+1) ;

    while ( (int)ids.size() < 17)
    {
        int id = rand()%n + 1;
        //while (taken[id]) id = rand()%n + 1;

        taken[id] =1 ;

        ids.push_back(id) ;
    }

    cout << "? " << 17 << " " ;

    for(int id : ids) cout << id << " " ;
    cout << endl ;

    int sz ;
    cin >> sz ;
    vector<int> v(sz) ;

    for (int i = 0; i < sz; ++i) {
        cin >> v[i] ;
    }

    int final = 1;

    vector<int> ans[n+1];

    while (final <= n)
    {
        vector<int> ask ;
        ask.push_back(final++) ;

        while ( final <= n  && (int)ask.size() + 18 <= n  )
        {
            for(int id : ids) ask.push_back(id) ;
            ask.push_back(final++ );
        }

        cout << "? " << (int)ask.size() << " " ;
        for(int ch : ask) cout << ch << " " ;
        cout << endl ;

        int sz2 ;
        cin >> sz2 ;
        vector<int> vv(sz2) ;
        for (int i = 0; i < sz2; ++i) {
            cin >> vv[i] ;
        }

        vector<int> del ;

        for(int i =1 ; i < sz2 - 1 ; i ++)
        {
            int j = 0 ;

            while (j < sz && v[j] == vv[i+j])j++ ;

            if(j == sz)
            {
                del.push_back(i) ;

                i += sz ;
            }
        }

        del.push_back(sz2) ;

        int j =0 , k =0 ;

        for(int i = 0 ; i < (int)ask.size() ; i += 18)
        {
            while (j != del[k] )
            {
                ans[ask[i]].push_back(vv[j]) ;

                j++ ;
            }

            j += sz ;

            k++ ;
        }
    }

    cout << "! " ;

    for(int i= 1; i <= n; i++)
    {
        cout << (int)ans[i].size() << " " ;
        for(int ch : ans[i]) cout << ch << " " ;
    }


    return 0;
}