AT_abc350_a [ABC350A] Past ABCs

给定一个长度为 $6$ 的字符串 $S$。保证 $S$ 的前 $3$ 个字符为 `ABC`，末尾 $3$ 个字符为数字。 请判断 $S$ 是否为本场比赛开始前，在 AtCoder 上举办并已结束的比赛的简称。 具体来说，字符串 $T$ 被认为是“本场比赛开始前在 AtCoder 上举办并已结束的比赛的简称”，当且仅当 $T$ 等于以下 $348$ 个字符串中的某一个： `ABC001`、`ABC002`、$\ldots$、`ABC314`、`ABC315`、`ABC317`、`ABC318`、$\ldots$、`ABC348`、`ABC349` 特别注意，`ABC316` 不包含在内。

输入为一行，包含一个字符串 $S$。

如果 $S$ 是本场比赛开始前在 AtCoder 上举办并已结束的比赛的简称，则输出 `Yes`，否则输出 `No`。

## 限制 - $S$ 是一个长度为 $6$ 的字符串，前 $3$ 个字符为 `ABC`，后 $3$ 个字符为数字。 ## 样例解释 1 `ABC349` 是上周在 AtCoder 上举办并已结束的比赛的简称。 ## 样例解释 2 `ABC350` 是本场比赛，还未结束。 ## 样例解释 3 `ABC316` 并未在 AtCoder 上举办。 由 ChatGPT 4.1 翻译