#include <ext/pb_ds/assoc_container.hpp>
#include <ext/pb_ds/tree_policy.hpp>
#include <bits/stdc++.h>
using namespace std;
using namespace __gnu_pbds;
typedef long long ll;
typedef long double ldb;
typedef pair<int,int> pii;
typedef pair<ll,ll> pll;
typedef pair<ldb,ldb> pdd;
#define ff(i,a,b) for(int i = a; i <= b; i++)
#define fb(i,b,a) for(int i = b; i >= a; i--)
#define trav(a,x) for(auto& a : x)
#define sz(a) (int)(a).size()
#define fi first
#define se second
#define pb push_back
#define lb lower_bound
#define ub upper_bound
#define all(a) a.begin(), a.end()
#define rall(a) a.rbegin(), a.rend()
mt19937 rng(chrono::steady_clock::now().time_since_epoch().count());
template<typename T>
using ordered_set = tree<T, null_type, less<T>, rb_tree_tag, tree_order_statistics_node_update>;
// os.order_of_key(k) the number of elements in the os less than k
// *os.find_by_order(k) print the k-th smallest number in os(0-based)
const int mod = 1000000007;
const int inf = 1e9 + 5;
const int mxN = 100005;
int n, k, q;
int A[mxN];
int B[mxN];
int poz[mxN];
int L[mxN];
int R[mxN];
int bor[4 * mxN][2];
int lenj[4 * mxN];
void build(int v, int tl, int tr){
lenj[v] = 0;
if(tl == tr){
bor[v][0] = 0;
bor[v][1] = 1;
return;
}
int mid = (tl + tr) / 2;
build(v * 2, tl, mid); build(v * 2 + 1, mid + 1, tr);
bor[v][0] = max(bor[v * 2][0], bor[v * 2 + 1][0]);
bor[v][1] = (bor[v * 2][0] == bor[v][0] ? bor[v * 2][1] : 0) +
(bor[v * 2 + 1][0] == bor[v][0] ? bor[v * 2 + 1][1] : 0);
}
void propagate(int v, int tl, int tr){
if(lenj[v] != 0){
bor[v][0] += lenj[v];
if(tl != tr){
lenj[v * 2] += lenj[v];
lenj[v * 2 + 1] += lenj[v];
}
lenj[v] = 0;
}
}
void lazyupd(int v, int tl, int tr, int l, int r, int val){
propagate(v, tl, tr);
if(tl > tr || tl > r || l > tr)return;
if(tl >= l && tr <= r){
lenj[v] += val;
propagate(v, tl, tr);
return;
}
int mid = (tl + tr) / 2;
lazyupd(v * 2, tl, mid, l, r, val); lazyupd(v * 2 + 1, mid + 1, tr, l, r, val);
bor[v][0] = max(bor[v * 2][0], bor[v * 2 + 1][0]);
bor[v][1] = (bor[v * 2][0] == bor[v][0] ? bor[v * 2][1] : 0) +
(bor[v * 2 + 1][0] == bor[v][0] ? bor[v * 2 + 1][1] : 0);
}
void calc(){
build(1,1,n - k + 1);
ff(i,1,k){
int l = L[poz[A[i]]];
int r = R[poz[A[i]]];
lazyupd(1,1,n - k + 1,l,r,1);
}
int mx = bor[1][0], br = bor[1][1];
ff(i,k + 1,n){
int l1 = L[poz[A[i - k]]];
int r1 = R[poz[A[i - k]]];
lazyupd(1,1,n - k + 1,l1,r1,-1);
int l2 = L[poz[A[i]]];
int r2 = R[poz[A[i]]];
lazyupd(1,1,n - k + 1,l2,r2,1);
if(bor[1][0] > mx){
mx = bor[1][0];
br = bor[1][1];
}
else if(bor[1][0] == mx)br += bor[1][1];
}
cout << mx << " " << br << '\n';
}
int main(){
cin.tie(0)->sync_with_stdio(0);
cin >> n >> k >> q;
ff(i,1,n)cin >> A[i];
ff(i,1,n)cin >> B[i], poz[B[i]] = i;
ff(i,1,n){
L[i] = max(1, i - k + 1);
R[i] = min(i, n - k + 1);
}
calc();
while(q--){
int t;
cin >> t;
swap(A[t], A[t + 1]);
calc();
}
return 0;
}
/*
4 3 0
2 4 1 3
1 2 3 4
// probati bojenje sahovski
*/
