#include #define rep(i, n) for(int(i) = 0; (i) < (n); (i)++) #define FOR(i, m, n) for(int(i) = (m); (i) < (n); (i)++) #define ALL(v) (v).begin(), (v).end() #define LLA(v) (v).rbegin(), (v).rend() #define PB push_back #define MP(a, b) make_pair((a), (b)) using namespace std; template inline vector make_vec(size_t a, T val) { return vector(a, val); } template inline auto make_vec(size_t a, Ts... ts) { return vector(a, make_vec(ts...)); } template inline T read() { T t; cin >> t; return t; } template inline vector readv(size_t sz) { vector ret(sz); rep(i, sz) cin >> ret[i]; return ret; } template inline tuple reads() { return {read()...}; } template struct edge { int to; T cost; edge(int t, T c) : to(t), cost(c) {} }; using ll = long long; using pii = pair; using pll = pair; using Graph = vector>; template using WGraph = vector>>; const int INF = 1 << 30; const ll LINF = 1LL << 60; const int MOD = 1e9 + 7; // 参考:https://qiita.com/drken/items/1b7e6e459c24a83bb7fd // 1-indexed BIT // add:log(N),sum:log(N),get_k-th:log(N) // https://codeforces.com/contest/1354/problem/D template struct BIT { vector dat; BIT(int n) { dat.resize(n + 1); for(int i = 0; i < (int)dat.size(); i++) dat[i] = 0; } // a is 1-indexed void add(int a, T x) { for(int i = a; i < (int)dat.size(); i += i & -i) dat[i] = dat[i] + x; } // [1,a], a is 1-indexed T sum(int a) { T res = 0; for(int i = a; i > 0; i -= i & -i) { res = res + dat[i]; } return res; } // [a,b), a and b are 1-indexed T sum(int a, int b) { return sum(b - 1) - sum(a - 1); } }; template class ModInt { using u64 = uint_fast64_t; public: u64 val; ModInt(const u64 x = 0) : val((x + MOD) % MOD) {} constexpr u64 &value() { return val; } constexpr ModInt operator-() { return val ? MOD - val : 0; } constexpr ModInt operator+(const ModInt &rhs) const { return ModInt(*this) += rhs; } constexpr ModInt operator-(const ModInt &rhs) const { return ModInt(*this) -= rhs; } constexpr ModInt operator*(const ModInt &rhs) const { return ModInt(*this) *= rhs; } constexpr ModInt operator/(const ModInt &rhs) const { return ModInt(*this) /= rhs; } constexpr ModInt &operator+=(const ModInt &rhs) { val += rhs.val; if(val >= MOD) { val -= MOD; } return *this; } constexpr ModInt &operator-=(const ModInt &rhs) { if(val < rhs.val) { val += MOD; } val -= rhs.val; return *this; } constexpr ModInt &operator*=(const ModInt &rhs) { val = val * rhs.val % MOD; return *this; } constexpr ModInt &operator/=(const ModInt &rhs) { *this *= rhs.inv(); return *this; } constexpr bool operator==(const ModInt &rhs) { return this->val == rhs.val; } constexpr bool operator!=(const ModInt &rhs) { return this->val != rhs.val; } friend constexpr ostream &operator<<(ostream &os, const ModInt &x) { return os << x.val; } friend constexpr istream &operator>>(istream &is, ModInt &x) { return is >> x.val; } constexpr ModInt inv() const { return ModInt(*this).pow(MOD - 2); } constexpr ModInt pow(ll e) const { u64 x = 1, p = val; while(e > 0) { if(e % 2 == 0) { p = (p * p) % MOD; e /= 2; } else { x = (x * p) % MOD; e--; } } return ModInt(x); } }; using mint = ModInt; template vector compress(vector &X) { vector vals = X; sort(vals.begin(), vals.end()); vals.erase(unique(vals.begin(), vals.end()), vals.end()); for(int i = 0; i < X.size(); i++) { X[i] = lower_bound(vals.begin(), vals.end(), X[i]) - vals.begin() + 1; } return vals; } int main() { ios::sync_with_stdio(false); cin.tie(nullptr); int N = read(); auto A = readv(N); mint S = 0; rep(i, N) S += A[i]; auto table = compress(A); BIT leftsum(N + 1), rightsum(N + 1); BIT left(N + 1), right(N + 1); leftsum.add(A[0], table[A[0] - 1]); left.add(A[0], 1); for(int i = 2; i < N; i++) { rightsum.add(A[i], table[A[i] - 1]); right.add(A[i], 1); } mint res = 0; for(int i = 1; i < N - 1; i++) { ll l = i - left.sum(A[i]), r = right.sum(A[i] - 1); if(l != 0 && r != 0) { res += (leftsum.sum(N + 1) - leftsum.sum(A[i])) * r + (rightsum.sum(A[i] - 1)) * l + mint(table[A[i] - 1]) * l * r; } left.add(A[i], 1); leftsum.add(A[i], table[A[i] - 1]); right.add(A[i + 1], -1); rightsum.add(A[i + 1], mint(table[A[i + 1] - 1]) * mint(-1)); } cout << res << endl; }