题目描述

给定一个长度为 $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。

样例 1

输入

ABC349

输出

Yes

样例 2

输入

ABC350

输出

No

样例 3

输入

ABC316

输出

No

说明/提示

限制

• $S$ 是一个长度为 $6$ 的字符串，前 $3$ 个字符为 ABC，后 $3$ 个字符为数字。

样例解释 1

ABC349 是上周在 AtCoder 上举办并已结束的比赛的简称。

样例解释 2

ABC350 是本场比赛，还未结束。

样例解释 3

ABC316 并未在 AtCoder 上举办。

由 ChatGPT 4.1 翻译