カードゲーム 2 (Card Game 2)

ビ太郎は N 枚のカードを持っており，i 枚目 (1 ≦ i ≦ N) のカードには整数 Ai が書かれている． これらの中から次の条件を満たすような 3 枚のカードを選びたい．

条件: 選んだカードに書かれている整数が 3 ずつ離れている． 厳密には，選んだカードに書かれている整数が，ある整数 x を用いて x, x+3, x+6 と表せる．

例えば，ビ太郎が 5 枚のカードを持っており，それぞれに 2, 4, 5, 7, 10 が書かれているとき，4, 7, 10 が書かれているカードを選ぶと，条件を満たす．

ビ太郎が持っているカードの情報が与えられたとき，条件を満たすように 3 枚のカードを選ぶことができるかどうか判定するプログラムを作成せよ．

入力は以下の形式で与えられる．

N
A1   A2   …   AN

条件を満たすように 3 枚のカードを選ぶことができる場合 Yes を，そうでない場合 No を出力せよ．

• 3 ≦ N ≦ 200 000．
• 1 ≦ Ai ≦ 200 000 (1 ≦ i ≦ N)．
• 入力される値はすべて整数である．