#include<bits/stdc++.h>
using namespace std;
#define N 205
typedef long long ll;
ll n;
int match[N];
bool G[N][N];
bool vis[N];
bool dfs(int u,int n){
	for(int v=1;v<=n;++v){
		if(vis[v]||!G[u][v])continue;
		vis[v]=1;
		if(!match[v]||dfs(match[v],n)){
			match[v]=u;
			return true;
		}
	}
	return false;
}
bool check(int n){
	memset(match,0,sizeof(match));
	for(int i=1;i<=n;++i){
		memset(vis,0,sizeof(vis));
		if(!dfs(i,n))return false;
	}
	return true;
}
int main(){
	ios::sync_with_stdio(false);
	cin.tie(0);
	cin>>n;
	vector<int> ans;
	for(int i=0;i<=min(200LL,n);++i){
		memset(G,false,sizeof(G));
		for(int u=1;u<=i;++u){
			for(int v=1;v<=i;++v){
				if((n-u+1)%v==0){
					G[u][v]=1;
				}
			}
		}
		ans.push_back(check(i));
	}
	if(n<=401){
		for(int i=(int)ans.size();i<=n;++i){
			ans.push_back(ans[n-i]);
		}
		cout<<2<<'\n';
		cout<<ans.size()<<' ';
		for(auto x:ans)cout<<x<<' ';
		cout<<'\n';
	}
	else{
		cout<<64<<'\n';
		for(int i=1;i<=60;++i){
			cout<<2<<' '<<(i==1?0:i)<<' '<<(i==1?0:i)<<'\n';
		}
		cout<<ans.size()<<' ';
		for(auto x:ans)cout<<x<<' ';
		cout<<'\n';
		reverse(ans.begin(),ans.end());
		cout<<ans.size()<<' ';
		for(auto x:ans)cout<<x<<' ';
		cout<<'\n';
		vector<int> jb({62});
		ll rem=n+1-2*ans.size();
		for(int i=0;i<=60;++i){
			if(rem>>i&1){
				jb.push_back(!i?0:i+1);
			}
		}
		jb.push_back(63);
		cout<<jb.size()<<' ';
		for(auto x:jb)cout<<x<<' ';
		cout<<'\n';
	}
	return 0;
}