This documentation is automatically generated by online-judge-tools/verification-helper
#define PROBLEM "https://onlinejudge.u-aizu.ac.jp/courses/library/3/DSL/all/DSL_2_G"
#include "./../old/RAQRSQ.cpp"
#include <iostream>
#include <vector>
#include <limits>
using namespace std;
int main() {
cin.tie(nullptr);
ios_base::sync_with_stdio(false);
int n, q;
cin >> n >> q;
RAQRSQ<long long> seg(vector<long long>(n), 0);
while (q--) {
int com;
cin >> com;
if (com == 0) {
int l, r;
long long x;
cin >> l >> r >> x;
seg.add(l - 1, r, x);
} else {
int l, r;
cin >> l >> r;
cout << seg(l - 1, r) << '\n';
}
}
}
#line 1 "old/RAQRSQ.test.cpp"
#define PROBLEM "https://onlinejudge.u-aizu.ac.jp/courses/library/3/DSL/all/DSL_2_G"
#line 2 "old/RAQRSQ.cpp"
#include <vector>
#include <cassert>
using namespace std;
template <class T> class RAQRSQ {
int n;
T init;
vector<T> node, lazy;
static int ceil2(int n) {
int m = 1;
while (m < n) m *= 2;
return m;
}
void eval(int k, int l, int r) {
if (lazy[k] != 0) {
node[k] += lazy[k];
if (r - l > 1) {
lazy[2 * k + 0] += lazy[k] / 2;
lazy[2 * k + 1] += lazy[k] / 2;
}
lazy[k] = 0;
}
}
void add_impl(int a, int b, const T& x, int k, int l, int r) {
eval(k, l, r);
if (b <= l || r <= a) {
return;
} else if (a <= l && r <= b) {
lazy[k] += x * (r - l);
eval(k, l, r);
} else {
add_impl(a, b, x, 2 * k + 0, l, (l + r) / 2);
add_impl(a, b, x, 2 * k + 1, (l + r) / 2, r);
node[k] = node[2 * k + 0] + node[2 * k + 1];
}
}
T query_impl(int a, int b, int k, int l, int r) {
if (b <= l || r <= a) {
return init;
}
eval(k, l, r);
if (a <= l && r <= b) {
return node[k];
} else {
auto vl = query_impl(a, b, 2 * k + 0, l, (l + r) / 2);
auto vr = query_impl(a, b, 2 * k + 1, (l + r) / 2, r);
return vl + vr;
}
}
public:
RAQRSQ(const vector<T>& vec, const T& _init) : init(_init) {
build(vec);
}
void build(const vector<T>& v) {
n = ceil2(v.size());
node.assign(n * 2, init);
lazy.assign(n * 2, 0);
for (size_t i = 0; i < v.size(); ++i) {
node[i + n] = v[i];
}
for (size_t i = n - 1; i > 0; --i) {
node[i] = node[i * 2 + 0] + node[i * 2 + 1];
}
}
void add(int l, int r, const T& x) {
add_impl(l, r, x, 1, 0, n);
}
T operator[](int i) {
assert(0 <= i && i < n);
return operator()(i, i + 1);
}
T operator()(int l, int r) {
assert(0 <= l && l < r && r <= n);
return query_impl(l, r, 1, 0, n);
}
vector<T> to_a() {
vector<T> res(n);
for (int i = 0; i < n; ++i) {
res[i] = operator[](i);
}
return res;
}
};
#line 3 "old/RAQRSQ.test.cpp"
#include <iostream>
#line 5 "old/RAQRSQ.test.cpp"
#include <limits>
using namespace std;
int main() {
cin.tie(nullptr);
ios_base::sync_with_stdio(false);
int n, q;
cin >> n >> q;
RAQRSQ<long long> seg(vector<long long>(n), 0);
while (q--) {
int com;
cin >> com;
if (com == 0) {
int l, r;
long long x;
cin >> l >> r >> x;
seg.add(l - 1, r, x);
} else {
int l, r;
cin >> l >> r;
cout << seg(l - 1, r) << '\n';
}
}
}