#include using namespace std; #define rep(i, n) for (int i = 0; i < (n); i++) #define per(i, n) for (int i = (n)-1; i >= 0; i--) #define rep2(i, l, r) for (int i = (l); i < (r); i++) #define per2(i, l, r) for (int i = (r)-1; i >= (l); i--) #define each(e, v) for (auto &e : v) #define MM << " " << #define pb push_back #define eb emplace_back #define all(x) begin(x), end(x) #define rall(x) rbegin(x), rend(x) #define sz(x) (int)x.size() using ll = long long; using pii = pair; using pil = pair; using pli = pair; using pll = pair; template using minheap = priority_queue, greater>; template using maxheap = priority_queue; template bool chmax(T &x, const T &y) { return (x < y) ? (x = y, true) : false; } template bool chmin(T &x, const T &y) { return (x > y) ? (x = y, true) : false; } template int flg(T x, int i) { return (x >> i) & 1; } int pct(int x) { return __builtin_popcount(x); } int pct(ll x) { return __builtin_popcountll(x); } int topbit(int x) { return (x == 0 ? -1 : 31 - __builtin_clz(x)); } int topbit(ll x) { return (x == 0 ? -1 : 63 - __builtin_clzll(x)); } int botbit(int x) { return (x == 0 ? -1 : __builtin_ctz(x)); } int botbit(ll x) { return (x == 0 ? -1 : __builtin_ctzll(x)); } template void print(const vector &v, T x = 0) { int n = v.size(); for (int i = 0; i < n; i++) cout << v[i] + x << (i == n - 1 ? '\n' : ' '); if (v.empty()) cout << '\n'; } template void printn(const vector &v, T x = 0) { int n = v.size(); for (int i = 0; i < n; i++) cout << v[i] + x << '\n'; } template int lb(const vector &v, T x) { return lower_bound(begin(v), end(v), x) - begin(v); } template int ub(const vector &v, T x) { return upper_bound(begin(v), end(v), x) - begin(v); } template void rearrange(vector &v) { sort(begin(v), end(v)); v.erase(unique(begin(v), end(v)), end(v)); } template vector id_sort(const vector &v, bool greater = false) { int n = v.size(); vector ret(n); iota(begin(ret), end(ret), 0); sort(begin(ret), end(ret), [&](int i, int j) { return greater ? v[i] > v[j] : v[i] < v[j]; }); return ret; } template void reorder(vector &a, const vector &ord) { int n = a.size(); vector b(n); for (int i = 0; i < n; i++) b[i] = a[ord[i]]; swap(a, b); } template T floor(T x, T y) { assert(y != 0); if (y < 0) x = -x, y = -y; return (x >= 0 ? x / y : (x - y + 1) / y); } template T ceil(T x, T y) { assert(y != 0); if (y < 0) x = -x, y = -y; return (x >= 0 ? (x + y - 1) / y : x / y); } template pair operator+(const pair &p, const pair &q) { return make_pair(p.first + q.first, p.second + q.second); } template pair operator-(const pair &p, const pair &q) { return make_pair(p.first - q.first, p.second - q.second); } template istream &operator>>(istream &is, pair &p) { S a; T b; is >> a >> b; p = make_pair(a, b); return is; } template ostream &operator<<(ostream &os, const pair &p) { return os << p.first << ' ' << p.second; } struct io_setup { io_setup() { ios_base::sync_with_stdio(false); cin.tie(NULL); cout << fixed << setprecision(15); cerr << fixed << setprecision(15); } } io_setup; constexpr int inf = (1 << 30) - 1; constexpr ll INF = (1LL << 60) - 1; // constexpr int MOD = 1000000007; constexpr int MOD = 998244353; struct Runtime_Mod_Int { int x; Runtime_Mod_Int() : x(0) {} Runtime_Mod_Int(long long y) { x = y % get_mod(); if (x < 0) x += get_mod(); } static inline int &get_mod() { static int mod = 0; return mod; } static void set_mod(int md) { get_mod() = md; } Runtime_Mod_Int &operator+=(const Runtime_Mod_Int &p) { if ((x += p.x) >= get_mod()) x -= get_mod(); return *this; } Runtime_Mod_Int &operator-=(const Runtime_Mod_Int &p) { if ((x += get_mod() - p.x) >= get_mod()) x -= get_mod(); return *this; } Runtime_Mod_Int &operator*=(const Runtime_Mod_Int &p) { x = (int)(1LL * x * p.x % get_mod()); return *this; } Runtime_Mod_Int &operator/=(const Runtime_Mod_Int &p) { *this *= p.inverse(); return *this; } Runtime_Mod_Int &operator++() { return *this += Runtime_Mod_Int(1); } Runtime_Mod_Int operator++(int) { Runtime_Mod_Int tmp = *this; ++*this; return tmp; } Runtime_Mod_Int &operator--() { return *this -= Runtime_Mod_Int(1); } Runtime_Mod_Int operator--(int) { Runtime_Mod_Int tmp = *this; --*this; return tmp; } Runtime_Mod_Int operator-() const { return Runtime_Mod_Int(-x); } Runtime_Mod_Int operator+(const Runtime_Mod_Int &p) const { return Runtime_Mod_Int(*this) += p; } Runtime_Mod_Int operator-(const Runtime_Mod_Int &p) const { return Runtime_Mod_Int(*this) -= p; } Runtime_Mod_Int operator*(const Runtime_Mod_Int &p) const { return Runtime_Mod_Int(*this) *= p; } Runtime_Mod_Int operator/(const Runtime_Mod_Int &p) const { return Runtime_Mod_Int(*this) /= p; } bool operator==(const Runtime_Mod_Int &p) const { return x == p.x; } bool operator!=(const Runtime_Mod_Int &p) const { return x != p.x; } Runtime_Mod_Int inverse() const { assert(*this != Runtime_Mod_Int(0)); return pow(get_mod() - 2); } Runtime_Mod_Int pow(long long k) const { Runtime_Mod_Int now = *this, ret = 1; for (; k > 0; k >>= 1, now *= now) { if (k & 1) ret *= now; } return ret; } friend ostream &operator<<(ostream &os, const Runtime_Mod_Int &p) { return os << p.x; } friend istream &operator>>(istream &is, Runtime_Mod_Int &p) { long long a; is >> a; p = Runtime_Mod_Int(a); return is; } }; using mint = Runtime_Mod_Int; ll M; template struct Segment_Tree { vector seg; const Monoid e1; int n; Monoid f(Monoid a, Monoid b) const { Monoid c; swap(a, b); rep(i, 2) rep(j, 2) c[i][j] = 0; rep(i, 2) rep(j, 2) rep(k, 2) c[i][k] += a[i][j] * b[j][k], c[i][k] %= M; return c; } Segment_Tree(const vector &v, const Monoid &e1) : e1(e1) { int m = sz(v); n = 1; while (n < m) n <<= 1; seg.assign(2 * n, e1); copy(all(v), seg.begin() + n); for (int i = n - 1; i > 0; i--) seg[i] = f(seg[2 * i], seg[2 * i + 1]); } void change(int i, const Monoid &x) { seg[i += n] = x; while (i >>= 1) { seg[i] = f(seg[2 * i], seg[2 * i + 1]); } } Monoid query(int l, int r) const { Monoid L = e1, R = e1; l += n, r += n; while (l < r) { if (l & 1) L = f(L, seg[l++]); if (r & 1) R = f(seg[--r], R); l >>= 1, r >>= 1; } return f(L, R); } Monoid operator[](int i) const { return seg[n + i]; } inline bool check(const Monoid &a, const Monoid &b) const { return a >= b; } int find_subtree(int i, const Monoid &x, bool type) const { while (i < n) { if (check(seg[2 * i + type], x)) i = 2 * i + type; else i = 2 * i + (type ^ 1); } return i - n; } int find_first(int l, const Monoid &x) const { int a = l + n, b = n + n; while (a < b) { if (a & 1) { if (check(seg[a], x)) return find_subtree(a, x, false); a++; } a >>= 1, b >>= 1; } return n; } int find_last(int r, const Monoid &x) const { int a = n, b = r + n; while (a < b) { if (b & 1) { b--; if (check(seg[b], x)) return find_subtree(b, x, true); } a >>= 1, b >>= 1; } return -1; } }; void solve() { int N, T; cin >> N >> M >> T; // mint::set_mod(M); using mat = array, 2>; vector A(N); rep(i, N) { rep(j, 2) rep(k, 2) cin >> A[i][j][k]; // } mat I; I[0][0] = I[1][1] = 1, I[0][1] = I[1][0] = 0; Segment_Tree seg(A, I); // vector P(N + 1, mat::I(2)); // rep(i, N) P[i + 1] = P[i] * A[i]; // vector Q(N + 1, mat::I(2)); // rep(i, N) Q[i + 1] = A[i] * Q[i]; while (T--) { int l, r; ll x, y; cin >> l >> r >> x >> y; mat X = seg.query(l, r); ll nx = X[0][0] * x + X[0][1] * y; ll ny = X[1][0] * x + X[1][1] * y; nx %= M, ny %= M; if (nx < 0) nx += M; if (ny < 0) ny += M; cout << nx MM ny << '\n'; } } int main() { int T = 1; // cin >> T; while (T--) solve(); }