{"raw_statement":[{"iden":"statement","content":"Farmer John 的孩子做数学题时遇到了一个难题，想要请你解答一下。\n\n这道数学题是，$n!$ 是否是 $12$ 的倍数。\n\n$n!$ 是 $n$ 的阶乘。一般来讲，对于一个正整数 $n$，$n! = 1 \\times 2 \\times 3 \\times \\cdots \\times n$。特别的，$0 ! = 1$。\n\nFarmer John 也觉得这个问题太难了，因此他想要把这道题交给你来完成，请你帮助他完成这个问题。"},{"iden":"input","content":"输入共一行一个整数 $n$。"},{"iden":"output","content":"输出共一行一个字符串。\n\n对第一行，如果 $n!$ 是 $12$ 的倍数，输出 `Yes`，否则输出 `No`。"},{"iden":"note","content":"### 样例 1 解释\n\n$3! = 1 \\times 2 \\times 3 = 6$，不是 $12$ 的倍数。\n\n### 样例 2 解释\n\n$7! = 1 \\times 2 \\times 3 \\times 4 \\times 5 \\times 6 \\times 7 = 5040$，是 $12$ 的倍数。\n\n### 数据规模与约定\n\n对于 $100\\%$ 的数据，保证 $0 \\leq n \\leq 10 ^ {18}$。\n\n| 测试点编号 | $n$ |\n| :-----------: | :-----------: |\n| $1 \\sim 3$ | $\\leq 10$ |\n| $4 \\sim 6$ | $\\leq 10 ^ 6$ |\n| $7 \\sim 10$ | $\\leq 10 ^ {18}$ |\n"}],"translated_statement":null,"sample_group":[["3","No"],["7","Yes"]],"show_order":[],"formal_statement":null,"simple_statement":null,"has_page_source":false}