#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;
}

I2luY2x1ZGUgPGlvc3RyZWFtPgojaW5jbHVkZSA8dmVjdG9yPgp1c2luZyBuYW1lc3BhY2Ugc3RkOwoKaW50IG1haW4oKSAKewoJY29uc3QgaW50IHN1bSA9ICgxIDw8IDIwKSArIDE7Cgljb25zdCBpbnQgbiA9IDQwOwoJY29uc3QgaW50IHBvd2Vyc19jbnQgPSAxNjsKCWNvbnN0IGludCBvbmVfcG93ZXIgPSBzdW0gLyBwb3dlcnNfY250OwoKCXZlY3RvcjxpbnQ+IGEocG93ZXJzX2NudCwgb25lX3Bvd2VyKTsKCWZvciAoaW50IGkgPSAxOyBpIDw9IG4gLSBwb3dlcnNfY250OyBpKyspCgkJYS5wdXNoX2JhY2sob25lX3Bvd2VyICogMiAtIGkpOwoKCWNvdXQgPDwgbiA8PCAnICcgPDwgc3VtIDw8IGVuZGw7Cglmb3IgKGludCBpID0gMDsgaSA8IGludChhLnNpemUoKSk7IGkrKykKCQljb3V0IDw8IGFbaV0gPDwgIiBcbiJbaSArIDEgPT0gaW50KGEuc2l6ZSgpKV07CgkJCglyZXR1cm4gMDsKfQ==