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; using nint=System.Int64; static class Program{ const long inf=long.MaxValue>>1; const int mod=998244353; static Sc sc=new Sc(); static void Main(){ Pt pt=new Pt(Solve); pt.Sm(); } static void Solve(Pt pt) { var (n,k,l,p)=sc.Tp4(); int f = n>>1; int g = n-f; var a = new int[f][]; var b = new int[g][]; for(int i = 0;i[f+1]; for(int i = 0;i<=f;i++) { li[i]=new List<(long c, long p)>(); } li[0].Add((0, 0)); for(int i = 1, j = 0;i u.c.CompareTo(v.c)); var arr = li[i].Select(e => e.p).ToArray(); wm[i]=new Wm(arr); } m=1<l-cn) { ub=mid; } else { lb=mid; } } if(p-pn<=0) { ans+=ub; continue; } else if(lb>=0){ ans+=wm[i].Rm(0,lb,p-pn-1); } } } pt.Wl(ans); } static int Pc(int n) { n-=(n>>1)&0x55555555; n=(n&0x33333333)+((n>>2)&0x33333333); return ((n+(n>>4)&0xF0F0F0F)*0x1010101)>>24; } } static class Ex1 { public static int Bs(this int[] a,int x,bool b) { return Bs2(a,x,b,a.Length); } public static int Bs(this int[] a,int x,bool b,int ub) { return Bs2(a,x,b,ub+1); } private static int Bs2(int[] a,int x,bool b,int ub) { int lb = -1, mid = 0; while(ub-lb>1) { mid=(ub+lb)/2; if(a[mid]>=x) { ub=mid; } else { lb=mid; } } return b ? lb : ub; } } public class Wm { private int[][] ra; private int[] za; private const int b = 60; private int n; public Wm(nint[] a) { n=a.Length; var d = new int[b+1][]; ra=new int[b+1][]; for(int i = 0;i<=b;i++) { d[i]=new int[n]; ra[i]=new int[n+1]; } var d0 = new nint[2][] { new nint[n],new nint[n] }; var d1 = new nint[2][] { new nint[n],new nint[n] }; var h0 = new int[] { 0,0 }; var h1 = new int[] { 0,0 }; za=new int[b+1]; for(int i = 0;i=0;i--) { if(((k>>i)&1)==1) { r=ra[i][r+1]+za[i]-1; l=ra[i][l+1]+za[i]-1; } else { r=r-ra[i][r+1]; l=l-ra[i][l+1]; } } return r-l; } public int Rl(int l,int r,long k) { l--; int p = 0; for(int i = b;i>=0;i--) { if(((k>>i)&1)==1) { p+=r-l; r=ra[i][r+1]+za[i]-1; l=ra[i][l+1]+za[i]-1; p-=r-l; } else { r=r-ra[i][r+1]; l=l-ra[i][l+1]; } } return p; } public int Rm(int l,int r,long k) { l--; int p = 0; for(int i = b;i>=0;i--) { if(((k>>i)&1)==1) { r=ra[i][r+1]+za[i]-1; l=ra[i][l+1]+za[i]-1; } else { p+=r-l; r=r-ra[i][r+1]; l=l-ra[i][l+1]; p-=r-l; } } return p; } public nint Qt(int l,int r,int k) { l--; nint p = 0; for(int i = b;i>=0;i--) { if((r-ra[i][r+1])-(l-ra[i][l+1]) 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(int[] s){sb.AppendLine(string.Join(" ",s));} public void Wl(long[] s){sb.AppendLine(string.Join(" ",s));} public void Wl(double[] s){sb.AppendLine(string.Join(" ",s));} public void Wl(string[] 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; public Scs(string t){sr=new StreamReader(t);} [MethodImpl(MethodImplOptions.AggressiveInlining)] protected override string Rl(){return sr.ReadLine();} public void Close(){sr.Close();} } 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));} }