// #ifdef __AVX2__ // #pragma GCC target "avx2" // #endif // #pragma GCC optimize "O3" // #pragma GCC optimize "unroll-loops" #include <bits/stdc++.h> // #include <ext/pb_ds/assoc_container.hpp> // #include <ext/pb_ds/tree_policy.hpp> // using namespace __gnu_pbds; using namespace std; #define int long long #define elif else if #define all(l) begin(l),end(l) #define rall(l) rbegin(l),rend(l) #define append push_back #define print(l) for(auto i:l) cout<<i<<' '; cout<<endl; #define pprint(a,b) cout<<a<<' '<<b<<endl; #define inp(l) for(auto &i:l) cin>>i; // #define ordered_set tree<int, null_type,less<int>, rb_tree_tag,tree_order_statistics_node_update> #define pai make_pair // #define endl "\n" #define pii pair<int,int> #define fi first #define se second #define vec vector #define ins(a,b,c) a.insert(begin(a)+b,c); // const int mod=998244353; const int mod1=998244353; const int mod=1e9+7; const int N=155; int ans[N],d[N]; int query(vec<int>a){ cout<<a.size()<<' '; for(auto i:a) cout<<i<<' '; cout<<endl; int x; cin>>x; return x; } int dis(int l,int r){ set<int>s; for(int i=l;i<=r;i++) s.insert(ans[i]); return s.size(); } int iter=1,itera=1; void solve(){ int n; cin>>n; for(int i=1;i<=n;i++){ vec<int>q; for(int j=1;j<=i;j++) q.append(j); int x=query(q); d[i]=x; if(d[i]>d[i-1]){ ans[i]=d[i]; continue; } int l=1,r=i-1; while(l<r){ int m=(l+r)/2; q.clear(); for(int j=l;j<=m;j++) q.append(j); q.append(i); x=query(q); if(x==dis(l,m)) r=m; else l=m+1; } ans[i]=ans[l]; } cout<<"0 "; for(int i=1;i<=n;i++) cout<<ans[i]<<' '; } signed main(){ // freopen("","r",stdin); // freopen("","w",stdout); ios_base::sync_with_stdio(false); cin.tie(NULL); cout.tie(NULL); cout<<fixed<<setprecision(20); // cin>>itera; for(iter=1;iter<=itera;iter++) solve(); }