#include <bits/stdc++.h>
using namespace std;
using ll=long long;
#include <atcoder/all>
using namespace atcoder;

int main(){
    int n, q, l;
    cin >> n >> q >> l;
    fenwick_tree<int> sum(200001);
    fenwick_tree<ll> level(200001);
    bool query2 = false;
    for(int i = 0; i < n; i++) {
        int a;
        cin >> a;
        sum.add(a, 1);
        level.add(a, a);
    }
    for(int i = 0; i < q; i++) {
        int t;cin>>t;
        if(t==1){
            int l;
            cin >> l;
            sum.add(l, 1);
            level.add(l, l);
        }
        if(t==2){
            query2 = true;
            int l, r;
            cin >> l >> r;
            cout << sum.sum(l, r + 1) << ' ' << level.sum(l, r+1) << endl;
        }
        if(t == 3){
            int l;
            cin >> l;
        }
    }
    if(!query2)
        cout << "Not Found!\n";
}