#include using namespace std; using ll = long long; #define SPEED cin.tie(0);ios::sync_with_stdio(false); template class DisjointSparseTable{ public: Operator Op; using typeNode = decltype(Op.unitNode); size_t depth; size_t length; vector node; vector msb; DisjointSparseTable(const vector& vec) { for(depth = 0;(1<>j) msb[i] = j; //init value node.resize(depth*length,Op.unitNode); for(int i = 0; i < vec.size(); ++i) node[i] = vec[i]; for(int i = 1; i < depth; ++i) { for(int r = (1<r||l<0||length<=r) ? Op.unitNode: (l==r ? node[l] : Op.funcNode(node[msb[l^r]*length+l],node[msb[l^r]*length+r])); } }; template class SparseTable{ public: Operator Op; using typeNode = decltype(Op.unitNode); vector node; vector idx; size_t depth; size_t length; SparseTable(const vector& vec) { for(depth = 0;(1<>1] + 1; } //[l,r) typeNode get(int l,int r) { int bit = idx[r-l]; return funcNode(node[bit*length+l],node[bit*length+r - (1< funcNode1 = [&](ll l,ll r){return min(l,r);}; // function funcNode2 = [&](ll l,ll r){return max(l,r);}; // SparseTable stMin(A,funcNode1),stMax(A,funcNode2); //区間GCD template struct nodeGCD { typeNode unitNode = 0; typeNode funcNode(typeNode l,typeNode r){return ((r == 0) ? l : funcNode(r, l % r));} }; // solution by binary search in arbitary range on disjn sparse table int main() { SPEED int N; cin >> N; vector A(N+1,1); for(int i = 0; i < N; ++i) cin >> A[i]; DisjointSparseTable> dst(A); ll ans = 0; for(int i = 0; i < N; ++i) { if(A[i] == 1){ ans += (N-i); } else{ int ok = N,ng = i,md; while(ok-ng>1){ md = (ok+ng)>>1; (dst.get(i,md+1)==1?ok:ng)=md; } ans += (N-ok); } } cout << ans << endl; }