{"raw_statement":[{"iden":"background","content":"迷茫的 ScaredQiu 总是会想起 2014 年，如果你问他现在的年份，他可能也会告诉你是 2014 年。"},{"iden":"statement","content":"定义 2014 串为一个由若干个 `2014` 首尾相接连成的字符串，例如 `20142014` 和 `201420142014`是 2014 串，而 `2014201` 和 `572364` 不是 2014 串。\n\n给定一个仅包含从 $0$ 到 $9$ 的数字的字符串 $S$，你每次操作可以交换 $S$ 中任意两个字符。判断是否能通过执行任意多次（可以为 $0$ 次）操作将 $S$ 变为 2014 串。"},{"iden":"input","content":"第一行输入一个整数 $n$ 表示字符串 $S$ 的长度。  \n第二行输入一个长度为 $n$ 的字符串 $S$，保证 $S$ 仅包含从 $0$ 到 $9$ 的数字。"},{"iden":"output","content":"如果可以将 $S$ 变为 2014 串，输出 `Yes`；否则输出 `No`。"},{"iden":"note","content":"对于 $20\\%$ 的数据，$1 \\leq n\\leq 8$。  \n对于 $40\\%$ 的数据，$1\\leq n \\leq 18$。  \n对于另外 $20\\%$ 的数据，保证 $S$ 仅包含 $0,1,2,4$ 四种数字。  \n对于 $100\\%$ 的数据，$1 \\leq n \\leq 10^6$，字符串 $S$ 仅包含从 $0$ 到 $9$ 的数字。"}],"translated_statement":null,"sample_group":[["8\n52510961\n","No\n"],["10\n0573963380\n","No\n"],["12\n140021214240\n","Yes\n"]],"show_order":[],"formal_statement":null,"simple_statement":null,"has_page_source":false}