题目描述

给定一个长度为 $6$ 的字符串 $S$。保证 $S$ 的前3个字符是 ABC，最后3个字符是数字。

判断 $S$ 是否是在本次比赛开始前在AtCoder上已经举办并结束的比赛的简称。

对于字符串 $T$，它是"在本次比赛开始前在AtCoder上已经举办并结束的比赛的简称"当且仅当它等于以下 $348$ 个字符串之一：

$\text{ABC001}, \text{ABC002}, \ldots, \text{ABC314}, \text{ABC315}, \text{ABC317}, \text{ABC318}, \ldots, \text{ABC348}, \text{ABC349}$

特别注意，$\text{ABC316}$ 不包含在内。

输入格式

输入字符串$S$。

输出格式

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

样例

ABC349

Yes

ABC350

No

ABC316

No

样例解释

【样例1说明】
ABC349 是上周在AtCoder上举办并结束的比赛的简称。
【样例2说明】
ABC350 是本次比赛，尚未结束。
【样例3说明】
ABC316 在AtCoder上从未举办过。

数据范围

$S$ 是长度为 $6$ 的字符串，其中前3个字符是 ABC，最后3个字符是数字

来源

• AtCoder ABC350A