#include <iostream>
#include <vector>
using namespace std;

int main() 
{
	const int sum = (1 << 20) + 1;
	const int n = 40;
	const int powers_cnt = 16;
	const int one_power = sum / powers_cnt;

	vector<int> a(powers_cnt, one_power);
	for (int i = 1; i <= n - powers_cnt; i++)
		a.push_back(one_power * 2 - i);

	cout << n << ' ' << sum << endl;
	for (int i = 0; i < int(a.size()); i++)
		cout << a[i] << " \n"[i + 1 == int(a.size())];
		
	return 0;
}