// competitive-verifier: PROBLEM #include #include #include #include template struct Add { using value_type = T; static constexpr T id = T(0); static constexpr T op(const T &lhs, const T &rhs) { return lhs + rhs; } template static constexpr U f(T lhs, U rhs) { return lhs + rhs; } }; template struct Mul { using value_type = T; static constexpr T id = T(1); static constexpr T op(const T &lhs, const T &rhs) { return lhs * rhs; } template static constexpr U f(T lhs, U rhs) { return lhs * rhs; } }; template struct And { using value_type = T; static constexpr T id = std::numeric_limits::max(); static constexpr T op(const T &lhs, const T &rhs) { return lhs & rhs; } template static constexpr U f(T lhs, U rhs) { return lhs & rhs; } }; template struct Or { using value_type = T; static constexpr T id = T(0); static constexpr T op(const T &lhs, const T &rhs) { return lhs | rhs; } template static constexpr U f(T lhs, U rhs) { return lhs | rhs; } }; template struct Xor { using value_type = T; static constexpr T id = T(0); static constexpr T op(const T &lhs, const T &rhs) { return lhs ^ rhs; } template static constexpr U f(T lhs, U rhs) { return lhs ^ rhs; } }; template struct Min { using value_type = T; static constexpr T id = std::numeric_limits::max(); static constexpr T op(const T &lhs, const T &rhs) { return std::min(lhs, rhs); } template static constexpr U f(T lhs, U rhs) { return std::min((U)lhs, rhs); } }; template struct Max { using value_type = T; static constexpr T id = std::numeric_limits::min(); static constexpr T op(const T &lhs, const T &rhs) { return std::max(lhs, rhs); } template static constexpr U f(T lhs, U rhs) { return std::max((U)lhs, rhs); } }; template struct Update { using value_type = T; static constexpr T id = std::numeric_limits::max(); static constexpr T op(const T &lhs, const T &rhs) { return lhs == Update::id ? rhs : lhs; } template static constexpr U f(T lhs, U rhs) { return lhs == Update::id ? rhs : lhs; } }; template struct Affine { using value_type = std::pair; static constexpr std::pair id = std::pair(1, 0); static constexpr std::pair op(std::pair lhs, std::pair rhs) { return {lhs.first * rhs.first, lhs.first * rhs.second + lhs.second}; } }; template struct Rev { using T = typename M::value_type; using value_type = T; static constexpr T id = M::id; static constexpr T op(T lhs, T rhs) { return M::op(rhs, lhs); } }; template struct sliding_window_aggregation { private: using T = typename M::value_type; public: sliding_window_aggregation() : back_total(M::id), front(), back() { front.emplace(M::id); } bool empty() const { return front.empty() && back.empty(); } int size() const { return front.size() + back.size() - 1; } T fold() const { return M::op(back_total, front.top()); } void emplace(T val) { back.emplace(val); back_total = M::op(val, back_total); } void push(T val) { emplace(val); } void pop() { if (front.size() == 1) { while (!back.empty()) { front.emplace(M::op(front.top(), back.top())); back.pop(); } back_total = M::id; } front.pop(); } private: T back_total; std::stack front, back; }; #ifdef ATCODER #pragma GCC target("sse4.2,avx512f,avx512dq,avx512ifma,avx512cd,avx512bw,avx512vl,bmi2") #endif #pragma GCC optimize("Ofast,fast-math,unroll-all-loops") #include #ifndef ATCODER #pragma GCC target("sse4.2,avx2,bmi2") #endif template constexpr bool chmax(T &a, const U &b) { return a < (T)b ? a = (T)b, true : false; } template constexpr bool chmin(T &a, const U &b) { return (T)b < a ? a = (T)b, true : false; } constexpr std::int64_t INF = 1000000000000000003; constexpr int Inf = 1000000003; constexpr double EPS = 1e-7; constexpr double PI = 3.14159265358979323846; #define FOR(i, m, n) for (int i = (m); i < int(n); ++i) #define FORR(i, m, n) for (int i = (m)-1; i >= int(n); --i) #define FORL(i, m, n) for (int64_t i = (m); i < int64_t(n); ++i) #define rep(i, n) FOR (i, 0, n) #define repn(i, n) FOR (i, 1, n + 1) #define repr(i, n) FORR (i, n, 0) #define repnr(i, n) FORR (i, n + 1, 1) #define all(s) (s).begin(), (s).end() struct Sonic { Sonic() { std::ios::sync_with_stdio(false); std::cin.tie(nullptr); std::cout << std::fixed << std::setprecision(20); } constexpr void operator()() const {} } sonic; using namespace std; using ll = std::int64_t; using ld = long double; template std::istream &operator>>(std::istream &is, std::pair &p) { return is >> p.first >> p.second; } template std::istream &operator>>(std::istream &is, std::vector &v) { for (T &i : v) is >> i; return is; } template std::ostream &operator<<(std::ostream &os, const std::pair &p) { return os << '(' << p.first << ',' << p.second << ')'; } template std::ostream &operator<<(std::ostream &os, const std::vector &v) { for (auto it = v.begin(); it != v.end(); ++it) os << (it == v.begin() ? "" : " ") << *it; return os; } template void co(Head &&head, Tail &&...tail) { if constexpr (sizeof...(tail) == 0) std::cout << head << '\n'; else std::cout << head << ' ', co(std::forward(tail)...); } template void ce(Head &&head, Tail &&...tail) { if constexpr (sizeof...(tail) == 0) std::cerr << head << '\n'; else std::cerr << head << ' ', ce(std::forward(tail)...); } void Yes(bool is_correct = true) { std::cout << (is_correct ? "Yes\n" : "No\n"); } void No(bool is_not_correct = true) { Yes(!is_not_correct); } void YES(bool is_correct = true) { std::cout << (is_correct ? "YES\n" : "NO\n"); } void NO(bool is_not_correct = true) { YES(!is_not_correct); } void Takahashi(bool is_correct = true) { std::cout << (is_correct ? "Takahashi" : "Aoki") << '\n'; } void Aoki(bool is_not_correct = true) { Takahashi(!is_not_correct); } template struct Gcd { using value_type = T; static constexpr T id = std::numeric_limits::max(); static constexpr T op(const T &lhs, const T &rhs) { return lhs == Gcd::id ? rhs : (rhs == Gcd::id ? lhs : std::gcd(lhs, rhs)); } }; int main(void) { int n; cin >> n; vector a(n); cin >> a; sliding_window_aggregation> swag; ll ans = 0; rep (i, n) { swag.emplace(a[i]); while (!swag.empty() && swag.fold() == 1) swag.pop(); ans += i + 1 - swag.size(); } co(ans); return 0; }