#include using namespace std; #include using namespace atcoder; using ll = long long; using ql = queue; using sl = set; using vl = vector; using msl = multiset; using Graph = vector>; using P = pair; template inline bool chmax(T &a, T b) { return ((a < b) ? (a = b, true) : (false)); } template inline bool chmin(T &a, T b) { return ((a > b) ? (a = b, true) : (false)); } #define YES \ { \ cout << "Yes\n"; \ exit(0); \ } #define NO \ { \ cout << "No\n"; \ exit(0); \ } #define rep1(i, n) for(ll i = 1; i <= ((ll)n); ++i) #define rep(i, n) for(ll i = 0; i < ((ll)n); ++i) #define ALL(a) (a).begin(), (a).end() #define rALL(a) (a).rbegin(), (a).rend() #define INF ((1LL << 62) - (1LL << 31)) ll LCS(string s, string t) { ll n = s.size(), m = t.size(); Graph dp(n, vl(m, 0)); rep(i, n) { rep(j, m) { if(i) dp[i][j] = max(dp[i][j], dp[i - 1][j]); if(j) dp[i][j] = max(dp[i][j], dp[i][j - 1]); if(s[i] == t[j]) { if(i && j) dp[i][j] = max(dp[i][j], dp[i - 1][j - 1] + 1); else dp[i][j] = 1; } } } rep(i, n) { // rep(j,m)cout< size_t LIS(const std::vector &v) { std::vector dp; for(const auto &elem : v) { auto it = std::lower_bound(dp.begin(), dp.end(), elem); if(it == dp.end()) { dp.push_back(elem); } else { *it = elem; } } return dp.size(); } template size_t LIS(const std::vector &v) { std::vector dp; auto it = dp.begin(); for(const auto &elem : v) { if constexpr(Strict) { it = std::lower_bound(dp.begin(), dp.end(), elem); } else { it = std::upper_bound(dp.begin(), dp.end(), elem); } if(it == dp.end()) { dp.push_back(elem); } else { *it = elem; } } return dp.size(); } vector> prime_factorize(long long N) { // 答えを表す可変長配列 vector> res; // √N まで試し割っていく for(long long p = 2; p * p <= N; ++p) { // N が p で割り切れないならばスキップ if(N % p != 0) { continue; } // N の素因数 p に対する指数を求める int e = 0; while(N % p == 0) { // 指数を 1 増やす ++e; // N を p で割る N /= p; } // 答えに追加 res.emplace_back(p, e); } // 素数が最後に残ることがありうる if(N != 1) { res.emplace_back(N, 1); } return res; } vector divisor(long long n) { vector ret; for(long long i = 1; i * i <= n; i++) { if(n % i == 0) { ret.push_back(i); if(i * i != n) ret.push_back(n / i); } } sort(ret.begin(), ret.end()); // 昇順に並べる return ret; } template void print(T &d) { for(auto &i : d) cout << i << " "; if(d.size()) cout << endl; } vector dx = {1, 0, -1, 0}; vector dy = {0, 1, 0, -1}; // using mint = modint998244353; using mint = modint1000000007; // using mint = modint; ll MAX = 1e6; vector fac(MAX + 1, 1); vector ifac(MAX + 1, 1); mint binomial(ll n, ll k) { if(k < 0 || n < k) return 0; return fac[n] * ifac[n - k] * ifac[k]; } #include using namespace boost::multiprecision; cpp_int Mn(ll n){ cpp_int x = (1LL<> n; auto x = Mn(n+1); cpp_int y = 1; for(ll i = 2;i<=n;i++){ y*=Mn(i); } if(y%x==0){ cout << "Yes\n"; } else cout << "No" << endl; } int main() { // { // 前処理 MAX=1e6 // rep1(i, MAX) fac[i] = i * fac[i - 1]; // ifac[MAX] = fac[MAX].inv(); // for(ll i = MAX; i >= 1; i--) // ifac[i - 1] = ifac[i] * (i); // } ll t; t = 1; // cin >> t; rep(_, t) solve(); }