#include<bits/stdc++.h>
using namespace std;
typedef long long ll;
void tc(){
ll n, k, q, t; cin >> n >> k >> q >> t;
for(ll i = 0; i < n; ++i){
ll u; cin >> u;
}
for(ll i = 0; i < n; ++i){
ll u; cin >> u;
}
for(ll i = 0; i < k; ++i){
cout << i+1 << " ";
}
cout << "\n";
for(ll i = 2; i <= k; ++i){
cout << 1 << " " << 2 << '\n';
}
cout<< flush;
fflush(stdout);
for(ll i = 2; i <= k; ++i){
ll e, f, g, h; cin >> e >> f >> g >> h;
}
for(ll i = 0; i < t; ++i){
ll u, v; cin >> u >> v;
}
for(ll i = 0; i < t; ++i){
cout << "0 0" << '\n';
}
cout << flush;
fflush(stdout);
}
int main(){
ios_base::sync_with_stdio(false);
cin.tie(0); cout.tie(0);
ll t = 1;
while(t--){
tc();
}
}
