#line 1 "main.cpp" #define PROBLEM "https://yukicoder.me/problems/no/1036" #line 2 "lib/template.cpp" #ifndef LOCAL #pragma GCC diagnostic warning "-w" #pragma GCC optimize("O3") #pragma GCC optimize("unroll-loops") #pragma GCC target("avx") #endif #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include using namespace std; using ll = long long; using ull = unsigned long long; using VI = vector; using VVI = vector>; using VLL = vector; using VVLL = vector>; using VB = vector; using PII = pair; using PLL = pair; template using minheap = priority_queue, greater>; constexpr int INF = 1000000007; constexpr ll INF_LL = 1'000'000'000'000'000'007; #define EXIT(out) do { OUT(out); exit(0); } while (0) #define all(x) begin(x), end(x) #define rall(x) rbegin(x), rend(x) #define newl "\n" #define __overload3(_1, _2, _3, name, ...) name #define rep(...) __overload3(__VA_ARGS__, repFromUntil, repUntil, repeat)(__VA_ARGS__) #define repeat(times) _repeat(_repeat, __COUNTER__, times) #define _repeat(_repeat, cnt, times) _repeat2(_repeat, cnt, times) #define _repeat2(_repeat, cnt, times) repFromUntil(_repeat ## cnt, 0, times) #define repUntil(name, times) repFromUntil(name, 0, times) #define repFromUntil(name, from, until) for (int name = from, name ## __until = (until); name < name ## __until; name++) #define repr(...) __overload3(__VA_ARGS__, reprFromUntil, reprUntil, repeat)(__VA_ARGS__) #define reprUntil(name, times) reprFromUntil(name, 0, times) #define reprFromUntil(name, from, until) for (int name = (until)-1, name ## __from = (from); name >= name ## __from; name--) #define repi(it, ds) for (auto it = ds.begin(); it != ds.end(); it++) template bool chmin(T& var, U x) { if (var > x) { var = x; return true; } else return false; } template bool chmax(T& var, U x) { if (var < x) { var = x; return true; } else return false; } template int sgn(T val) { return (T(0) < val) - (val < T(0)); } ll power(ll e, ll t, ll mod = INF_LL) { ll res = 1; while (t) { if (t & 1) res = (res * e) % mod; t >>= 1; e = (e * e) % mod; } return res; } ll choose(ll n, int r) { chmin(r, n-r); if (r < 0) return 0; ll res = 1; rep(i, r) res *= n-i, res /= i+1; return res; } template T divceil(T m, T d) { assert(m >= 0 and d > 0); return (m + d - 1) / d; } template vector make_v(size_t a, T b) { return vector(a, b); } template auto make_v(size_t a, Ts... ts) { return vector(a, make_v(ts...)); } string operator*(const string& s, int times) { string res = ""; rep(times) res += s; return res; } struct Edge { int to; ll cost; Edge(int _to) : to(_to), cost(1) {} Edge(int _to, ll _cost) : to(_to), cost(_cost) {} operator int() { return to; } }; using Graph = vector>; // IO // formatted version of following is at https://shino-sky.github.io/cp-lib/library/formatted_template.cpp.html #pragma GCC diagnostic push #pragma GCC diagnostic ignored "-Wmisleading-indentation" class MyScanner { public: int offset = 0; char nc(){ return getchar(); } template void input_integer(T& var) { var = 0; T sign = 1; int cc = nc(); for (; cc < '0' || '9' < cc; cc = nc()) if (cc == '-') sign = -1; for (; '0' <= cc && cc <= '9'; cc = nc()) var = (var << 3) + (var << 1) + cc - '0'; var = var * sign; var += offset; } int c() { char c; while (c = nc(), c == ' ' or c == '\n'); return c; } MyScanner& operator>>(char& var) { var = c(); return *this; } MyScanner& operator>>(int& var) { input_integer(var); return *this; } MyScanner& operator>>(ll& var) { input_integer(var); return *this; } MyScanner& operator>>(string& var) { var = ""; int cc = nc(); for (; !isvisiblechar(cc); cc = nc()); for (; isvisiblechar(cc); cc = nc()) var.push_back(cc); return *this; } template operator T() { T x; *this >> x; return x; } template void operator()(T &t) { * this >> t; } template void operator()(T &t, Ts &...ts) { *this >> t; this->operator()(ts...); } template void iter(Iter first, Iter last) { while (first != last) *this >> *first, first++; } VI vi(int n) { VI res(n); iter(all(res)); return res; } VVI vvi(int n, int m) { VVI res(n); rep(i, n) res[i] = vi(m); return res; } VLL vll(int n) { VLL res(n); iter(all(res)); return res; } VVLL vvll(int n, int m) { VVLL res(n); rep(i, n) res[i] = vll(m); return res; } template vector v(int n) { vector res(n); iter(all(res)); return res; } private: int isvisiblechar(int c) { return 0x21 <= c && c <= 0x7E; } } IN, IN1{-1}; class MyPrinter { public: int offset = 0; template void output_integer(T var) { var += offset; if (var == 0) { putchar('0'); return; } if (var < 0) putchar('-'), var = -var; char stack[32]; int stack_p = 0; while (var) stack[stack_p++] = '0' + (var % 10), var /= 10; while (stack_p) putchar(stack[--stack_p]); } MyPrinter& operator <<(char c) { putchar(c); return *this; } MyPrinter& operator<<(double x) { printf("%.10f", x); return *this; } template MyPrinter& operator<<(T var) { output_integer(var); return *this; } MyPrinter& operator<<(char* str_p) { while (*str_p) putchar(*(str_p++)); return *this; } MyPrinter& operator<<(const char* str_p) { while (*str_p) putchar(*(str_p++)); return *this; } MyPrinter& operator<<(const string& str) { const char* p = str.c_str(); const char* l = p + str.size(); while (p < l) putchar(*p++); return *this; } template void operator()(T x) { *this << x << newl; } template void operator()(T x, Ts ...xs) { *this << x << " "; this->operator()(xs...); } template void iter(Iter s, Iter t) { if (s == t) *this << "\n"; else for (; s != t; s++) *this << *s << " \n"[next(s, 1) == t]; } } OUT, OUT1{1}; template MyPrinter& operator<<(MyPrinter& out, const pair& var) { return out << var.first << " " << var. second; } template * = nullptr> MyPrinter& tuple_impl(MyPrinter& out, const Tuple& var) { return out; } template * = nullptr> MyPrinter& tuple_impl(MyPrinter& out, const Tuple& var) { out << get(var) << " "; return tuple_impl(out, var) ; } template MyPrinter& operator<<(MyPrinter& out, const tuple& var) { return tuple_impl, 0, sizeof...(Ts)>(out, var); } template MyScanner& operator>>(MyScanner& in, pair& var) { return in >> var.first >> var. second; } template * = nullptr> MyScanner& tuple_impl(MyScanner& in, Tuple& var) { return in; } template * = nullptr> MyScanner& tuple_impl(MyScanner& in, Tuple & var) { in >> get(var); return tuple_impl(in, var); } template MyScanner& operator>>(MyScanner& in, tuple& var) { return tuple_impl, 0, sizeof...(Ts)>(in, var); } class DebugPrint { public: template DebugPrint& operator <<(const T& v) { #ifdef LOCAL cerr << v; #endif return *this; } } debugos; template DebugPrint& operator<<(DebugPrint& os, const vector& vec) { os << "{"; for (int i = 0; i < vec.size(); i++) os << vec[i] << (i + 1 == vec.size() ? "" : ", "); os << "}"; return os; } template DebugPrint& operator<<(DebugPrint& os, map& map_var) { os << "{"; repi(itr, map_var) { os << *itr; itr++; if (itr != map_var.end()) os << ", "; itr--; } os << "}"; return os; } template < typename T> DebugPrint& operator<<(DebugPrint& os, set& set_var) { os << "{"; repi(itr, set_var) { os << *itr; itr++; if (itr != set_var.end()) os << ", "; itr--; } os << "}"; return os; } void dump_func() { debugos << newl; } template void dump_func(Head &&head, Tail &&...tail) { debugos << head; if (sizeof...(Tail) > 0) { debugos << ", "; } dump_func(std::move(tail)...); } #define dump(...) debugos << " " << string(#__VA_ARGS__) << ": " << "[" << to_string(__LINE__) \ << ":" << __FUNCTION__ << "]" << newl << " ", dump_func(__VA_ARGS__) #pragma GCC diagnostic pop #line 2 "lib/data-structure/disjoint-sparse-table.cpp" #line 2 "lib/util/function-objects.cpp" #line 4 "lib/util/function-objects.cpp" struct minT { template T operator()(T a, T b) const { return min(a, b); } }; struct maxT { template T operator()(T a, T b) const { return max(a, b); } }; #pragma GCC diagnostic push #pragma GCC diagnostic ignored "-Wunused-parameter" struct assignT { template T operator()(T a, T b, int k = 0) const { return b; } }; #pragma GCC diagnostic pop struct plusT { template T operator()(T a, T b, int k) const { return a + b * k; } }; #line 5 "lib/data-structure/disjoint-sparse-table.cpp" template class DisjointSparseTable { private: const int n, h; vector> table; const F f; public: DisjointSparseTable() {} template DisjointSparseTable(Iter first, Iter last, F _f = F()) : n(distance(first, last)), h(32 - __builtin_clz(n)), table(h, vector(n)), f(_f) { move(first, last, table[0].begin()); rep(s, 1, h) rep(k, (n + (1 << (s + 1)) - 1) >> (s + 1)) { int l = k << (s + 1); int m = min(n, l + (1 << s)); int r = min(n, m + (1 << s)); table[s][m - 1] = table[0][m - 1]; repr(i, l, m - 1) table[s][i] = f(table[0][i], table[s][i + 1]); if (m != n) { table[s][m] = table[0][m]; rep(i, m + 1, r) table[s][i] = f(table[s][i - 1], table[0][i]); } } } public: T fold(int l, int r) { r--; if (l == r) return table[0][l]; int s = 32 - __builtin_clz(l ^ r) - 1; return f(table[s][l], table[s][r]); } }; #ifdef __cpp_deduction_guides template DisjointSparseTable(Iter first, Iter last, F _f = F()) -> DisjointSparseTable; #endif #line 5 "main.cpp" int main() { int n = IN; auto a = IN.vll(n); DisjointSparseTable dst(all(a), __gcd); ll res = 0; int r = 0; rep(l, n) { while (r <= l) r++; while (r < n and dst.fold(l, r) != 1) r++; if (dst.fold(l, r) == 1) res += n + 1 - r; } OUT(res); }