//这怎么还能卡常的
#include<cstdio>
#include<vector>
#include<algorithm>
using namespace std;
#define N 413
struct integer{
	typedef long long s64;
	typedef unsigned long long u64;
	typedef unsigned __int128 u128;
	vector<u64> v;
	integer(){}
	integer(u64 x){if(x)v={x};}
	explicit operator bool()const{return !v.empty();}
	explicit operator u64()const{return v.empty()?0:v[0];}
	bool operator ==(const integer &a)const{return v==a.v;}
	bool operator !=(const integer &a)const{return v!=a.v;}
	bool operator <(const integer &a)const
	{
		s64 l1=v.size(),l2=a.v.size();
		if(l1!=l2)return l1<l2;
		while(l1)
		{
			l1--;
			if(v[l1]!=a.v[l1])return v[l1]<a.v[l1];
		}
		return 0;
	}
	bool operator >(const integer &a)const{return a<(*this);}
	bool operator <=(const integer &a)const{return !(a<*this);}
	bool operator >=(const integer &a)const{return !(*this<a);}
	integer &operator <<=(u64 d)
	{
		u64 ci=d>>6,ri=d&63;
		for(u64 i=0;i<ci+1;i++)v.push_back(0);
		for(s64 i=v.size()-1;i>=0;i--)
		{
			u64 as=0;
			if(i>=ci)as|=v[i-ci]<<ri;
			if(i>=ci+1&&ri)as|=v[i-ci-1]>>(64-ri);
			v[i]=as;
		}
		while(v.size()&&v.back()==0)v.pop_back();
		return *this;
	}
	integer &operator >>=(u64 d)
	{
		u64 ci=d>>6,ri=d&63;
		(*this)<<=64-ri;
		for(u64 i=0;i+ci+1<v.size();i++)v[i]=v[i+ci+1];
		for(u64 i=0;i<=ci&&v.size();i++)v.pop_back();
		while(v.size()&&v.back()==0)v.pop_back();
		return *this;
	}
	integer operator <<(u64 d)const{return integer(*this)<<=d;}
	integer operator >>(u64 d)const{return integer(*this)>>=d;}
	integer &operator +=(const integer &a)
	{
		u64 s1=v.size(),s2=a.v.size(),vi=0;
		if(s1<s2)v.resize(s2);
		for(u64 i=0;i<s1||i<s2||vi;i++)
		{
			u128 rs=vi;
			if(i<s1)rs+=v[i];if(i<s2)rs+=a.v[i];
			if(i>=s1&&i>=s2)v.push_back(0);
			vi=(rs>>32)>>32;
			v[i]=rs;
		}
		return *this;
	}
	integer &operator -=(const integer &a)
	{
		u64 s1=v.size(),s2=a.v.size(),vi=0;
		for(u64 i=0;i<s1||i<s2||vi;i++)
		{
			u128 rs=vi;if(vi==-1)rs=-1;
			if(i<s1)rs+=v[i];if(i<s2)rs-=a.v[i];
			if(i>=s1&&i>=s2)v.push_back(0);
			vi=(rs>>32)>>32;
			v[i]=rs;
		}
		while(v.size()&&v.back()==0)v.pop_back();
		return *this;
	}
	integer &operator ++(int){return (*this)+=integer(1);}
	integer &operator --(int){return (*this)-=integer(1);}
	integer operator +(const integer &a){return integer(*this)+=a;}
	integer operator -(const integer &a){return integer(*this)-=a;}
	integer &operator *=(const integer &a)
	{
		vector<u128> tp;
		vector<u64> as;
		u64 s1=v.size(),s2=a.v.size();
		tp.resize(s1+s2+2);as.resize(s1+s2+1);
		for(u64 i=0;i<s1;i++)for(u64 j=0;j<s2;j++)
		{
			u128 si=(u128)v[i]*a.v[j];
			tp[i+j+1]+=(si>>32)>>32;
			tp[i+j]+=(u64)si;
		}
		for(u64 i=0;i+1<tp.size();i++)
		{
			tp[i+1]+=(tp[i]>>32)>>32;
			as[i]=tp[i];
		}
		v=as;
		while(v.size()&&v.back()==0)v.pop_back();
		return *this;
	}
	integer operator *(const integer &a){return integer(*this)*=a;}
	void rem(const integer &a,bool fi)
	{
		u64 vi=a.v.back(),le=(a.v.size()-1)<<6;
		if(le>=64)
		{
			u64 li=__builtin_clzll(vi);
			le-=li;vi=(vi<<li)|(li?a.v[a.v.size()-2]>>(64-li):0);
		}
		if(vi==-1)vi>>=1,le++;
		if(le)vi++;
		integer as;
		while((*this)>=a)
		{
			u128 v1=v.back();u64 l1=(v.size()-1)<<6;
			if(l1)l1-=64,v1=(v1<<32)<<32|v[v.size()-2];
			if(l1<le)v1>>=(le-l1),l1=le;
			u128 ri=v1/vi;
			integer rs,rt;
			u64 t1=(ri>>32)>>32,t2=ri;
			rs.v.push_back(t2);if(t1)rs.v.push_back(t1);
			rt=rs*a;
			rt<<=l1-le;rs<<=l1-le;
			as+=rs;(*this)-=rt;
			if((*this)>=a)*this-=a,as++;
		}
		if(fi)(*this).v=as.v;
	}
	integer &operator /=(const integer &a){rem(a,1);return *this;}
	integer &operator %=(const integer &a){rem(a,0);return *this;}
	integer operator /(const integer &a){return integer(*this)/=a;}
	integer operator %(const integer &a){return integer(*this)%=a;}
	void output()const
	{
		if(v.empty()){printf("0\n");return;}
		bool fg=0;
		for(s64 i=v.size()-1;i>=0;i--)
		{
			u64 si=v[i];
			for(int j=63;j>=0;j--)
			{
				bool tp=(si>>j)&1;
				fg|=tp;
				if(fg)printf("%d",tp);
			}
		}
		printf("\n");
	}
	bool odd()const{return !v.empty()&&(v[0]&1);}
};
#define ll long long
ll bs=1e18;
struct integer2{
	vector<ll> v;
	explicit operator bool()const{return !v.empty();}
	void add(ll a)
	{
		ll rs=a;
		for(int i=0;rs;i++)
		{
			if(i>=v.size())v.push_back(0);
			rs+=v[i];
			v[i]=rs%bs;
			rs/=bs;
		}
	}
	void mul(ll a)
	{
		__int128 rs=0;
		for(int i=0;i<v.size()||rs;i++)
		{
			if(i>=v.size())v.push_back(0);
			rs+=(__int128)a*v[i];
			v[i]=rs%bs;
			rs/=bs;
		}
	}
	void div(ll a)
	{
		int sz=v.size();
		ll rs=0;
		for(int i=sz-1;i>=0;i--)
		{
			__int128 ri=(__int128)bs*rs+v[i];
			v[i]=ri/a;rs=ri%a;
		}
		while(v.size()&&v.back()==0)v.pop_back();
	}
	ll mod(ll a)
	{
		int sz=v.size();
		ll rs=0;
		for(int i=sz-1;i>=0;i--)
		{
			__int128 ri=(__int128)bs*rs+v[i];
			rs=ri%a;
		}
		return rs;
	}
};
void output(integer a)
{
	integer2 s;
	if(a.v.size())
	for(int i=a.v.size()-1;i>=0;i--)
	{
		s.mul(1ll<<32);s.add(a.v[i]>>32);
		s.mul(1ll<<32);s.add(a.v[i]&((1ll<<32)-1));
	}
	if(!s){printf("0\n");return;}
	printf("%lld",s.v.back());
	for(int i=(int)s.v.size()-2;i>=0;i--)printf("%018lld",s.v[i]);
	printf("\n");
}
struct sth{
	integer v[3][2];
};
bool operator ==(sth a,sth b)
{
	for(int i=0;i<3;i++)for(int j=0;j<2;j++)if(a.v[i][j]!=b.v[i][j])return 0;
	return 1;
}
bool operator <(sth a,sth b)
{
	int fg=0;
	for(int i=0;i<3;i++)for(int j=0;j<2;j++)
	{
		if(a.v[i][j]>b.v[i][j])return 0;
		if(a.v[i][j]<b.v[i][j])fg=1;
	}
	return fg;
}
struct sta{
	sth rv,lv;
	int lx;
};
vector<sta> dp[N][2];
vector<sta> reduce(vector<sta> a)
{
	vector<sta> as;
	for(int i=0;i<a.size();i++)
	{
		int fg=1;
		for(int j=0;j<as.size();j++)if(a[i].rv<as[j].rv||a[i].rv==as[j].rv)fg=0;
		for(int j=i+1;j<a.size();j++)if(a[i].rv<a[j].rv)fg=0;
		if(fg)as.push_back(a[i]);
	}
	return as;
}
int n,st[N];
int main()
{
	scanf("%d",&n);
	sth fr;for(int i=0;i<3;i++)for(int j=0;j<2;j++)fr.v[i][j]=1;
	sta f1=(sta){fr,fr,0};dp[1][0].push_back(f1);dp[1][1].push_back(f1);
	for(int i=1;i<=n;i++)for(int j=0;j<2;j++)
	{
		dp[i][j]=reduce(dp[i][j]);
		for(int p=0;p<dp[i][j].size();p++)
		{
			sta ri=dp[i][j][p];
			for(int r=0;r<2;r++)
			{
				sta nt;nt.lv=ri.rv;nt.lx=j;
				for(int sx=0;sx<3;sx++)for(int sy=0;sy<2;sy++)
				for(int tx=0;tx<3;tx++)for(int ty=0;ty<2;ty++)
				{
					if(j&&sx<tx)continue;
					if(!j&&sx>tx)continue;
					if(j!=r&&tx!=sy+ty)continue;
					if(sx==0&&sy)continue;
					if(tx==0&&sy+ty)continue;
					if(sx==2&&1-sy)continue;
					if(tx==2&&2-sy-(i+1==n?1:ty))continue;
					if((sx^tx)==2)continue;
					nt.rv.v[tx][ty]+=nt.lv.v[sx][sy];
				}
				dp[i+1][r].push_back(nt);
			}
		}
	}
	integer as=0;
	sta rx;
	for(int t=0;t<2;t++)for(int i=0;i<dp[n][t].size();i++)
	{
		sta r1=dp[n][t][i];
		integer si=r1.rv.v[0][0]+r1.rv.v[1][0]+r1.rv.v[2][0];
		if(si>as)as=si,rx=r1;
	}
	output(as);
	int lb=1,rb=n+1;
	for(int i=n-1;i>=1;i--)
	{
		int ri=rx.lx;
		if(ri)st[n-i]=rb--;else st[n-i]=lb++;
		for(int j=0;j<dp[i][ri].size();j++)if(dp[i][ri][j].rv==rx.lv){rx=dp[i][ri][j];break;}
	}
	st[n]=lb;st[n+1]=rb;
	printf("%d\n",n+1);
	for(int i=1;i<=n;i++)printf("%d %d\n",st[i],st[i+1]);
}