Problem: Graph constructive problems are back! This time the graph you are asked to build should match the following properties.

The graph is connected if and only if there exists a path between every pair of vertices.

The diameter (aka "longest shortest path") of a connected undirected graph is the maximum number of edges in the shortest path between any pair of its vertices.

The degree of a vertex is the number of edges incident to it.

Given a sequence of n integers a_1, a_2, ..., a_n construct a connected undirected graph of n vertices such that:

  * the graph contains no self-loops and no multiple edges; 
  * the degree d_i of the i-th vertex doesn't exceed a_i (i.e. d_i ≤ a_i); 
  * the diameter of the graph is maximum possible. 



Output the resulting graph or report that no solution exists.

Input

The first line contains a single integer n (3 ≤ n ≤ 500) — the number of vertices in the graph.

The second line contains n integers a_1, a_2, ..., a_n (1 ≤ a_i ≤ n - 1) — the upper limits to vertex degrees.

Output

Print "NO" if no graph can be constructed under the given conditions.

Otherwise print "YES" and the diameter of the resulting graph in the first line.

The second line should contain a single integer m — the number of edges in the resulting graph.

The i-th of the next m lines should contain two integers v_i, u_i (1 ≤ v_i, u_i ≤ n, v_i ≠ u_i) — the description of the i-th edge. The graph should contain no multiple edges — for each pair (x, y) you output, you should output no more pairs (x, y) or (y, x).

Examples

Input


3
2 2 2


Output


YES 2
2
1 2
2 3


Input


5
1 4 1 1 1


Output


YES 2
4
1 2
3 2
4 2
5 2


Input


3
1 1 1


Output


NO

Note

Here are the graphs for the first two example cases. Both have diameter of 2.

<image> d_1 = 1 ≤ a_1 = 2

d_2 = 2 ≤ a_2 = 2

d_3 = 1 ≤ a_3 = 2 

<image> d_1 = 1 ≤ a_1 = 1

d_2 = 4 ≤ a_2 = 4

d_3 = 1 ≤ a_3 = 1

d_4 = 1 ≤ a_4 = 1 

Solution (in JAVA):

Solution:
import java.io.*;
import java.util.*;
import java.math.*;
import java.lang.*;
 
import static java.lang.Math.*;
 
public class fast implements Runnable {
    static class InputReader {
        private InputStream stream;
        private byte[] buf = new byte[1024];
        private int curChar;
        private int numChars;
        private SpaceCharFilter filter;
        private BufferedReader br = new BufferedReader(new InputStreamReader(System.in));
 
        public InputReader(InputStream stream) {
            this.stream = stream;
        }
        
        public int read() {
            if (numChars==-1) 
                throw new InputMismatchException();
            
            if (curChar >= numChars) {
                curChar = 0;
                try {
                    numChars = stream.read(buf);
                }
                catch (IOException e) {
                    throw new InputMismatchException();
                }
                
                if(numChars <= 0)               
                    return -1;
            }
            return buf[curChar++];
        }
     
        public String nextLine() {
            String str = "";
            try {
                str = br.readLine();
            }
            catch (IOException e) {
                e.printStackTrace();
            }
            return str;
        }
        public int nextInt() {
            int c = read();
            
            while(isSpaceChar(c)) 
                c = read();
            
            int sgn = 1;
            
            if (c == '-') {
                sgn = -1;
                c = read();
            }
            
            int res = 0;
            do {
                if(c<'0'||c>'9') 
                    throw new InputMismatchException();
                res *= 10;
                res += c - '0';
                c = read();
            }
            while (!isSpaceChar(c)); 
            
            return res * sgn;
        }
        
        public long nextLong() {
            int c = read();
            while (isSpaceChar(c))
                c = read();
            int sgn = 1;
            if (c == '-') {
                sgn = -1;
                c = read();
            }
            long res = 0;
            
            do {
                if (c < '0' || c > '9')
                    throw new InputMismatchException();
                res *= 10;
                res += c - '0';
                c = read();
            }
            while (!isSpaceChar(c));
                return res * sgn;
        }
        
        public double nextDouble() {
            int c = read();
            while (isSpaceChar(c))
                c = read();
            int sgn = 1;
            if (c == '-') {
                sgn = -1;
                c = read();
            }
            double res = 0;
            while (!isSpaceChar(c) && c != '.') {
                if (c == 'e' || c == 'E')
                    return res * Math.pow(10, nextInt());
                if (c < '0' || c > '9')
                    throw new InputMismatchException();
                res *= 10;
                res += c - '0';
                c = read();
            }
            if (c == '.') {
                c = read();
                double m = 1;
                while (!isSpaceChar(c)) {
                    if (c == 'e' || c == 'E')
                        return res * Math.pow(10, nextInt());
                    if (c < '0' || c > '9')
                        throw new InputMismatchException();
                    m /= 10;
                    res += (c - '0') * m;
                    c = read();
                }
            }
            return res * sgn;
        }
        
