#include #include using namespace std; using namespace atcoder; #define REP(i,n) for(ll i=0;i<(ll)n;i++) #define dump(x) cerr << "Line " << __LINE__ << ": " << #x << " = " << (x) << "\n"; #define spa << " " << #define fi first #define se second #define ALL(a) (a).begin(),(a).end() #define ALLR(a) (a).rbegin(),(a).rend() using ld = long double; using ll = long long; using ull = unsigned long long; using pii = pair; using pll = pair; using pdd = pair; template using V = vector; template using P = pair; template vector make_vec(size_t n, T a) { return vector(n, a); } template auto make_vec(size_t n, Ts... ts) { return vector(n, make_vec(ts...)); } template ostream& operator << (ostream& os, const pair v){os << "(" << v.first << ", " << v.second << ")"; return os;} template ostream& operator<<(ostream &os, const vector &v) { for (auto &e : v) os << e << ' '; return os; } template ostream& operator<<(ostream& os, const vector> &v){ for(auto &e : v){os << e << "\n";} return os;} struct fast_ios { fast_ios(){ cin.tie(nullptr); ios::sync_with_stdio(false); cout << fixed << setprecision(20); }; } fast_ios_; template void UNIQUE(vector &x) {sort(ALL(x));x.erase(unique(ALL(x)), x.end());} template bool chmax(T &a, const T &b) { if (a bool chmin(T &a, const T &b) { if (a>b) { a=b; return 1; } return 0; } void fail() { cout << -1 << '\n'; exit(0); } inline int popcount(const int x) { return __builtin_popcount(x); } inline int popcount(const ll x) { return __builtin_popcountll(x); } template void debug(vector>&v,ll h,ll w){for(ll i=0;i void debug(vector&v,ll n){if(n!=0)cerr< class modint { // long long から modint を作るときは必ず正の数にしてからコンストラクタに入れること! // そうしないとバグります using u64 = std::uint_fast64_t; public: u64 a; constexpr modint(const u64 x = 0) noexcept : a(x % Modulus) {} constexpr u64 &value() noexcept { return a; } constexpr const u64 &value() const noexcept { return a; } constexpr modint operator+(const modint rhs) const noexcept { return modint(*this) += rhs; } constexpr modint operator-(const modint rhs) const noexcept { return modint(*this) -= rhs; } constexpr modint operator*(const modint rhs) const noexcept { return modint(*this) *= rhs; } constexpr modint operator/(const modint rhs) const noexcept { return modint(*this) /= rhs; } constexpr modint &operator+=(const modint rhs) noexcept { a += rhs.a; if (a >= Modulus) { a -= Modulus; } return *this; } constexpr modint &operator-=(const modint rhs) noexcept { if (a < rhs.a) { a += Modulus; } a -= rhs.a; return *this; } constexpr modint &operator*=(const modint rhs) noexcept { a = a * rhs.a % Modulus; return *this; } constexpr modint &operator/=(modint rhs) noexcept { u64 exp = Modulus - 2; while (exp) { if (exp % 2) { *this *= rhs; } rhs *= rhs; exp /= 2; } return *this; } }; using mint = modint; using vm = vector; using vvm = vector; ostream& operator << (ostream& os, const mint v){ os << v.value(); return os; } template constexpr T power(T x, U exp) { T ret = static_cast(1); while (exp) { if (exp % static_cast(2) == static_cast(1)) ret *= x; exp /= static_cast(2); x *= x; } return ::std::move(ret); } template tuple, vector> compress(const vector &X){ vector decoder = X; sort(decoder.begin(), decoder.end()); decoder.erase(unique(decoder.begin(), decoder.end()), decoder.end()); map encoder; for(int i=0;i<(int)decoder.size();i++) encoder[decoder[i]] = i; return {encoder, decoder}; } ll op(ll x, ll y){ return x+y; } ll e(){ return 0; } int main(){ ll N; cin >> N; V A(N); REP(i, N) cin >> A[i]; auto [enc, dec] = compress(A); segtree seg_L_cnt(N), seg_L_sum(N), seg_R_cnt(N), seg_R_sum(N); V L_cnt(N), L_sum(N), R_cnt(N), R_sum(N); REP(i, N){ ll v = enc[A[i]]; L_cnt[i] = seg_L_cnt.prod(v+1, N); L_sum[i] = seg_L_sum.prod(v+1, N); ll val = seg_L_cnt.get(v); seg_L_cnt.set(v, val+1); val = seg_L_sum.get(v); seg_L_sum.set(v, val+A[i]); } for(ll i=N-1;i>=0;i--){ ll v = enc[A[i]]; R_cnt[i] = seg_R_cnt.prod(0, v); R_sum[i] = seg_R_sum.prod(0, v); ll val = seg_R_cnt.get(v); seg_R_cnt.set(v, val+1); val = seg_R_sum.get(v); seg_R_sum.set(v, val+A[i]); } // dump(L_cnt) // dump(L_sum) // dump(R_cnt) // dump(R_sum) mint res = 0; REP(i, N){ res += mint(A[i]) * L_cnt[i] * R_cnt[i]; res += mint(L_cnt[i]) * R_sum[i]; res += mint(R_cnt[i]) * L_sum[i]; } cout << res << endl; return 0; }