#include #include #include #include #include using namespace std; using ll = long long; using namespace atcoder; using S = ll; S f (S a, S b) { return a + b; } S op () { return 0LL; } int main () { int N; cin >> N; vector A(N); for (int i = 0; i < N; i++) cin >> A[i]; segtree acc_i(N + 1), acc_A(N + 1), acc_xAx(N + 1), acc_f(N + 1); for (int i = 1; i <= N; i++) { acc_i.set(i, i); acc_A.set(i, A[i - 1]); acc_xAx.set(i, i * A[i - 1]); } vector ord(N); iota(ord.begin(), ord.end(), 1); sort(ord.begin(), ord.end(), [&] (int x, int y) { return A[x - 1] < A[y - 1]; }); ll ans = 0; for (auto i : ord) { ll add = 0; add += 1LL * (N - i + 1 - 2 * acc_f.prod(i, N + 1)) * i * A[i - 1]; add += acc_xAx.prod(i, N + 1); add -= i * acc_A.prod(i, N + 1); add -= A[i - 1] * acc_i.prod(i, N + 1); // 仮定が逆転してしまったものを直す。 acc_i.set(i, -i); acc_A.set(i, -A[i - 1]); acc_xAx.set(i, -i * A[i - 1]); acc_f.set(i, 1); ans += add; } ans *= 2; cout << ans << "\n"; }