C - Reach

解説を見る
  • 実行時間制限:2000 ms
  • メモリ制限:1073741824 Bytes
  • 配点:100
  • ジャッジ:Batch

ストーリー

ある日,TyrannoくんとGyaosくんは最近Atsuo国で有名な AtsuoReacher というゲームをしていました.
Gyaosくん「リーチ!」
Tyrannoくん「うわぁ~」
Imosちゃん「ただいま~.なにやってるの?」
Gyaosくん「 AtsuoReacher っていうゲームだよ.いまちょうど自分がリーチしたところ」
Imosちゃん「?これって本当にリーチできる?」
Tyrannoくん,Gyaosくん「えっ」

問題文

正整数 NN と長さが 3N+23N+2 の数列 A=(A1,A2,,A3N+2)A=(A_1,A_2,…,A_{3N+2}) が与えられます.
ここで,数列 AANN つの長さ 33 の数列 B1=(B11,B12,B13),B2=(B21,B22,B23),...,BN=(BN1,BN2,BN3)B_1=({B_1}_1, {B_1}_2, {B_1}_3), B_2=({B_2}_1, {B_2}_2, {B_2}_3), ..., B_N=({B_N}_1, {B_N}_2, {B_N}_3)22 つの数字 x,yx, y に分けることを考えます.
数列 AA の要素のうち,ちょうど 11 つを 11 以上 21052 \cdot 10^5 以下の整数に変えることで以下の条件をすべて満たすように分けることのできる数列 AA が作れるとき,Gyaosくんはリーチができます.

  • 22 つの数字 x,yx, y が等しい
  • 11 以上 NN 以下の整数 ii について、Bi1=Bi2=Bi3{B_i}_1 = {B_i}_2 = {B_i}_3Bi1+2=Bi2+1=Bi3{B_i}_1 + 2 = {B_i}_2 + 1 = {B_i}_3 が成立する

Gyaosくんはリーチできるかどうかを出力してください.

制約

  • 入力はすべて整数
  • 1N21051 \leq N \leq 2 \cdot 10^5
  • 1Ai21051 \leq A_i \leq 2 \cdot 10^5

入力

入力は以下の形式で標準入力から与えられる.

NN
A1 A2 ... A3N+2A_1~A_2~...~A_{3N+2}

出力

Gyaosくんがリーチできるならば Yes を,そうでないならば No を出力せよ.

入力例1

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

出力例1

Yes

例えば,A11A_{11}55 から 66 に変更することで,B1=(1(A1),1(A2),1(A3)),B2=(3(A6),4(A7),5(A9)),B3=(4(A8),5(A10),6(A11)),B4=(6(A12),6(A13),6(A14)),x=2(A4),y=2(A5)B_1=(1(A_1), 1(A_2), 1(A_3)), B_2=(3(A_6), 4(A_7), 5(A_9)), B_3=(4(A_8), 5(A_{10}), 6(A_{11})), B_4=(6(A_{12}), 6(A_{13}), 6(A_{14})), x=2(A_4), y=2(A_5) とすれば条件を満たします.

入力例2

4
12345 67890 200000 99999 1 2 3 4 5 6 7 8 9 10

出力例2

No

入力は昇順に与えられるとは限りません.