B3719 [语言月赛202303] Factorial B

Farmer John 的孩子做数学题时遇到了一个难题，想要请你解答一下。 这道数学题是，$n!$ 是否是 $12$ 的倍数。 $n!$ 是 $n$ 的阶乘。一般来讲，对于一个正整数 $n$，$n! = 1 \times 2 \times 3 \times \cdots \times n$。特别的，$0 ! = 1$。 Farmer John 也觉得这个问题太难了，因此他想要把这道题交给你来完成，请你帮助他完成这个问题。

输入共一行一个整数 $n$。

输出共一行一个字符串。 对第一行，如果 $n!$ 是 $12$ 的倍数，输出 `Yes`，否则输出 `No`。

### 样例 1 解释 $3! = 1 \times 2 \times 3 = 6$，不是 $12$ 的倍数。 ### 样例 2 解释 $7! = 1 \times 2 \times 3 \times 4 \times 5 \times 6 \times 7 = 5040$，是 $12$ 的倍数。 ### 数据规模与约定 对于 $100\%$ 的数据，保证 $0 \leq n \leq 10 ^ {18}$。 | 测试点编号 | $n$ | | :-----------: | :-----------: | | $1 \sim 3$ | $\leq 10$ | | $4 \sim 6$ | $\leq 10 ^ 6$ | | $7 \sim 10$ | $\leq 10 ^ {18}$ |