#include <iostream>

using namespace std;

int main()
{
	cin.tie(nullptr);
	ios::sync_with_stdio(false);

	int N, sum = 0, i, M, R, C;
	cin >> N;

	for (M = 2, R = 1; M / 2 <= N; M *= 2)
	{
		cout << M << ' ' << M / 2 << '\n' << R;
		for (++R; R != M; ++R)
			cout << ' ' << R;
		cout << '\n' << flush;

		cin >> C;
		sum += M / 2 * C;
	}

	cout << "0 1\n" << sum << '\n' << flush;
	return 0;
}