#include <bits/stdc++.h>
#include <atcoder/fenwicktree>
using namespace std;
using namespace atcoder;
int q,l0;
int a[10<<17];
int main(){
    int n;
    cin>>n>>q>>l0;
    bool nf=true;
    fenwick_tree<long long> BIT1(1000001),BIT2(1000001);
    for(int i=0;i<n;i++){
        cin>>a[i];
        BIT1.add(a[i],1);
        BIT2.add(a[i],a[i]);
    }
    while(q--){
        int op;cin>>op;
        if(op==1){
            int l;cin>>l;
            BIT1.add(l,1);
            BIT2.add(l,l);
        }else if(op==2){
            int l,r;cin>>l>>r;
            r++;
            cout<<BIT1.sum(l,r)<<" "<<BIT2.sum(l,r)<<"\n";
            nf=false;
        }else{
            cin>>l0;
        }
    }
    if(nf)cout<<"Not Found!\n";
}