Problem: There is a bridge that connects the left and right banks of a river. There are 2 N doors placed at different positions on this bridge, painted in some colors. The colors of the doors are represented by integers from 1 through N. For each k (1 \leq k \leq N), there are exactly two doors painted in Color k.

Snuke decides to cross the bridge from the left bank to the right bank. He will keep on walking to the right, but the following event will happen while doing so:

* At the moment Snuke touches a door painted in Color k (1 \leq k \leq N), he teleports to the right side of the other door painted in Color k.



It can be shown that he will eventually get to the right bank.

For each i (1 \leq i \leq 2 N - 1), the section between the i-th and (i + 1)-th doors from the left will be referred to as Section i. After crossing the bridge, Snuke recorded whether or not he walked through Section i, for each i (1 \leq i \leq 2 N - 1). This record is given to you as a string s of length 2 N - 1. For each i (1 \leq i \leq 2 N - 1), if Snuke walked through Section i, the i-th character in s is `1`; otherwise, the i-th character is `0`.

<image>

Figure: A possible arrangement of doors for Sample Input 3

Determine if there exists an arrangement of doors that is consistent with the record. If it exists, construct one such arrangement.

Constraints

* 1 \leq N \leq 10^5
* |s| = 2 N - 1
* s consists of `0` and `1`.

Input

Input is given from Standard Input in the following format:


N
s


Output

If there is no arrangement of doors that is consistent with the record, print `No`. If there exists such an arrangement, print `Yes` in the first line, then print one such arrangement in the second line, in the following format:


c_1 c_2 ... c_{2 N}


Here, for each i (1 \leq i \leq 2 N), c_i is the color of the i-th door from the left.

Examples

Input

2
010


Output

Yes
1 1 2 2


Input

2
001


Output

No


Input

3
10110


Output

Yes
1 3 2 1 2 3


Input

3
10101


Output

No


Input

6
00111011100


Output

Yes
1 6 1 2 3 4 4 2 3 5 6 5

Solution (in CPP):

Solution:
#include <bits/stdc++.h>
using namespace std;

typedef long long   signed int LL;
typedef long long unsigned int LU;

#define incID(i, l, r) for(int i = (l)    ; i <  (r); i++)
#define incII(i, l, r) for(int i = (l)    ; i <= (r); i++)
#define decID(i, l, r) for(int i = (r) - 1; i >= (l); i--)
#define decII(i, l, r) for(int i = (r)    ; i >= (l); i--)
#define  inc(i, n) incID(i, 0, n)
#define inc1(i, n) incII(i, 1, n)
#define  dec(i, n) decID(i, 0, n)
#define dec1(i, n) decII(i, 1, n)

#define inII(v, l, r) ((l) <= (v) && (v) <= (r))
#define inID(v, l, r) ((l) <= (v) && (v) <  (r))

#define PB push_back
#define EB emplace_back
#define MP make_pair
#define FI first
#define SE second
#define PQ priority_queue

#define  ALL(v)  v.begin(),  v.end()
#define RALL(v) v.rbegin(), v.rend()
#define  FOR(it, v) for(auto it =  v.begin(); it !=  v.end(); ++it)
#define RFOR(it, v) for(auto it = v.rbegin(); it != v.rend(); ++it)

template<typename T> bool   setmin(T & a, T b) { if(b <  a) { a = b; return true; } else { return false; } }
template<typename T> bool   setmax(T & a, T b) { if(b >  a) { a = b; return true; } else { return false; } }
template<typename T> bool setmineq(T & a, T b) { if(b <= a) { a = b; return true; } else { return false; } }
template<typename T> bool setmaxeq(T & a, T b) { if(b >= a) { a = b; return true; } else { return false; } }
template<typename T> T gcd(T a, T b) { return (b == 0 ? a : gcd(b, a % b)); }
template<typename T> T lcm(T a, T b) { return a / gcd(a, b) * b; }

// ---- ----

int n, a, b;
string s;
int ans[400000];

void no() {
	cout << "No" << endl;
	exit(0);
}

int main() {
	cin >> n >> s;
	assert(s.size() == 2 * n - 1);
	
	s = "1" + s + "1" + s;
	inc(i, 4 * n) { ans[i] = -1; }
	
	inc(i, 2 * n) {
		if(s.substr(i, 2) == "11") { a++; }
		if(s.substr(i, 2) == "10") { b++; }
	}
	
	if(a % 2 != 0) { no(); }
	
	int p = 0;
	{
		if(! (a % 4 == 0 || b >= 2)) { no(); }
		
		inc(i, 2 * n) {
			p = i;
			if(s.substr(i, 2) == "10") { break; }
		}
		
		int t = -1, z = 0, w = 0;
		vector<pair<int, int>> v[2];
		incID(i, p, p + 2 * n + 1) {
			if(s[i] == '0') { z++; }
			if(s.substr(i, 2) == "11") { w++; }
			if(s.substr(i, 2) == "10") {
				if(t >= 0) { v[(w == 0 ? 0 : 1)].EB(t, z); }
				t = i;
				z = 0;
				w = 0;
			}
		}
		if(a % 4 != 0 && v[1].size() < 2) { no(); }
		
		int c = 0;
		if(a % 4 != 0) {
			inc(i, 1) {
				int at = v[1][i + 0].FI;
				int az = v[1][i + 0].SE;
				int bt = v[1][i + 1].FI;
				int bz = v[1][i + 1].SE;
				
				ans[at     ] = c / 2; c++;
				ans[bt + bz] = c / 2; c++;
				ans[at + az] = c / 2; c++;
				ans[bt     ] = c / 2; c++;
				
				inc(j, 1) {
					ans[at + az + 1 + j] = c / 2; c++;
					ans[bt + bz + 1 + j] = c / 2; c++;
				}
			}
		}
		
		inc(k, 2) {
			inc(i, v[k].size()) {
				int at = v[k][i + 0].FI;
				int az = v[k][i + 0].SE;
				
				if(ans[at] != -1) { continue; }
				
				ans[at     ] = c / 2; c++;
				ans[at + az] = c / 2; c++;
			}
		}
		
		int cc = c;
		c -= cc;
		incID(i, p, p + 2 * n) {
			if(s.substr(i, 2) == "11") {
				if(ans[i] != -1) { continue; }
				ans[i] = (c / 4 * 2) + (c % 2) + cc / 2;
				c++;
			}
		}
		assert(c % 4 == 0);
		c += cc;
		
		incID(i, p, p + 2 * n) {
			if(ans[i] == -1) { ans[i] = c / 2; c++; }
		}
		
		assert(c == 2 * n);
	}
	
	// inc(i, 2 * n) { cout << s[p + i] << " "; } cout << endl;
	// inc(i, 2 * n) { cout << " " << ans[p + i] + 1; } cout << endl;
	
	inc(i, p) { ans[i] = ans[i + 2 * n]; }
	
	cout << "Yes" << endl;
	inc(i, 2 * n) { cout << (i == 0 ? "" : " ") << ans[i] + 1; }
	cout << endl;
	
	return 0;
}