AT_arc069_b.[ABC055D] Menagerie

因为喜欢动物，すぬけくん建造了一个动物园。

在这个动物园中，有 $1,2,3,...,N$ 编号的 $N$ 只动物按环状排列。编号为 $i$（$2 \le i \le N-1$）的动物与编号 $i-1$ 和 $i+1$ 的动物相邻。而 $1$ 号动物与 $N$ 号和 $2$ 号动物相邻，$N$ 号动物与 $N-1$ 号和 $1$ 号动物相邻。

在动物园中有两类动物：只说真话的“羊”，以及只说假话的“狼”。

すぬけくん无法分辨谁是“羊”谁是“狼”，于是向每只动物询问它的左右邻居是否为同一种类。第 $i$ 只动物的回答为 $s_i$。若 $s_i$ 为 o，表示第 $i$ 只动物说自己的两侧邻居是同一种类，若为 x，表示为不同种类。

更正式地说，当一只“羊”的左右邻居同为“羊”，或同为“狼”时，它会说 o，否则说 x。当一只“狼”的左右邻居同为“羊”或同为“狼”时，它会说 x，否则说 o。

すぬけくん很好奇，是否存在一种动物种类的分配方式，不与这些回答相矛盾。如果存在，请给出一种方案；如果不存在，请输出 -1。

输入通过标准输入给出，格式如下：

$N$ $s$

如果不存在与 $s$ 不矛盾的动物种类分配方式，请输出 -1。

如果存在，请输出一个仅由 S（羊）和 W（狼）组成的长度为 $N$ 的字符串 $t$。$t_i$ 为 S 表示第 $i$ 只动物为“羊”，为 W 表示为“狼”。只要输出的方案与 $s$ 不矛盾，即视为正确答案。

约束条件

• $3 \le N \le 10^5$
• $s$ 是仅由 o 和 x 组成的、长度为 $N$ 的字符串

样例解释 1

例如编号 $1,2,3,4,5,6$ 的动物分别为羊、羊、羊、狼、狼、羊时，与所有动物的发言均不矛盾。或如“狼、羊、狼、羊、狼、狼”的分配也不矛盾。要注意，若一只羊的两侧邻居相同，则说 o，若不同则说 x；而狼正好相反。

样例解释 2

如果不存在满足条件的方案，请输出 -1。

由 ChatGPT 5 翻译