Problem: Grigory loves strings. Recently he found a metal strip on a loft. The strip had length n and consisted of letters "V" and "K". Unfortunately, rust has eaten some of the letters so that it's now impossible to understand which letter was written.

Grigory couldn't understand for a long time what these letters remind him of, so he became interested in the following question: if we put a letter "V" or "K" on each unreadable position, which values can the period of the resulting string be equal to?

A period of a string is such an integer d from 1 to the length of the string that if we put the string shifted by d positions to the right on itself, then all overlapping letters coincide. For example, 3 and 5 are periods of "VKKVK".

Input

There are several (at least one) test cases in the input. The first line contains single integer — the number of test cases.

There is an empty line before each test case. Each test case is described in two lines: the first line contains single integer n (1 ≤ n ≤ 5·105) — the length of the string, the second line contains the string of length n, consisting of letters "V", "K" and characters "?". The latter means the letter on its position is unreadable.

It is guaranteed that the sum of lengths among all test cases doesn't exceed 5·105.

For hacks you can only use tests with one test case.

Output

For each test case print two lines. In the first line print the number of possible periods after we replace each unreadable letter with "V" or "K". In the next line print all these values in increasing order.

Example

Input

3
 
5
V??VK
 
6
??????
 
4
?VK?


Output

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

Note

In the first test case from example we can obtain, for example, "VKKVK", which has periods 3 and 5.

In the second test case we can obtain "VVVVVV" which has all periods from 1 to 6.

In the third test case string "KVKV" has periods 2 and 4, and string "KVKK" has periods 3 and 4.

Solution (in CPP):

Solution:
#include <bits/stdc++.h>
using namespace std;
namespace FFT {
const double C_PI = acos(-1);
void fft(vector<complex<double> > &a, bool invert) {
  int n = a.size();
  for (int i = 0, j = 0; i < n; ++i) {
    if (i > j) {
      swap(a[i], a[j]);
    }
    for (int k = n / 2; (j ^= k) < k; k /= 2)
      ;
  }
  for (int len = 2; len <= n; len *= 2) {
    double ang = 2 * C_PI / len * (invert ? -1 : 1);
    complex<double> wlen(cos(ang), sin(ang));
    for (int i = 0; i < n; i += len) {
      complex<double> w(1);
      for (int j = int(0); j < int(len / 2); j++) {
        if ((j & 511) == 511) {
          w = complex<double>(cos(ang * j), sin(ang * j));
        }
        complex<double> u = a[i + j], v = a[i + j + len / 2] * w;
        a[i + j] = u + v;
        a[i + j + len / 2] = u - v;
        w *= wlen;
      }
    }
  }
  if (invert) {
    for (int i = int(0); i < int(n); i++) {
      a[i] /= n;
    }
  }
}
vector<int> multiply(const vector<int> &a, const vector<int> &b,
                     const int MOD) {
  vector<complex<double> > fa(a.begin(), a.end()), fb(b.begin(), b.end());
  int n = 1;
  while (n < (int)max(a.size(), b.size())) {
    n *= 2;
  }
  n *= 2;
  fa.resize(n);
  fb.resize(n);
  fft(fa, false);
  fft(fb, false);
  for (int i = int(0); i < int(n); i++) {
    fa[i] *= fb[i];
  }
  fft(fa, true);
  vector<int> res;
  res.resize(n);
  for (int i = int(0); i < int(n); i++) {
    res[i] =
        ((long long)(fa[i].real() + (fa[i].real() > 0 ? 0.5 : -0.5))) % MOD;
  }
  return res;
}
}  // namespace FFT
const int MAX = 1e6 + 6;
const int MOD = 1e9 + 7;
char str[MAX];
bool bad[MAX];
int n;
int main() {
  int t;
  scanf("%d", &t);
  while (t--) {
    scanf("%d", &n);
    scanf("%s", str);
    vector<int> A(n, 0), B(n, 0);
    for (int i = int(0); i < int(n); i++) {
      if (str[i] == 'V') {
        A[i] = 1;
      } else if (str[i] == 'K') {
        B[n - i - 1] = 1;
      }
    }
    vector<int> C = FFT::multiply(A, B, MOD);
    for (int i = int(0); i < int(n + 1); i++) {
      bad[i] = false;
    }
    for (int i = int(0); i < int(C.size()); i++) {
      if (C[i] > 0) {
        bad[abs(i - n + 1)] = true;
      }
    }
    vector<int> ans;
    for (int i = int(1); i < int(n + 1); i++) {
      bool good = true;
      for (int j = i; j <= n; j += i) {
        if (bad[j]) {
          good = false;
          break;
        }
      }
      if (good) {
        ans.push_back(i);
      }
    }
    printf("%d\n", (int)ans.size());
    for (auto &each : ans) {
      printf("%d ", each);
    }
    printf("\n");
  }
  return 0;
}