AT_agc016_b [AGC016B] Colorful Hats

[problemUrl]: https://atcoder.jp/contests/agc016/tasks/agc016_b $ N $ 匹の猫がいます。 猫には $ 1 $ から $ N $ まで番号が振られています。 各猫はある色の帽子を被っています。 猫 $ i $ は「自分を除く $ N-1 $ 匹の猫が被っている帽子の色の種類数はちょうど $ a_i $ である」と言っています。 すべての猫の発言と矛盾しないような帽子の色の組合せが存在するか判定してください。

入力は以下の形式で標準入力から与えられる。 > $ N $ $ a_1 $ $ a_2 $ $ ... $ $ a_N $

すべての猫の発言と矛盾しないような帽子の色の組合せが存在するならば、`Yes` を出力せよ。 存在しないならば、`No` を出力せよ。

### 制約 - $ 2\