#include <bits/stdc++.h>
using namespace std;
int main () {
	int N;
	cin >> N;
	int M = N + 1;
	int ans = 0;
	for (int i = 0; (1 << i) < M; i++) {
		std::vector<int> X;
		for (int j = 0; j < M; j ++) {
			if ((j >> i) & 1) {
				X.push_back(j);
			}
		}
		cout << M << " " << X.size() << endl;
		for (auto& a : X) {
			cout << a << (a == X.back() ? "" : " ");
		}
		cout<< endl;
		int x;
		cin >> x;
		ans += (1 << i) * x;
	}
	cout << "0 1\n" << ans << endl;
}