[LnOI2019SP] 龟速单项式变换(SMT)
题目背景
题目提供者：朝田诗乃
众所周知，这是一题签到题。
题目描述
有如下定义：若正整数序列 $a$ 中存在连续若干个正整数的和为 $m$ 的倍数，则这个正整数序列 $a$ 被称为“$m$ 序列”。
给定 $n$ 和 $m$，你需要知道长度为 $n$ 的任意正整数序列 $a$ 是否都是“$m$ 序列”。
输入输出格式
输入格式
两个数，$n$ 和 $m$。
输出格式
如果成立输出 `YES` 否则输出 `NO`。
输入输出样例
输入样例 #1
2 4
输出样例 #1
NO
说明
样例解释：存在反例 $[1, 2]$。
Subtask 1 (50 pts)：$1 \le n, m \le 5$。
Subtask 2 (50 pts)：$1 \le n, m \le {10}^{18}$。