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.BufferedInputStream;
import java.io.File;
import java.io.FileInputStream;
import java.io.FileNotFoundException;
import java.io.PrintWriter;
import java.util.ArrayList;
import java.util.Arrays;

public class D {

	static int N;
	static int ds[];
	static int curD[];
	static node nodes[];
	static ArrayList<pair> edges; 
	public static void main(String[] args) {
		JS in = new JS();
		PrintWriter out = new PrintWriter(System.out);
		
		N = in.nextInt();
		ds/*nuts*/ = new int[N];
		nodes = new node[N];
		curD = new int[N];
		for(int i = 0; i < N; i++) {
			ds[i] = in.nextInt();
			nodes[i] = new node(i, ds[i]);
		}
		edges = new ArrayList<pair>();
		//get 2 vertices with lowest degree
		Arrays.sort(nodes);
		node v1 = nodes[0];
		node v2 = nodes[1];
		int pId = v1.id;
		int diam = 0;
		for(int i = 2; i < N; i++) {
			if(nodes[i].d > 1) {
				add(pId, nodes[i].id);
				diam++;
				curD[pId]++;
				curD[nodes[i].id]++;
				pId = nodes[i].id;
			}
		}
		add(pId, v2.id);
		curD[pId]++;
		curD[v2.id]++;
		diam++;
		
		int maxId = N-1;
		boolean bad = false;
		for(int i = 2; i < N; i++) {
			if(nodes[i].d == 1) { //needs to pair with something
				int mid = nodes[maxId].id;
				if(curD[mid] == ds[mid] || ds[mid] == 1) {
					bad = true;
					break;
				}
				else {
					add(nodes[i].id, mid);
					curD[mid]++;
					curD[nodes[i].id]++;
					if(curD[mid] == ds[mid]) maxId--;
				}
			}
		}
		if(bad) {
			out.println("NO");
			
		}
		else {
			out.println("YES "+diam);
			out.println(edges.size());
			for(pair p : edges) out.println((p.x+1)+" "+(p.y+1));
		}
		
		out.close();
	}
	static void add(int a, int b) {
		edges.add(new pair(a,b));
	}
	static class pair{
		int x,y;
		public pair(int xx, int yy) {
			x=xx;
			y=yy;
		}
	}
	
	static class node implements Comparable<node>{
		int id, d;
		public node(int ii, int dd) {
			id=ii;
			d=dd;
		}
		@Override
		public int compareTo(node o) {
			return d-o.d;
		}
	}

	
	static class JS{
		public int BS = 1<<16;
		public char NC = (char)0;
		byte[] buf = new byte[BS];
		int bId = 0, size = 0;
		char c = NC;
		double num = 1;
		BufferedInputStream in;
		
		public JS() {
			in = new BufferedInputStream(System.in, BS);
		}
		
		public JS(String s) throws FileNotFoundException {
			in = new BufferedInputStream(new FileInputStream(new File(s)), BS);
		}
		
		public char nextChar(){
			while(bId==size) {
				try {
					size = in.read(buf);
				}catch(Exception e) {
					return NC;
				}				
				if(size==-1)return NC;
				bId=0;
			}
			return (char)buf[bId++];
		}
		
		public int nextInt() {
			return (int)nextLong();
		}
		
		public long nextLong() {
			num=1;
			boolean neg = false;
			if(c==NC)c=nextChar();
			for(;(c<'0' || c>'9'); c = nextChar()) {
				if(c=='-')neg=true;
			}
			long res = 0;
			for(; c>='0' && c <='9'; c=nextChar()) {
				res = (res<<3)+(res<<1)+c-'0';
				num*=10;
			}
			return neg?-res:res;
		}
		
		public double nextDouble() {
		    while(c!='.'&&c!='-'&&(c <'0' || c>'9')) c = nextChar();
		    boolean neg = c=='-';
		    if(neg)c=nextChar();
		    boolean fl = c=='.';
		    double cur = nextLong();
		    if(fl) return neg ? -cur/num : cur/num;
		    if(c == '.') {
			double next = nextLong();
			return neg ? -cur-next/num : cur+next/num;
		    }
		    else return neg ? -cur : cur;
		}
		
		public String next() {
			StringBuilder res = new StringBuilder();
			while(c<=32)c=nextChar();
			while(c>32) {
				res.append(c);
				c=nextChar();
			}
			return res.toString();
		}
		
		public String nextLine() {
			StringBuilder res = new StringBuilder();
			while(c<=32)c=nextChar();
			while(c!='\n') {
				res.append(c);
				c=nextChar();
			}
			return res.toString();
		}

		public boolean hasNext() {
			if(c>32)return true;
			while(true) {
				c=nextChar();
				if(c==NC)return false;
				else if(c>32)return true;
			}
		}
	}
	
}