#include <iostream>
#include <bits/stdc++.h>
using namespace std; 

#define MAX     1000
#define pb       push_back
#define ppb      pop_back
#define FOR(i,s,e)      for(int i=s; i<=e; i++) 
#define RFOR(i,s,e)     for(int i=e; i>=s; i--)
#define lli     long long int
#define mod       1000000007
#define ppc     __builtin_popcount
#define ppcll     __builtin_popcountll
#define gs      getline(cin, s);
#define c_yes   std::cout << "YES" << std::endl;
#define c_no   std::cout << "NO" << std::endl;
#define ALL(x)      x.begin() , x.end()
typedef   pair<int, int> pi;
typedef   std::vector<int> vi;
typedef   std::vector<vector<int>> vvi;
typedef   std::vector<lli> vlli;
typedef   std::vector<char> vc;
typedef   std::vector<string> vs;
typedef   std::vector<pi> vpi;
typedef   priority_queue<int> max_heap_int;
typedef   priority_queue<string> max_heap_string;
typedef   priority_queue<int, vi, greater<int>> min_heap_int;


// class Timer { private: chrono::time_point <chrono::steady_clock> Begin, End; public: Timer () : Begin(), End ()
// { Begin = chrono::steady_clock::now(); } ~Timer () { End = chrono::steady_clock::now();
// cout << "\nDuration: " << ((chrono::duration <double>)(End - Begin)).count() << "s\n"; } } t;

lli row , col , x, q;
vector<pair<lli , lli>> deleted;

lli getCount(lli n) {
    lli c = min(col , n-1);
    return c*(c+1)/2;
}

//If the number is in the range that has been deleted then decrease the count of this number
lli getDeletedCount(lli val) {
    
    lli cnt = 0;
    for(auto &k : deleted) {
        if(k.first > val) continue;
        else if(val >= k.second) cnt += k.second - k.first + 1;
        else if(val >= k.first and val < k.second)  cnt += val - k.first + 1;
    }
    return cnt;
}

lli query(lli k) {
    lli low = 2 , high = row+col , sumOfTwoNumbers = row + col + 2 , middle = (low+high) >> 1 ;
    
    bool even = false;
    if((row+col) % 2) even = false;
    else even = true;
    
    while(low <= high) {
        lli mid = (low+high) >> 1;
        lli currentCount;
        
        if(mid <= middle) 
            currentCount = getCount(mid);
        else 
        {
            if(!even)
                currentCount = 2 * getCount(middle) - getCount(sumOfTwoNumbers - mid - 1);
            else 
                currentCount = 2 * getCount(middle-1) - getCount(sumOfTwoNumbers - mid - 1) + min(middle-1 , col);
        }
        
        currentCount -= getDeletedCount(mid);
        
        if(currentCount == k ) return mid;
        else if(k < currentCount) high = mid-1;
        else low = mid+1;
    }
    
    return low;
}
void solve(){  
    
    
    cin >> row >> col >> x >> q;
    
    while(q--) {
        int type;
        lli a , b , c;
        cin >> type;
        
        if(type == 1 || type == 2) {      //type 1 | 2 queries
            cin >> a >> b >> c;
            deleted.pb({a+b , a+c});
        }
        else {                  //type 3 queries
            cin >> a;
            
            lli qa ;
            qa = query(a);
            
            // Answer can not be greater than N+M
            if(qa > (row + col)) {
                cout << "-1\n";
            }
            else 
                cout<< qa + x << "\n";  
        }
    }
    
} 
int main() {
    ios_base::sync_with_stdio(false);
    cin.tie(NULL);
    cout.tie(NULL);

    solve();
	
	return 0;
}