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

template <typename T,typename E>
struct SegmentTree{
  typedef function<T(T,T)> F;
  typedef function<T(T,E)> G;
  typedef function<E(E,E)> H;
  typedef function<E(E,Int)> P;
  Int n;
  F f;
  G g;
  H h;
  T d1;
  E d0;
  P p;
  vector<T> dat;
  vector<E> laz;
  SegmentTree(Int n_,F f,G g,H h,T d1,E d0,
	      vector<T> v=vector<T>(),
	      P p=[](E a,Int b){++b;return a;}):
    f(f),g(g),h(h),d1(d1),d0(d0),p(p){
    
    init(n_);
    if(n_==(Int)v.size()) build(n_,v);
  }
  void init(Int n_){
    n=1;
    while(n<n_) n*=2;
    dat.clear();
    dat.resize(2*n-1,d1);
    laz.clear();
    laz.resize(2*n-1,d0);
  }
  void build(Int n_, vector<T> v){
    for(Int i=0;i<n_;i++) dat[i+n-1]=v[i];
    for(Int i=n-2;i>=0;i--)
      dat[i]=f(dat[i*2+1],dat[i*2+2]);
  }
  inline void eval(Int len,Int k){
    if(laz[k]==d0) return;
    if(k*2+1<n*2-1){
      laz[k*2+1]=h(laz[k*2+1],laz[k]);
      laz[k*2+2]=h(laz[k*2+2],laz[k]);
    }
    dat[k]=g(dat[k],p(laz[k],len));
    laz[k]=d0;
  }
  T update(Int a,Int b,E x,Int k,Int l,Int r){
    eval(r-l,k);
    if(r<=a||b<=l) return dat[k];
    if(a<=l&&r<=b){
      laz[k]=h(laz[k],x);
      return g(dat[k],p(laz[k],r-l));
    }
    return dat[k]=f(update(a,b,x,k*2+1,l,(l+r)/2),
		    update(a,b,x,k*2+2,(l+r)/2,r));
  }
  T update(Int a,Int b,E x){
    return update(a,b,x,0,0,n);
  }
  T query(Int a,Int b,Int k,Int l,Int r){
    eval(r-l,k);
    if(r<=a||b<=l) return d1;
    if(a<=l&&r<=b) return dat[k];
    T vl=query(a,b,k*2+1,l,(l+r)/2);
    T vr=query(a,b,k*2+2,(l+r)/2,r);
    return f(vl,vr);
  }
  T query(Int a,Int b){
    return query(a,b,0,0,n);
  }
  void update(Int k,T x){
    query(k,k+1);//evaluate
    k+=n-1;
    dat[k]=x;
    while(k){
      k=(k-1)/2;
      dat[k]=f(dat[k*2+1],dat[k*2+2]);
    }
  }
};

struct FastIO{
  FastIO(){
    cin.tie(0);
    ios::sync_with_stdio(0);
  }
}fastio_beet;

//INSERT ABOVE HERE
signed main(){
  using T = tuple<Int, Int, Int, Int>;
  
  SegmentTree<T, Int>::F f=[](T a,T b){
    Int aw,ax,ay,az;
    tie(aw,ax,ay,az)=a;
    Int bw,bx,by,bz;
    tie(bw,bx,by,bz)=b;
    Int cw=min(aw,bw);
    Int cx=(aw==bw?ax+bx:(aw<bw?ax:bx));
    Int cy=max(ay,by);
    Int cz=(ay==by?az+bz:(ay>by?az:bz));
    return T(cw,cx,cy,cz);
  };
 
  SegmentTree<T, Int>::G g=[](T a,Int b){
    Int aw,ax,ay,az;
    tie(aw,ax,ay,az)=a;
    return T(aw+b,ax,ay+b,az);
  };

  SegmentTree<T, Int>::H h=[](Int a,Int b){
    return a+b;
  };

  Int H,W,Q;
  cin>>H>>W>>Q;
  vector<T> A,B;
  for(Int i=0;i<H;i++){
    Int v;
    cin>>v;
    A.emplace_back(v,1,v,1);
  }
  for(Int i=0;i<W;i++){
    Int v;
    cin>>v;
    B.emplace_back(v,1,v,1);
  }
  
  const Int INF = 1e17;
  T d1(INF,0,-INF,0);
  SegmentTree<T, Int> segY(H,f,g,h,d1,0,A);
  SegmentTree<T, Int> segX(W,f,g,h,d1,0,B);

  auto calc=[](Int t,T a,T b,Int p,Int q){
    Int aw,ax,ay,az;
    tie(aw,ax,ay,az)=a;
    Int bw,bx,by,bz;
    tie(bw,bx,by,bz)=b;
    Int res=t==3?
    min({aw*bw,aw*by,ay*bw,ay*by}):
    max({aw*bw,aw*by,ay*bw,ay*by});
    Int cnt=0;
    Int n=p-(!aw?ax:!ay?az:0ll);
    Int m=q-(!bw?bx:!by?bz:0ll);
    if(res==0) cnt=p*q-n*m;
    else{
      if(aw==ay) az=0;
      if(bw==by) bz=0;
      if(res==aw*bw) cnt+=ax*bx;
      if(res==aw*by) cnt+=ax*bz;
      if(res==ay*bw) cnt+=az*bx;
      if(res==ay*by) cnt+=az*bz;
    }
    
    cout<<res<<" "<<cnt<<endl;
  };
  
  for(Int i=0;i<Q;i++){
    Int t;
    cin>>t;
    if(t==1){
      Int a,b,v;
      cin>>a>>b>>v;
      segY.update(--a,b,v);
    }
    if(t==2){
      Int c,d,v;
      cin>>c>>d>>v;
      segX.update(--c,d,v);
    }
    if(t==3||t==4){
      Int a,b,c,d;
      cin>>a>>b>>c>>d;
      T y=segY.query(--a,b);
      T x=segX.query(--c,d);
      calc(t,y,x,b-a,d-c);
    }
  }
  
  return 0;
}



Measured memory_bytes: 34980