#include using namespace std; #define _p(...) (void)printf(__VA_ARGS__) #define forr(x,arr) for(auto&& x:arr) #define _overload3(_1,_2,_3,name,...) name #define _rep2(i,n) _rep3(i,0,n) #define _rep3(i,a,b) for(int i=int(a);i=int(a);i--) #define rrep(...) _overload3(__VA_ARGS__,_rrep3,_rrep2,)(__VA_ARGS__) #define all(x) (x).begin(), (x).end() #define bit(n) (1LL<<(n)) #define sz(x) ((int)(x).size()) #define fst first #define snd second using ll=long long;using pii=pair; using vb=vector;using vs=vector; using vi=vector;using vvi=vector;using vvvi=vector; using vl=vector;using vvl=vector;using vvvl=vector; using vd=vector;using vvd=vector;using vvvd=vector; using vpii=vector;using vvpii=vector;using vvvpii=vector; templateT read(){T t;cin>>t;return t;} templateostream&operator<<(ostream&o,const pair&p){o<<'('<(); int Q = read(); random_device rnd; const ll primes[5] = {1000003, 1000033, 1000037, 1000039, 1000081}; ll base1 = primes[rnd() % 5]; ll base2 = -1; while (base2 == base1) { base2 = primes[rnd() % 5]; } map first; ll current1 = 0; ll current2 = 0; first[0] = 0; rep(q, Q) { char t = read(); if (t == '!') { int l = read(); int r = read(); int k = read(); ll sl1 = gpSumMod(+k, base1, l); ll sr1 = gpSumMod(-k, base1, r); ll sl2 = gpSumMod(+k, base2, l); ll sr2 = gpSumMod(-k, base2, r); current1 = (current1 + sl1 + sr1) % mod; current2 = (current2 + sl2 + sr2) % mod; ll hash = (current1 << 32) + current2; if (first.count(hash) == 0) { first[hash] = q + 1; } } else { ll hash = (current1 << 32) + current2; cout << first[hash] << endl; } //cout << q << " : " << current << endl; } } int main() { cin.tie(nullptr); ios::sync_with_stdio(false); Main(); return 0; }