#include <iostream>
#include <vector>
using namespace std;
int N, res;
int main() {
	ios::sync_with_stdio(false);
	cin >> N;
	for (int k = 1; k <= 10; ++k) {
		vector<int> v;
		for (int i = 1 << (k - 1); i < 1 << k; ++i) v.push_back(i);
		cout << (1 << k) << " " << v.size() << endl;
		for (auto ele : v) cout << ele << " ";
		cout << endl;
		int tmp;
		cin >> tmp;
		res += tmp << (k - 1);
	}
	cout << "0 1\n" << res << endl;
}