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;
const int M = 998244353;
struct modint {
  int val = 0;
  modint() {}
  modint(int a) : val(a) {
    while (val < 0) {
      val += M;
    }
    while (val >= M) {
      val -= M;
    }
  }
  modint(long long a) : val(a % M) {
    if (val < 0) {
      val += M;
    }
  }
  modint operator+=(modint oth) {
    val += oth.val;
    val -= (val >= M) ? M : 0;
    return *this;
  }
  modint operator-=(modint oth) {
    val -= oth.val;
    val += (val < 0) ? M : 0;
    return *this;
  }
  modint operator*=(modint oth) {
    val = 1LL * val * oth.val % M;
    return *this;
  }
  void operator++() {
    ++val;
    if (val == M) {
      val = 0;
    }
  }
  void operator--() {
    --val;
    if (val == -1) {
      val = M - 1;
    }
  }
  modint operator-() {
    modint res;
    res.val = (val == 0) ? 0 : M - val;
    return res;
  }
  int mod() { return M; }
  modint pow(long long e) {
    modint base = val;
    modint res = 1;
    while (e > 0) {
      if (e % 2 == 1) {
        res *= base;
      }
      base *= base;
      e /= 2;
    }
    return res;
  }
  modint inv() { return pow(M - 2); }
  friend modint operator+(modint a, modint b) { return modint(a) += b; }
  friend modint operator-(modint a, modint b) { return modint(a) -= b; }
  friend modint operator*(modint a, modint b) { return modint(a) *= b; }
  friend bool operator==(modint a, modint b) { return a.val == b.val; }
  friend bool operator!=(modint a, modint b) { return a.val != b.val; }
};
using mint = modint;
void ntt(vector<mint> &a) {
  int n = a.size();
  for (int i = 1, j = 0; i < n; ++i) {
    int k = n / 2;
    while ((j & k) > 0) {
      j ^= k;
      k /= 2;
    }
    j ^= k;
    if (i < j) {
      swap(a[i], a[j]);
    }
  }
  mint base = mint(3).pow((M - 1) / n);
  for (int len = 2; len <= n; len *= 2) {
    mint root = base.pow(n / len);
    for (int i = 0; i < n; i += len) {
      mint cur = 1;
      for (int j = 0; j < len / 2; ++j) {
        mint l = a[i + j];
        mint r = a[i + j + len / 2] * cur;
        a[i + j] = l + r;
        a[i + j + len / 2] = l - r;
        cur *= root;
      }
    }
  }
}
vector<mint> mul(const vector<mint> &u, const vector<mint> &v) {
  int n = 1;
  while (n < int(u.size() + v.size())) {
    n *= 2;
  }
  vector<mint> a(u.begin(), u.end());
  vector<mint> b(v.begin(), v.end());
  a.resize(n);
  b.resize(n);
  ntt(a);
  ntt(b);
  for (int i = 0; i < n; ++i) {
    a[i] *= b[i];
  }
  ntt(a);
  mint inv = mint(n).inv();
  for (mint &i : a) {
    i *= inv;
  }
  reverse(a.begin() + 1, a.end());
  return a;
}
void solve() {
  int n;
  string s;
  cin >> n >> s;
  vector<mint> v(n), k(n);
  for (int i = 0; i < n; ++i) {
    if (s[i] == 'V') {
      v[i] = 1;
    } else if (s[i] == 'K') {
      k[n - 1 - i] = 1;
    }
  }
  vector<bool> bad(n + 1);
  vector<mint> vk = mul(v, k);
  for (int i = 0; i < 2 * n; ++i) {
    if (vk[i] != 0) {
      bad[abs(n - 1 - i)] = true;
    }
  }
  vector<int> ans;
  for (int i = 1; i <= n; ++i) {
    bool good = true;
    for (int j = i; j <= n; j += i) {
      good &= !bad[j];
    }
    if (good) {
      ans.push_back(i);
    }
  }
  cout << ans.size() << "\n";
  for (auto i : ans) {
    cout << i << " ";
  }
  cout << "\n";
}
int main() {
  ios_base::sync_with_stdio(false);
  cin.tie(nullptr);
  int t;
  cin >> t;
  while (t--) {
    solve();
  }
}