#include using namespace std; typedef long long signed int LL; typedef long long unsigned int LU; #define incID(i, l, r) for(LL i = (l) ; i < (r); ++i) #define incII(i, l, r) for(LL i = (l) ; i <= (r); ++i) #define decID(i, l, r) for(LL i = (r) - 1; i >= (l); --i) #define decII(i, l, r) for(LL i = (r) ; i >= (l); --i) #define inc(i, n) incID(i, 0, n) #define inc1(i, n) incII(i, 1, n) #define dec(i, n) decID(i, 0, n) #define dec1(i, n) decII(i, 1, n) #define inID(v, l, r) ((l) <= (v) && (v) < (r)) #define inII(v, l, r) ((l) <= (v) && (v) <= (r)) #define PB push_back #define EB emplace_back #define MP make_pair #define FI first #define SE second #define ALL(v) v.begin(), v.end() #define RALL(v) v.rbegin(), v.rend() template bool setmin (T & a, T b) { if(b < a) { a = b; return true; } else { return false; } } template bool setmax (T & a, T b) { if(b > a) { a = b; return true; } else { return false; } } template bool setmineq(T & a, T b) { if(b <= a) { a = b; return true; } else { return false; } } template bool setmaxeq(T & a, T b) { if(b >= a) { a = b; return true; } else { return false; } } LL mo(LL a, LL b) { assert(b > 0); a %= b; if(a < 0) { a += b; } return a; } LL fl(LL a, LL b) { assert(b > 0); return (a > 0 ? a / b : (a - b + 1) / b); } LL ce(LL a, LL b) { assert(b > 0); return (a < 0 ? a / b : (a + b - 1) / b); } template T gcd(T a, T b) { return (b == 0 ? a : gcd(b, a % b)); } template T lcm(T a, T b) { return a / gcd(a, b) * b; } #define bit(b, i) (((b) >> (i)) & 1) #define BC __builtin_popcountll #define SC static_cast #define SI(v) SC(v.size()) #define SL(v) SC(v.size()) #define RF(e, v) for(auto & e: v) #define ef else if #define UR assert(false) // ---- ---- template class SegmentTree { private: int n, s; vector a; function f; T e; bool ok; public: SegmentTree() { n = 0; } SegmentTree(int nn, function ff, T ee) { init(nn, ff, ee); } void init(int nn, function ff, T ee) { n = nn; f = ff; e = ee; s = 1; while(s < n) { s *= 2; } a = vector(2 * s, e); ok = true; } void shift(int & p) { assert(inID(p, 0, n)); p += s; } void apply(int p, function g) { shift(p); g(a[p]); while(p > 1) { p /= 2; a[p] = f(a[2 * p], a[2 * p + 1]); } } T fold_ID(int l, int r) { assert(ok); assert(inII(l, 0, n)); l += s; assert(inII(r, 0, n)); r += s; r--; T x = e, y = e; while(l <= r) { if(l % 2 == 1) { x = f(x, a[l]); l++; } if(r % 2 == 0) { y = f(a[r], y); r--; } l /= 2; r /= 2; } return f(x, y); } T fold_II(int l, int r) { return fold_ID(l + 0, r + 1); } T fold_CI(int l, int r) { return fold_ID(l + 1, r + 1); } T fold_CD(int l, int r) { return fold_ID(l + 1, r + 0); } const T & operator[](int p) { shift(p); return a[p]; } T & ref(int p) { shift(p); ok = false; return a[p]; } void update() { dec(i, s) { a[i] = f(a[2 * i], a[2 * i + 1]); } ok = true; } }; #define OP(s) [&](auto A, auto B) { return s; } #define AP(s) [&](auto & A) { s; } // ---- ---- template struct Matrix { vector> a; Matrix(const vector> & v = { }) { init(v); } void init(const vector> & v) { a = vector>(N, vector(N, 0)); assert(v.size() <= N); inc(i, v.size()) { assert(v[i].size() <= N); inc(j, v[i].size()) { a[i][j] = v[i][j]; } } } vector & operator[](int i) { return a[i]; } Matrix id() { Matrix e; inc(i, N) { e[i][i] = 1; } return e; } Matrix tp() { Matrix b; inc(i, N) { inc(j, N) { b[j][i] = a[i][j]; } } return b; } Matrix & operator+=(const Matrix & b) { inc(i, N) { inc(j, N) { a[i][j] += b.a[i][j]; } } return (*this); } Matrix & operator*=(T b) { inc(i, N) { inc(j, N) { a[i][j] *= b; } } return (*this); } Matrix & operator*=(const Matrix & b) { Matrix c; inc(i, N) { inc(j, N) { inc(k, N) { c[i][j] += a[i][k] * b.a[k][j]; } } } return (*this) = c; } Matrix & operator^=(LU b) { Matrix t[64], c = id(); int D = 64; inc(i, D) { if((b >> i) == 0) { D = i; break; } } inc(i, D) { t[i] = (i == 0 ? (*this) : t[i - 1] * t[i - 1]); } inc(i, D) { if((b >> i) & 1) { c *= t[i]; } } return (*this) = c; } Matrix operator+(const Matrix & b) const { Matrix c = a; return c += b; } Matrix operator*( T b) const { Matrix c = a; return c *= b; } Matrix operator*(const Matrix & b) const { Matrix c = a; return c *= b; } Matrix operator^( LU b) const { Matrix c = a; return c ^= b; } }; template Matrix operator*(T a, const Matrix & b) { return b * a; } template ostream & operator<<(ostream & os, const Matrix & m) { inc(i, N) { inc(j, N) { os << m.a[i][j] << " "; } os << endl; } return os; } // ---- ---- template class ModInt { private: LL v = 0; public: ModInt() { } ModInt(LL vv) { setval(vv); } ModInt & setval(LL vv) { v = vv % M; if(v < 0) { v += M; } return (*this); } LL getval() const { return v; } ModInt & operator+=(const ModInt & b) { return setval(v + b.v); } ModInt & operator-=(const ModInt & b) { return setval(v - b.v); } ModInt & operator*=(const ModInt & b) { return setval(v * b.v); } ModInt & operator/=(const ModInt & b) { return setval(v * b.inv()); } ModInt & operator^=( LU b) { return setval(ex(v, b)); } ModInt operator+ ( ) const { return ModInt(+v); } ModInt operator- ( ) const { return ModInt(-v); } ModInt operator+ (const ModInt & b) const { return ModInt(v + b.v); } ModInt operator- (const ModInt & b) const { return ModInt(v - b.v); } ModInt operator* (const ModInt & b) const { return ModInt(v * b.v); } ModInt operator/ (const ModInt & b) const { return ModInt(v * b.inv()); } ModInt operator^ ( LU b) const { return ModInt(ex(v, b)); } LL inv() const { LL x = (ex_gcd(v, M).FI + M) % M; assert(v * x % M == 1); return x; } LL ex(LL a, LU b) const { LL D = 64, x[64], y = 1; inc(i, D) { if((b >> i) == 0) { D = i; break; } } inc(i, D) { x[i] = (i == 0 ? a : x[i - 1] * x[i - 1]) % M; } inc(i, D) { if((b >> i) & 1) { (y *= x[i]) %= M; } } return y; } pair ex_gcd(LL a, LL b) const { if(b == 0) { return MP(1, 0); } auto p = ex_gcd(b, a % b); return MP(p.SE, p.FI - (a / b) * p.SE); } }; template ModInt operator+(LL a, const ModInt & b) { return b + a; } template ModInt operator-(LL a, const ModInt & b) { return -b + a; } template ModInt operator*(LL a, const ModInt & b) { return b * a; } template ModInt operator/(LL a, const ModInt & b) { return a * b.inv(); } template istream & operator>>(istream & is, ModInt & b) { LL v; is >> v; b.setval(v); return is; } template ostream & operator<<(ostream & os, const ModInt & b) { return (os << b.getval()); } // ---- ---- typedef ModInt<1'000'000'007> MI; typedef Matrix MM; int main() { int n, q; cin >> n >> q; SegmentTree st(n, OP(B * A), MM().id()); inc(i, n) { st.ref(i).init({ {1}, {0, 1}, {1}, {1} }); } st.update(); inc(qq, q) { char c; LL i, v; cin >> c; if(c == 'x') { cin >> i >> v; st.apply(i, AP(A.a[1][3] = v)); } if(c == 'y') { cin >> i >> v; st.apply(i, AP( A.a[2][2] = v; A.a[3][2] = 2 * v; A.a[3][3] = v * v; )); } if(c == 'a') { cin >> i; cout << (st.fold_ID(0, i) * MM({ {1}, {1}, {1}, {1} }))[1][0] << "\n"; } } return 0; }