#define _USE_MATH_DEFINES #include using namespace std; #define FOR(i,m,n) for(int i=(m);i<(n);++i) #define REP(i,n) FOR(i,0,n) #define ALL(v) (v).begin(),(v).end() using ll = long long; constexpr int INF = 0x3f3f3f3f; constexpr long long LINF = 0x3f3f3f3f3f3f3f3fLL; constexpr double EPS = 1e-8; constexpr int MOD = 1000000007; // constexpr int MOD = 998244353; constexpr int dy[] = {1, 0, -1, 0}, dx[] = {0, -1, 0, 1}; constexpr int dy8[] = {1, 1, 0, -1, -1, -1, 0, 1}, dx8[] = {0, -1, -1, -1, 0, 1, 1, 1}; template inline bool chmax(T &a, U b) { return a < b ? (a = b, true) : false; } template inline bool chmin(T &a, U b) { return a > b ? (a = b, true) : false; } struct IOSetup { IOSetup() { std::cin.tie(nullptr); std::ios_base::sync_with_stdio(false); std::cout << fixed << setprecision(20); } } iosetup; template struct DisjointSparseTable { DisjointSparseTable(const std::vector &a, Fn fn) : fn(fn) { int n = a.size(), table_h = 1; while ((1 << table_h) < n) ++table_h; lg.assign(1 << table_h, 0); for (int i = 2; i < (1 << table_h); ++i) lg[i] = lg[i >> 1] + 1; dat.assign(table_h, std::vector(n)); for (int j = 0; j < n; ++j) dat[0][j] = a[j]; for (int i = 1; i < table_h; ++i) { int shift = 1 << i; for (int left = 0; left < n; left += shift << 1) { int mid = std::min(left + shift, n); dat[i][mid - 1] = a[mid - 1]; for (int j = mid - 2; j >= left; --j) dat[i][j] = fn(a[j], dat[i][j + 1]); if (n <= mid) break; int right = std::min(mid + shift, n); dat[i][mid] = a[mid]; for (int j = mid + 1; j < right; ++j) dat[i][j] = fn(dat[i][j - 1], a[j]); } } } Semigroup query(int left, int right) const { assert(left < right); if (left == --right) return dat[0][left]; int h = lg[left ^ right]; return fn(dat[h][left], dat[h][right]); } private: Fn fn; std::vector lg; std::vector> dat; }; int main() { int n; cin >> n; vector a(n); REP(i, n) cin >> a[i]; DisjointSparseTable mx(a, [](int a, int b) { return max(a, b); }); struct Node { int m1 = -1, m2 = -1; }; vector b; REP(i, n) b.emplace_back(Node{a[i], -1}); DisjointSparseTable mn(b, [](const Node &a, const Node &b) { vector v; if (a.m1 != -1) v.emplace_back(a.m1); if (a.m2 != -1) v.emplace_back(a.m2); if (b.m1 != -1) v.emplace_back(b.m1); if (b.m2 != -1) v.emplace_back(b.m2); sort(ALL(v)); assert(v.size() >= 2); return Node{v[0], v[1]}; }); ll ans = 0; REP(i, n) { int l = i, r = n; while (r - l > 1) { int mid = (l + r) >> 1; auto m1m2 = mn.query(i, mid + 1); (mx.query(i, mid + 1) <= m1m2.m1 + m1m2.m2 ? l : r) = mid; } ans += l - i; } cout << ans << '\n'; return 0; }