// #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();
}
