Problem: You are given a binary string s consisting of n zeros and ones.

Your task is to divide the given string into the minimum number of subsequences in such a way that each character of the string belongs to exactly one subsequence and each subsequence looks like "010101 ..." or "101010 ..." (i.e. the subsequence should not contain two adjacent zeros or ones).

Recall that a subsequence is a sequence that can be derived from the given sequence by deleting zero or more elements without changing the order of the remaining elements. For example, subsequences of "1011101" are "0", "1", "11111", "0111", "101", "1001", but not "000", "101010" and "11100".

You have to answer t independent test cases.

Input

The first line of the input contains one integer t (1 ≤ t ≤ 2 ⋅ 10^4) — the number of test cases. Then t test cases follow.

The first line of the test case contains one integer n (1 ≤ n ≤ 2 ⋅ 10^5) — the length of s. The second line of the test case contains n characters '0' and '1' — the string s.

It is guaranteed that the sum of n does not exceed 2 ⋅ 10^5 (∑ n ≤ 2 ⋅ 10^5).

Output

For each test case, print the answer: in the first line print one integer k (1 ≤ k ≤ n) — the minimum number of subsequences you can divide the string s to. In the second line print n integers a_1, a_2, ..., a_n (1 ≤ a_i ≤ k), where a_i is the number of subsequence the i-th character of s belongs to.

If there are several answers, you can print any.

Example

Input


4
4
0011
6
111111
5
10101
8
01010000


Output


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

Solution (in PYTHON):

Solution:
############## importing libraries ############################


############### input functions ###############################
def inp():
    return input()
def list_inp():
    return list(map(int,input().split()))
def map_inp():
    return map(int,input().split())
def int_inp():
    return int(input())
def float_int():
    return float(input())
    
################# important functions ############################
def isprime(n):
    if (n <= 1) : 
        return False
    if (n <= 3) : 
        return True
    if (n % 2 == 0 or n % 3 == 0) : 
        return False
    i = 5
    while(i * i <= n) : 
        if (n % i == 0 or n % (i + 2) == 0) : 
            return False
        i = i + 6
    return True

################## my code ######################################

for _ in range(input()):
    n = input()
    l = raw_input()
    one = []
    zero = []
    count = 0
    ans = []
    for i in range(n):
        ele = l[i]
        # print(zero,one)
        if ele=='0':
            if len(zero)!=0:
                # print(ele,len(zero))
                temp = zero.pop(0)
                one.append(temp)
                ans.append(temp)
            else:
                count+=1
                one.append(count)
                ans.append(count)
        else:
            if len(one)!=0:
                # print(ele,len(one))
                temp = one.pop(0)
                zero.append(temp)
                ans.append(temp)
            else:
                count+=1
                zero.append(count)
                ans.append(count)
    
    
    
    
    print(count)
    for x in ans:
        print x,
    print
    
                
################## end of code #################################