using System; using System.Collections.Generic; using System.Collections; using System.Collections.Specialized; using System.Linq; using System.Text; using System.IO; using System.Reflection; using static System.Math; using System.Numerics; static class Program{ const int mod=(int)1e9+7; static void Main(){ Sc sc=new Sc(); int n=sc.I; var a=sc.Ia; var h=new int[n+1]; var ans=new int[n-1]; var avl=new Avl(); for(int i = 0;i0;i--) { if(h[i]==n-1){break;} if(avl.Ra(1).d!=i){ avl.Dl(h[i]); ans[n-i]=i; } else{ Console.WriteLine("No"); return; } } for(int i = n-2,j=n-a[n-1];i>=0;i--) { if(a[i]1){root=Rotate(root);} } cnt++; } private void Fu(Nd t,int n,Nd mn){ t.c++; t.ds+=mn.d; if(t.n>n){ if(t.l!=du){ Fu(t.l,n,mn); if(Abs(t.l.l.h-t.l.r.h)>1){t.l=Rotate(t.l);} } else{t.l=mn;} } else{ if(t.r!=du){ Fu(t.r,n,mn); if(Abs(t.r.l.h-t.r.r.h)>1){t.r=Rotate(t.r);} } else{t.r=mn;} } t.h=Max(t.l.h,t.r.h)+1; } private Nd Rotate(Nd t){ Nd nd=du; if(t.l.h>t.r.h){ if(t.l.l.h>t.l.r.h){ nd=t.l;t.l=t.l.r;nd.r=t; Ft(t); } else{ nd=t.l.r; t.l.r=nd.l;nd.l=t.l; Ft(t.l); t.l=nd.r;nd.r=t; Ft(t); } } else{ if(t.r.l.h>t.r.r.h){ nd=t.r.l; t.r.l=nd.r;nd.r=t.r; Ft(t.r); t.r=nd.l;nd.l=t; Ft(t); } else{ nd=t.r;t.r=t.r.l;nd.l=t; Ft(t); } } Ft(nd); return nd; } private void Ft(Nd t){ t.h=Max(t.l.h,t.r.h)+1; t.c=t.l.c+t.r.c+1; t.ds=t.l.ds+t.r.ds+t.d; } public bool Dl(int n){ if(cnt==0){return false;} Nd t=root; if(t.n==n){ root=Fd2(root); if(cnt==0){return true;} else if(Abs(root.l.h-root.r.h)>1){root=Rotate(root);} else{Ft(root);} return true; } bool bo=Fd1(root,n); if(Abs(root.l.h-root.r.h)>1){root=Rotate(root);} else{Ft(root);} return bo; } private bool Fd1(Nd t,int n){ if(t.n>n){ if(t.l==du){return false;} else if(t.l.n!=n){ bool bo=Fd1(t.l,n); if(Abs(t.l.l.h-t.l.r.h)>1){t.l=Rotate(t.l);} else{Ft(t.l);} return bo; } else{ t.l=Fd2(t.l); Ft(t); return true; } } else{ if(t.r==du){return false;} else if(t.r.n!=n){ bool bo=Fd1(t.r,n); if(Abs(t.r.l.h-t.r.r.h)>1){t.r=Rotate(t.r);} else{Ft(t.r);} return bo; } else{ t.r=Fd2(t.r); Ft(t); return true; } } } private Nd Fd2(Nd dn){ cnt--; if(dn.l==du){return dn.r;} if(dn.r==du){return dn.l;} Nd u=dn.l; if(u.r==du){ u.r=dn.r; Ft(u); return u; } u=Fd3(u,dn); if(Abs(dn.l.l.h-dn.l.r.h)>1){u.l=Rotate(dn.l);} else{Ft(dn.l);} Ft(u); return u; } private Nd Fd3(Nd u,Nd dn){ if(u.r.r!=du){ Nd v=Fd3(u.r,dn); if(Abs(u.r.l.h-u.r.r.h)>1){u.r=Rotate(u.r);} else{Ft(u.r);} return v; } else{ Nd v=u.r;u.r=u.r.l;v.l=dn.l;v.r=dn.r; return v; } } public Nd Hs(int n){ Nd t=root; if(cnt==0){return null;} if(t.n==n){return t;} Nd a=null; while(true){ if(t.n>n){ if(t.l==du){break;} else if(t.l.n!=n){t=t.l;} else{a=t.l;break;} } else{ if(t.r==du){break;} else if(t.r.n!=n){t=t.r;} else{a=t.r;break;} } } return a; } public Nd Ra(int n){return cnt>=n?Fr(root,n):null;} private Nd Fr(Nd t,int n){ if(t.l.c>n-1){return Fr(t.l,n);} if(t.l.cn){ if(t.l==du){return t;} Nd u=Flb(t.l,n); return u==null?t:u; } return t; } public Nd Ub(int n){return cnt!=0?Fub(root,n):null;} private Nd Fub(Nd t,int n){ if(t.n>n){ if(t.l==du){return null;} return Fub(t.l,n); } if(t.n=a,r);} if(t.n>b){return Frg(t.l,a,b,l,t.n<=b);} return Frg(t.l,a,b,l,t.n<=b)+Frg(t.r,a,b,t.n>=a,r)+1; } public long Rd(int a,int b){return cnt!=0?Frd(root,a,b,false,false):0;} private long Frd(Nd t,int a,int b,bool l,bool r){ if(t.h==0){return 0;} if(l&&r){return t.ds;} if(t.n=a,r);} if(t.n>b){return Frd(t.l,a,b,l,t.n<=b);} return Frd(t.l,a,b,l,t.n<=b)+Frd(t.r,a,b,t.n>=a,r)+t.d; } public void Ad(int n,int d){ Nd t=root; if(cnt==0){return;} if(t.n==n){t.d+=d;t.ds+=d;return;} while(true){ t.ds+=d; if(t.n>n){ if(t.l==du){break;} else if(t.l.n!=n){t=t.l;} else{t.l.d+=d;t.l.ds+=d;break;} } else{ if(t.r==du){break;} else if(t.r.n!=n){t=t.r;} else{t.r.d+=d;t.r.ds+=d;break;} } } } } public class Sc{ public int I{get{return int.Parse(Console.ReadLine());}} public long L{get{return long.Parse(Console.ReadLine());}} public double D{get{return double.Parse(Console.ReadLine());}} public string S{get{return Console.ReadLine();}} public int[] Ia{get{return Array.ConvertAll(Console.ReadLine().Split(),int.Parse);}} public long[] La{get{return Array.ConvertAll(Console.ReadLine().Split(),long.Parse);}} public double[] Da{get{return Array.ConvertAll(Console.ReadLine().Split(),double.Parse);}} public string[] Sa{get{return Console.ReadLine().Split();}} public object[] Oa{get{return Console.ReadLine().Split();}} public int[] Ia2{get{return Array.ConvertAll(("0 "+Console.ReadLine()+" 0").Split(),int.Parse);}} public int[] Ia3(int a){return Array.ConvertAll((a.ToString()+" "+Console.ReadLine()).Split(),int.Parse);} public int[] Ia3(bool a,int b,bool c,int d){return Array.ConvertAll(((a?b.ToString()+" ":"")+Console.ReadLine()+(c?" "+d.ToString():"")).Split(),int.Parse);} public long[] La2{get{return Array.ConvertAll(("0 "+Console.ReadLine()+" 0").Split(),long.Parse);}} public long[] La3(int a){return Array.ConvertAll((a.ToString()+" "+Console.ReadLine()).Split(),long.Parse);} public long[] La3(bool a,int b,bool c,int d){return Array.ConvertAll(((a?b.ToString()+" ":"")+Console.ReadLine()+(c?" "+d.ToString():"")).Split(),long.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