#include <bits/stdc++.h>
using namespace std;

#define FOR(i, a, b) for(int i = (a); i < (b); i++)
#define RFOR(i, a, b) for(int i = (a) - 1; i >= (b); i--)
#define SZ(a) int(a.size())
#define ALL(a) a.begin(), a.end()
#define PB push_back
#define MP make_pair
#define F first
#define S second

typedef long long LL;
typedef vector<int> VI;
typedef pair<int, int> PII;
typedef double db;

int main()
{
	ios::sync_with_stdio(0);
	cin.tie(0);
	
	int w = 1 << 29;
	
	int k;
	cin >> k;
	
	if(k == 1)
	{
		cout << "2\n";
		cout << "1\n";
		cout << "4 7\n";
		return 0;
	}
	
	VI p = {-1};
	VI weigh = {0};
	
	while(k != 1)
	{
		int root = SZ(p) - 1;
		weigh[root] = w + 1 - (k % 2);
		
		int l = SZ(p);
				
		p.PB(root);
		weigh.PB(2);
		
		p.PB(l);
		weigh.PB(1);
		p.PB(l);
		weigh.PB(1);
		
		
		p.PB(root);
		weigh.PB(0);
		w -= 2;
		k /= 2;
	}
	weigh.back() = w;
	
	cout << SZ(p) << "\n";
	FOR(i, 1, SZ(p))
	{
		if(i != 1)
			cout << " ";
		cout << p[i] + 1;
	}
	cout << "\n";
	FOR(i, 0, SZ(p))
	{
		if(i)
			cout << " ";
		cout << weigh[i];
	}
	cout << "\n";
	
	
	return 0;
}