using System; using System.Collections.Generic; using System.Collections; using System.Collections.Specialized; using System.Linq; using System.Text; using System.Text.RegularExpressions; using System.IO; using System.Reflection; using static System.Math; using System.Numerics; using System.Threading; using System.Runtime.CompilerServices; using System.Diagnostics; static class Program { const long inf = long.MaxValue>>1; const int mod = (int)1e9+7; static Sc sc = new Sc(); static void Main() { Pt pt = new Pt(Solve); pt.Sm(); } static void Solve(Pt pt) { var h = sc.L; var ft = new Frontier(h+1,4,true); ft.Ce1(); ft.Cc2(); pt.Wl(ft.Mp()); } } public class Frontier { const long inf = long.MaxValue>>1; const int mod = (int)1e9+7; public int w, gn, gm; public long h; public List
li; private bool isve; public long[][] ba; public Frontier(long h,int w,bool isve = false) { this.h=h; Dt.w=this.w=w; this.isve=isve; if(isve) gm=w; else gm=(w+1)>>1; Dt.gn=gn=(int)Ceiling(Log(gm,2)); } public long Dp() { var dp = Enumerable.Repeat(0L,li.Count).ToArray(); dp[0]=1; var lar = li.Select((v,i) => new { v,i }).First(x => x.v.n==(1<<(w-1))).i; for(int i = 0;i new { v,i }).First(x => x.v.n==(1<<(w-1))).i; var mp = Mp2(dp,ba,h); return mp[lar]; } long[] Mp2(long[] r,long[][] x,long e) { while(e>0) { if((e&1)>0) { r=Mm(x,r); } x=Mm(x,x); e>>=1; } return r; } long[] Mm(long[][] a,long[] b) { var q = new long[b.Length]; for(int j = 0;j>l)&1)==1) { int pg = li[j].Geg(l)+li[k].c; uf.Union(pg,o); gb|=1<<(pg-li[k].c); if(pg-li[k].c==0) { b0=true; } } } if(li[j].g>0&&!b0) { goto lb; } for(int i = 0;i0&&g1==0&&!uf.Same(i,li[k].c)) { goto lb; } } ba[j][k]=1; lb:; } } } public void Cc2() { ba=new long[li.Count][]; var ia = new int[gm]; var mm = 1<<(w-1); for(int j = 0;j>l)&1)==1) { e++; uf.Union(l+li[k].c+li[j].g,l+li[k].c+li[j].g+1); } if(l!=0&&((im>>(l-1))&1)==1) { e++; uf.Union(l+li[k].c+li[j].g,l+li[k].c+li[j].g-1); } if(e!=0&&e!=2) { goto lb; } } var eds = 0; for(int i = 0;i1||(eds!=0&&li[k].n!=0)) { goto lb; } for(int i = 0;i(); for(int i = 0;i>a)&1)==0) Fu(a+1,p,g,c); else if(!isve&&a!=0&&((i>>(a-1))&1)==1) { Fu(a+1,p+((p<(); for(int i = 0;i>k)&1)==0) { continue; } if(Geb(bp,k)==j) { bp=Seb(bp,k,0); } else if(Geb(bp,k)==0) { bp=Seb(bp,k,j); } } li.Add(new Dt(i,bp,g,c)); } } else if(((i>>a)&1)==0) Fu(a+1,p,g,c); else if(!isve&&a!=0&&((i>>(a-1))&1)==1) { Fu(a+1,p+((p<(); for(int i = 0;i>a)&1)==0) Fu(a+1,p,c); else if(!isve&&a!=0&&((i>>(a-1))&1)==1) { Fu(a+1,p+((p<>(k*gn))&((1<>1)&0x55555555; bits=(bits&0x33333333)+((bits>>2)&0x33333333); return ((bits+(bits>>4)&0xF0F0F0F)*0x1010101)>>24; } static int Pc(long bits) { bits-=(bits>>1)&0x5555555555555555; bits=(bits&0x3333333333333333)+(bits>>2&0x3333333333333333); return (int)(((bits+(bits>>4))&0xf0f0f0f0f0f0f0f)*0x101010101010101>>56); } public class Dt { public static int w, gn; public int n, g, c; public long b; public Dt(int n,long b,int g,int c) { this.n=n; this.b=b; this.g=g; this.c=c; } [MethodImpl(MethodImplOptions.AggressiveInlining)] public int Geg(int k) { return (int)((b>>(k*gn))&((1<=0&&((n>>k)&1)==1; } public override string ToString() { var ca = new char[w]; for(int i = 0;is.Length ? new string('0',b-s.Length) : "")+s; } } } public class Uf { private int[] arr, hi; public int all; public Uf(int n) { arr=new int[n]; hi=new int[n]; all=n; for(int i = 0;i f) { f(this); } public void W(int s) { sb.Append(s); } public void W(long s) { sb.Append(s); } public void W(double s) { sb.Append(s); } public void W(decimal s) { sb.Append(s); } public void W(char s) { sb.Append(s); } public void W(string s) { sb.Append(s); } public void W(object s) { sb.Append(s); } public void W(params object[] s) { sb.Append(string.Join(" ",s)); } public void Wl(int s) { sb.Append(s).AppendLine(); } public void Wl(long s) { sb.Append(s).AppendLine(); } public void Wl(double s) { sb.Append(s).AppendLine(); } public void Wl(decimal s) { sb.Append(s).AppendLine(); } public void Wl(char s) { sb.Append(s).AppendLine(); } public void Wl(string s) { sb.AppendLine(s); } public void Wl(object s) { sb.Append(s).AppendLine(); } public void Wl(IEnumerable s) { sb.AppendLine(string.Join(" ",s)); } public void Wl(IEnumerable s) { sb.AppendLine(string.Join(" ",s)); } public void Wl(IEnumerable s) { sb.AppendLine(string.Join(" ",s)); } public void Wl(IEnumerable s) { sb.AppendLine(string.Join(" ",s)); } public void Wl(params object[] s) { sb.AppendLine(string.Join(" ",s)); } public void Wl() { sb.AppendLine(); } public void Sm() { Console.Write(sb); } public void Op(StreamWriter sw) { sw.Write(sb); sw.Close(); } public static bool operator ==(Pt a,Pt b) { return a.sb.ToString()==b.sb.ToString(); } public static bool operator !=(Pt a,Pt b) { return a.sb.ToString()!=b.sb.ToString(); } public override bool Equals(object obj) { return false; } public override int GetHashCode() { return 0; } } public class Sc { [MethodImpl(MethodImplOptions.AggressiveInlining)] protected virtual string Rl() { return Console.ReadLine(); } [MethodImpl(MethodImplOptions.AggressiveInlining)] protected virtual string[] Sp(string st) { return st.Split(); } [MethodImpl(MethodImplOptions.AggressiveInlining)] private T Ct(string s) { return (T)Convert.ChangeType(s,typeof(T)); } public virtual int I { get { return int.Parse(Rl()); } } public virtual long L { get { return long.Parse(Rl()); } } public virtual double D { get { return double.Parse(Rl()); } } public virtual string S { get { return Rl(); } } public int[] Ia { get { return Array.ConvertAll(Sp(Rl()),int.Parse); } } public long[] La { get { return Array.ConvertAll(Sp(Rl()),long.Parse); } } public double[] Da { get { return Array.ConvertAll(Sp(Rl()),double.Parse); } } public string[] Sa { get { return Sp(Rl()); } } public object[] Oa { get { return Sp(Rl()); } } public int[] Ia2 { get { return Array.ConvertAll(Sp("0 "+Rl()+" 0"),int.Parse); } } public int[] Ia3(string a,string b) { return Array.ConvertAll(Sp(a+Rl()+b),int.Parse); } public int[] Ia3(int a) { return Array.ConvertAll(Sp(Rl()+" "+a.ToString()),int.Parse); } public long[] La2 { get { return Array.ConvertAll(Sp("0 "+Rl()+" 0"),long.Parse); } } public long[] La3(string a,string b) { return Array.ConvertAll(Sp(a+Rl()+b),long.Parse); } public long[] La3(int a) { return Array.ConvertAll(Sp(Rl()+" "+a.ToString()),long.Parse); } public double[] Da2 { get { return Array.ConvertAll(Sp("0 "+Rl()+" 0"),double.Parse); } } public double[] Da3(string a,string b) { return Array.ConvertAll(Sp(a+Rl()+b),double.Parse); } public T[] Arr(int n,Func f) { var a = new T[n]; for(int i = 0;i(int n,Func f) { var a = new T[n]; for(int i = 0;i(int n,Func f) { var a = new T[n]; for(int i = 0;i(int n,Func f) { var a = new T[n]; for(int i = 0;i() { var s = Sp(Rl()); return (Ct(s[0]), Ct(s[1])); } [MethodImpl(MethodImplOptions.AggressiveInlining)] public (T, T, T) Tp3() { var s = Sp(Rl()); return (Ct(s[0]), Ct(s[1]), Ct(s[2])); } [MethodImpl(MethodImplOptions.AggressiveInlining)] public (T, T, T, T) Tp4() { var s = Sp(Rl()); return (Ct(s[0]), Ct(s[1]), Ct(s[2]), Ct(s[3])); } [MethodImpl(MethodImplOptions.AggressiveInlining)] public (T, T, T, T, T) Tp5() { var s = Sp(Rl()); return (Ct(s[0]), Ct(s[1]), Ct(s[2]), Ct(s[3]), Ct(s[4])); } [MethodImpl(MethodImplOptions.AggressiveInlining)] public (T, T, T, T, T, T) Tp6() { var s = Sp(Rl()); return (Ct(s[0]), Ct(s[1]), Ct(s[2]), Ct(s[3]), Ct(s[4]), Ct(s[5])); } [MethodImpl(MethodImplOptions.AggressiveInlining)] public (T1, T2) Tp2() { var s = Sp(Rl()); return (Ct(s[0]), Ct(s[1])); } [MethodImpl(MethodImplOptions.AggressiveInlining)] public (T1, T1, T2) Tp3() { var s = Sp(Rl()); return (Ct(s[0]), Ct(s[1]), Ct(s[2])); } } public class Scr:Sc { private List li = new List(); private int l = 0; private bool bo = false; [MethodImpl(MethodImplOptions.AggressiveInlining)] protected override string Rl() { if(bo) { return li[l++%li.Count]; } li.Add(Console.ReadLine()); return li[li.Count-1]; } public void Again() { bo=true; } } public class Scs:Sc { private StreamReader sr; private string path; public Scs(string path) { sr=new StreamReader(this.path=path); } [MethodImpl(MethodImplOptions.AggressiveInlining)] protected override string Rl() { return sr.ReadLine(); } public void Close() { sr.Close(); } public void Reset() { sr=new StreamReader(path); } } public class Sc2:Sc { private string[] sps = new string[] { " "," ","\t" }; [MethodImpl(MethodImplOptions.AggressiveInlining)] protected override string[] Sp(string st) { return st.Split(sps,StringSplitOptions.RemoveEmptyEntries); } public override int I { get { return int.Parse(Sp(Rl())[0]); } } public override long L { get { return long.Parse(Sp(Rl())[0]); } } public override double D { get { return double.Parse(Sp(Rl())[0]); } } public override string S { get { return Sp(Rl())[0]; } } } public class Scs2:Sc2 { private StreamReader sr; public Scs2(string t) { sr=new StreamReader(t); } [MethodImpl(MethodImplOptions.AggressiveInlining)] protected override string Rl() { return sr.ReadLine(); } public void Close() { sr.Close(); } } public class Sct:Sc { private List li = new List(); private int l = 0; public void Add(int s) { li.Add(s.ToString()); } public void Add(long s) { li.Add(s.ToString()); } public void Add(double s) { li.Add(s.ToString()); } public void Add(string s) { li.Add(s.ToString()); } public void Add(object s) { li.Add(s.ToString()); } public void Add(int[] s) { li.Add(string.Join(" ",s)); } public void Add(long[] s) { li.Add(string.Join(" ",s)); } public void Add(double[] s) { li.Add(string.Join(" ",s)); } public void Add(string[] s) { li.Add(string.Join(" ",s)); } public void Add(params object[] s) { li.Add(string.Join(" ",s)); } protected override string Rl() { return li[l++]; } public void Clear() { li.Clear(); l=0; } public void Again() { l=0; } public void Pf() { Console.WriteLine(string.Join("\n",li)); } }