問題文

長さ $2N$ の整数列 $A=(A_0,A_1,\ldots,A_{2N-1})$ が与えられます。

以下の条件を満たす長さ $2N$ の整数列 $B=(B_0,B_1,\ldots,B_{2N-1})$ が存在するか判定してください。

• すべての $i$ について、 $A_i \neq -1$ ならば $A_i=B_i$

• ある整数対 $(s,t)$ が存在して、 $0 \le i < N$ に対して $B_{(s+i)\bmod {2N}}=B_{(t-i)\bmod {2N}}$ を満たす

(原案 : keisuke6)

入力

$N$
$A_0$ $A_1$ $\ldots$ $A_{2N-1}$

• $1 \le N \le 5 \times 10^4$
• $A_i=-1$ または $1 \le A_i \le 2N$
• 入力はすべて整数

出力

存在するならば Yes 、存在しないならば No と出力せよ。

サンプル

2
1 -1 2 -1

Yes

2
1 2 3 4

No

4
1 2 7 4 1 8 -1 3

No