        public String readString() {
            int c = read();
            while (isSpaceChar(c))
                c = read();
            StringBuilder res = new StringBuilder();
            do {
                res.appendCodePoint(c);
                c = read();
            } 
            while (!isSpaceChar(c));
            
            return res.toString();
        }
     
        public boolean isSpaceChar(int c) {
            if (filter != null)
                return filter.isSpaceChar(c);
            return c == ' ' || c == '\n' || c == '\r' || c == '\t' || c == -1;
        }
     
        public String next() {
            return readString();
        }
        
        public interface SpaceCharFilter {
            public boolean isSpaceChar(int ch);
        }
    }
	
	class pair implements Comparable<pair>{
		int x;
		int y;
		pair(int xi, int yi){
			x=xi;
			y=yi;
		}
		@Override
		public int compareTo(pair other){
			if(this.x>other.x)
				return 1;
			if(this.x<other.x)
				return -1;
			return 0;
		}	
	} 
	
    public static void main(String args[]) throws Exception {
        new Thread(null, new fast(),"fast",1<<26).start();
    }
	
	public void sortbyColumn(int arr[][], final int col){ 
        // Using built-in sort function Arrays.sort 
        Arrays.sort(arr, new Comparator<int[]>() { 
            
          @Override              
          // Compare values according to columns 
          public int compare(final int[] entry1,  
                             final int[] entry2) { 
  
            // To sort in descending order revert  
            // the '>' Operator 
            if (entry1[col] > entry2[col]) 
                return 1; 
            else if(entry1[col] < entry2[col])
                return -1;
			return 0;
          } 
        });  // End of function call sort(). 
    }
	
	public void sortbyColumn(long arr[][], final int col){ 
        // Using built-in sort function Arrays.sort 
        Arrays.sort(arr, new Comparator<long[]>() { 
            
          @Override              
          // Compare values according to columns 
          public int compare(final long[] entry1,  
                             final long[] entry2) { 
  
            // To sort in descending order revert  
            // the '>' Operator 
            if (entry1[col] > entry2[col]) 
                return 1; 
            else if(entry1[col] < entry2[col])
                return -1;
			return 0;
          } 
        });  // End of function call sort(). 
    }
	
	long power(long x, long y, long p){  
        long res = 1;      
        x = x % p;  
        while (y > 0) 
        { 
            if((y & 1)==1) 
                res = (res * x) % p; 
            y = y >> 1;  
            x = (x * x) % p;  
        } 
        return res; 
    }

	long ncr(int n, int r, long p){  
        long C[]=new long[r+1]; 
        C[0] = 1; 
        for (int i = 1; i <= n; i++) 
        { 
            for (int j = Math.min(i, r); j > 0; j--) 
                C[j] = (C[j] + C[j-1])%p; 
        } 
        return C[r]; 
    }
	
	public void dfs(int i, int[] a,boolean[] vis){
		vis[i]=true;
		if(i==a.length) return;
		if(!vis[a[i]]) dfs(a[i],a,vis);
	}
	
    public void run(){
        Scanner s = new Scanner(System.in);
        PrintWriter w = new PrintWriter(System.out);
		
		int n=s.nextInt(),d[]=new int[n],ans=-1;
		ArrayList<pair> a=new ArrayList<>();
		ArrayList<Integer> lef =new ArrayList<>(),in=new ArrayList<>();
		for(int i=0;i<n;i++){
			d[i]=s.nextInt();
			if(d[i]>1){
				in.add(i+1);
				ans++;
			}
			else lef.add(i+1);
		}
		for(int i=0;i<in.size()-1;i++){
			if(i>=in.size()) break;
			a.add(new pair(in.get(i),in.get(i+1)));
			d[in.get(i)-1]--;
			d[in.get(i+1)-1]--;
			if(d[in.get(i)-1]==0){ in.remove(in.get(i)); i--;}
		}
		for(int i=0;i<lef.size();i++){
			if(in.isEmpty()) break;
			if(i==0){
				a.add(new pair(lef.get(0),in.get(0)));
				d[in.get(0)-1]--;
				if(d[in.get(0)-1]==0) in.remove(in.get(0));
				ans++;
			}
			else if(i==1){
				a.add(new pair(lef.get(1),in.get(in.size()-1)));
				d[in.get(in.size()-1)-1]--;
				if(d[in.get(in.size()-1)-1]==0) in.remove(in.get(in.size()-1));
				ans++;
			}
			else{
				a.add(new pair(lef.get(i),in.get(0)));
				d[in.get(0)-1]--;
				if(d[in.get(0)-1]==0) in.remove(in.get(0));
			}
		}
		if(a.size()==n-1){
			w.println("YES "+ans);
			w.println(n-1);
			for(pair p:a) w.println(p.x+" "+p.y);
		}
		else w.println("NO");
		
		w.close();
    }
}