AT_abc350_a [ABC350A] Past ABCs

[problemUrl]: https://atcoder.jp/contests/abc350/tasks/abc350_a 長さ $ 6 $ の文字列 $ S $ が与えられます。$ S $ の先頭 $ 3 $ 文字は `ABC` であり、末尾 $ 3 $ 文字は数字であることが保証されます。 $ S $が、このコンテスト開始以前に AtCoder上で開催され終了したコンテストの略称であるかどうか判定してください。 ただし、文字列 $ T $ が「このコンテスト開始以前に AtCoder上で開催され終了したコンテストの略称」であるとは、以下の $ 348 $ 個の文字列のうちいずれかに等しいことと定めます。 `ABC001`, `ABC002`, $ \ldots $, `ABC314`, `ABC315`, `ABC317`, `ABC318`, $ \ldots $, `ABC348`, `ABC349` 特に `ABC316` が含まれないことに注意してください。

入力は以下の形式で標準入力から与えられる。 > $ S $

$ S $が、このコンテスト開始以前に AtCoder上で開催され終了したコンテストの略称であるなら `Yes`、そうでないなら `No` と出力せよ。

### 制約 - $ S $ は先頭 $ 3 $ 文字が `ABC`、末尾 $ 3 $ 文字が数字である長さ $ 6 $ の文字列 ### Sample Explanation 1 `ABC349` は先週AtCoder上で開催され終了したコンテストの略称です。 ### Sample Explanation 2 `ABC350` はこのコンテストです。まだ終了していません。 ### Sample Explanation 3 `ABC316` はAtCoder上で開催されていません。