#pragma region Macros #pragma GCC optimize("O3") #pragma GCC target("avx2,avx") #pragma GCC optimize("unroll-loops") #include #define ll long long #define ld long double #define rep2(i, a, b) for(ll i = a; i <= b; ++i) #define rep(i, n) for(ll i = 0; i < n; ++i) #define rep3(i, a, b) for(ll i = a; i >= b; --i) #define pii pair #define pll pair #define pb push_back #define eb emplace_back #define vi vector #define vll vector #define vpi vector #define vpll vector #define overload2(_1, _2, name, ...) name #define vec(type, name, ...) vector name(__VA_ARGS__) #define VEC(type, name, size) \ vector name(size); \ IN(name) #define vv(type, name, h, ...) vector> name(h, vector(__VA_ARGS__)) #define VV(type, name, h, w) \ vector> name(h, vector(w)); \ IN(name) #define vvv(type, name, h, w, ...) vector>> name(h, vector>(w, vector(__VA_ARGS__))) #define vvvv(type, name, a, b, c, ...) \ vector>>> name(a, vector>>(b, vector>(c, vector(__VA_ARGS__)))) #define fi first #define se second #define all(c) begin(c), end(c) #define ios ios_base::sync_with_stdio(0), cin.tie(0), cout.tie(0); #define lb(c, x) distance((c).begin(), lower_bound(all(c), (x))) #define ub(c, x) distance((c).begin(), upper_bound(all(c), (x))) using namespace std; template using pq = priority_queue; template using pqg = priority_queue, greater>; #define si(c) (int)(c).size() #define INT(...) \ int __VA_ARGS__; \ IN(__VA_ARGS__) #define LL(...) \ ll __VA_ARGS__; \ IN(__VA_ARGS__) #define ULL(...) \ ull __VA_ARGS__; \ IN(__VA_ARGS__) #define STR(...) \ string __VA_ARGS__; \ IN(__VA_ARGS__) #define CHR(...) \ char __VA_ARGS__; \ IN(__VA_ARGS__) #define DBL(...) \ double __VA_ARGS__; \ IN(__VA_ARGS__) #define LD(...) \ ld __VA_ARGS__; \ IN(__VA_ARGS__) int scan() { return getchar(); } void scan(int &a) { cin >> a; } void scan(long long &a) { cin >> a; } void scan(char &a) { cin >> a; } void scan(double &a) { cin >> a; } void scan(long double &a) { cin >> a; } void scan(string &a) { cin >> a; } template void scan(vector &); template void scan(vector &a) { for(auto &i : a) scan(i); } template void scan(T &a) { cin >> a; } void IN() {} template void IN(Head &head, Tail &... tail) { scan(head); IN(tail...); } string stin() { string s; cin >> s; return s; } template inline bool chmax(T &a, S b) { if(a < b) { a = b; return 1; } return 0; } template inline bool chmin(T &a, S b) { if(a > b) { a = b; return 1; } return 0; } vi iota(int n) { vi a(n); iota(all(a), 0); return a; } template void UNIQUE(vector &x) { sort(all(x)); x.erase(unique(all(x)), x.end()); } int in() { int x; cin >> x; return x; } ll lin() { unsigned long long x; cin >> x; return x; } void print() { putchar(' '); } void print(bool a) { cout << a; } void print(int a) { cout << a; } void print(long long a) { cout << a; } void print(char a) { cout << a; } void print(string &a) { cout << a; } void print(double a) { cout << a; } template void print(const vector &); template void print(const array &); template void print(const pair &p); template void print(const T (&)[size]); template void print(const vector &a) { if(a.empty()) return; print(a[0]); for(auto i = a.begin(); ++i != a.end();) { cout << " "; print(*i); } cout << endl; } template void print(const deque &a) { if(a.empty()) return; print(a[0]); for(auto i = a.begin(); ++i != a.end();) { cout << " "; print(*i); } } template void print(const array &a) { print(a[0]); for(auto i = a.begin(); ++i != a.end();) { cout << " "; print(*i); } } template void print(const pair &p) { cout << '('; print(p.first); cout << ","; print(p.second); cout << ')'; } template void print(set &x) { for(auto e : x) print(e), cout << " "; cout << endl; } template void print(multiset &x) { for(auto e : x) print(e), cout << " "; cout << endl; } template void print(const T (&a)[size]) { print(a[0]); for(auto i = a; ++i != end(a);) { cout << " "; print(*i); } } template void print(const T &a) { cout << a; } int out() { putchar('\n'); return 0; } template int out(const T &t) { print(t); putchar('\n'); return 0; } template int out(const Head &head, const Tail &... tail) { print(head); putchar(' '); out(tail...); return 0; } ll gcd(ll a, ll b) { while(b) { ll c = b; b = a % b; a = c; } return a; } ll lcm(ll a, ll b) { if(!a || !b) return 0; return a * b / gcd(a, b); } vector factor(ll x) { vector ans; for(ll i = 2; i * i <= x; i++) if(x % i == 0) { ans.push_back({i, 1}); while((x /= i) % i == 0) ans.back().second++; } if(x != 1) ans.push_back({x, 1}); return ans; } template vector divisor(T x) { vector ans; for(T i = 1; i * i <= x; i++) if(x % i == 0) { ans.pb(i); if(i * i != x) ans.pb(x / i); } return ans; } template void zip(vector &x) { vector y = x; sort(all(y)); for(int i = 0; i < x.size(); ++i) { x[i] = lb(y, x[i]); } } int popcount(ll x) { return __builtin_popcountll(x); } mt19937 rng(chrono::steady_clock::now().time_since_epoch().count()); int rnd(int n) { return uniform_int_distribution(0, n - 1)(rng); } ll rndll(ll n) { return uniform_int_distribution(0, n - 1)(rng); } template void shuffle(vector &v) { rep3(i, v.size() - 1, 1) { swap(v[i], v[rnd(i)]); } } #define endl '\n' vector YES{"NO", "YES"}; vector Yes{"No", "Yes"}; vector yes{"no", "yes"}; #ifdef _LOCAL #undef endl #define debug(x) \ cout << #x << ": "; \ print(x); \ cout << endl; void err() {} template void err(const T &t) { print(t); cout << " "; } template void err(const Head &head, const Tail &... tail) { print(head); putchar(' '); out(tail...); } #else #define debug(x) template void err(const T &...) {} #endif template struct edge { int from, to; T cost; int id; edge(int to, T cost) : from(-1), to(to), cost(cost) {} edge(int from, int to, T cost) : from(from), to(to), cost(cost) {} edge(int from, int to, T cost, int id) : from(from), to(to), cost(cost), id(id) {} edge &operator=(const int &x) { to = x; return *this; } operator int() const { return to; } }; template using Edges = vector>; struct Graph : vector> { using vector>::vector; Graph(int n, int m) : vector(n) { read(m); } inline void add(int a, int b, bool directed = false) { (*this)[a].emplace_back(b); if(!directed) (*this)[b].emplace_back(a); } void read(int n = -1, int offset = 1, bool directed = false) { if(n == -1) n = this->size() - 1; int a, b; while(n--) { cin >> a >> b; Graph::add(a - offset, b - offset, directed); } } }; template struct WeightedGraph : vector> { using vector>::vector; inline void add(int a, int b, T c, bool directed = false) { (*this)[a].emplace_back(b, c); if(!directed) (*this)[b].emplace_back(a, c); } void read(int n = -1, int offset = 1) { if(n == -1) n = this->size() - 1; int a, b; T c; while(n--) { cin >> a >> b >> c; WeightedGraph::add(a - offset, b - offset, c); } } }; struct Setup_io { Setup_io() { ios_base::sync_with_stdio(0), cin.tie(0), cout.tie(0); cout << fixed << setprecision(15); } } setup_io; #define i128 __int128_t #define ull unsigned long long int #define TEST \ INT(testcases); \ while(testcases--) #pragma endregion template static constexpr T inf = numeric_limits::max() / 2; // _________コーディングはここから!!___________ main() { INT(n); VEC(int, a, n); bool flag = true; ll rui = 0; rep3(i, n - 1, 0) { ll s = i + 1; if(!(a[i] <= s) or !((rui + a[i]) % s == 0)) flag = false; rui += a[i]; } cout << Yes[flag] << endl; }