Problem: problem

You are playing with J using the Midakuji. The Amida lottery consists of n vertical bars and m horizontal bars. The vertical bars are numbered from 1 to n in order from the left, and the vertical bar i The positive integer si is written at the bottom of.

<image>

Figure 3-1 Example of Amidakuji (n = 4, m = 5, s1 = 20, s2 = 80, s3 = 100, s4 = 50)

The integer written at the bottom of the vertical bar i, which is reached by following the path from the top of the vertical bar i, is the score when the vertical bar i is selected. For example, in Fig. 3-1 the vertical bar 1 is selected. And the score is 80 points, and if the vertical bar 2 is selected, the score is 100 points.

<image>

Figure 3-2 Example of how to follow the road

Mr. J decides to choose a series of k books from vertical bar 1 to vertical bar k. The total score when selecting those k vertical bars is J's score. However, you are in the Amidakuji You can select one horizontal bar and delete that horizontal bar from the Amidakuji. (You do not have to delete it.) If you delete one horizontal bar, the vertical bar in the deleted Amidakuji will be displayed vertically. J's score is the total of the points when selecting k consecutive vertical bars from bar 1 to vertical bar k.

Given the shape of the Amida lottery and the number of vertical bars k that J chooses as input, create a program that finds the minimum value of J's score.



input

The input consists of multiple datasets. Each dataset is given in the following format.

On the first line, four integers n, m, h, k are written separated by blanks. N (2 ≤ n ≤ 1000) is the number of vertical bars, and m (1 ≤ m ≤ 100000) is the horizontal bar. H (2 ≤ h ≤ 1000) represents the length of the vertical bar, and k (1 ≤ k ≤ n) represents the number of vertical bars you choose.

The following n lines contain the score written at the bottom of the vertical bar. The first line (1 ≤ i ≤ n) contains the positive integer si. Also, s1 + s2 + ... + sn ≤ 2000000000 = 2 × 109.

The following m lines indicate the position of the horizontal bar. The horizontal bars are numbered from 1 to m. The first line (1 ≤ i ≤ m) is the horizontal bar i. The two integers ai, bi (1 ≤ ai ≤ n --1, 1 ≤ bi ≤ h --1) representing the position are separated by blanks, and the horizontal bar i connects the vertical bar ai and the vertical bar ai + 1. , Indicates that the distance from the top edge of the horizontal bar i is bi. However, no two horizontal bars share an endpoint.

Of the scoring data, 20% of the points will have the lowest score for Mr. J if the horizontal bar is not deleted. Also, 30% of the points will satisfy n ≤ 20, m ≤ 30, h ≤ 10. 60% of the points are m ≤ 1000.

The end of the input is indicated by a line containing four zeros. The number of datasets does not exceed 10.

output

For each dataset, output the minimum score of Mr. J on one line.

Examples

Input

4 5 7 2
20
80
100
50
1 1
2 6
2 3
1 5
3 1
2 2 5 1
10
20
1 1
1 3
0 0 0 0


Output

100
10


Input

None


Output

None

Solution (in CPP):

Solution:
#include <iostream>
#include <cstdio>
#include <vector>
#include <cmath>
#include <cstring>
#include <numeric>
#include <algorithm>
#include <functional>
#include <array>
#include <map>
#include <queue>
#include <limits.h>
#include <set>
#include <stack>
#include <random>
#include <complex>
#include <unordered_map>
#define rep(i,s,n) for(int i = (s); (n) > i; i++)
#define REP(i,n) rep(i,0,n)
#define RANGE(x,a,b) ((a) <= (x) && (x) <= (b))
#define DUPLE(a,b,c,d) (RANGE(a,c,d) || RANGE(b,c,d) || RANGE(c,a,b) || RANGE(d,a,b))
#define INCLU(a,b,c,d) (RANGE(a,c,d) && (b,c,d))
#define PW(x) ((x)*(x))
#define ALL(x) (x).begin(), (x).end()
#define RALL(x) (x).rbegin(), (x).rend()
#define MODU 1000000007
#define bitcheck(a,b)   ((a >> b) & 1)
#define bitset(a,b)      ( a |= (1 << b))
#define bitunset(a,b)    (a &= ~(1 << b))
#define MP(a,b) make_pair((a),(b))
#define Manh(a,b) (abs((a).first-(b).first) + abs((a).second - ((b).second))
#define pritnf printf
#define scnaf scanf
#define itn int
#define PI 3.141592653589
using namespace std;
typedef long long ll;
typedef pair<int, int> pii;
typedef pair<ll, ll> pll;
ll gcd(ll a, ll b) {
	if (b == 0) return a;
	return gcd(b, a%b);
}
template<typename A, size_t N, typename T>
void Fill(A(&array)[N], const T &val) {
	std::fill((T*) array, (T*) (array + N), val);
}
pii Dir [] = {
	{ 0, 1 },{ -1 ,1 },{ -1, 0 },
	{ -1 ,-1 },{ 0,-1 },{ 1 ,-1 },
	{ 1,0 },{ 1 ,1 }
};
signed main() {
	int n, m, h, k;

	while (scanf("%d %d %d %d", &n, &m, &h, &k)) {
		if (!n && !m && !h && !k)
			break;
		vector<vector<pair<int, pii>>> bar(n);
		vector<int> last(n);
		REP(i, n) {
			int a;
			scanf("%d", &a);
			last[i] = a;
			bar[i].push_back({ INT_MAX,{ i,-1 } });
		}
		vector<int> ax;
		REP(i, m) {
			int a, b;
			scanf("%d %d", &a, &b);
			a--;
			bar[a].push_back({ b,{ -1,a + 1 } });
			bar[a + 1].push_back({ b,{ -1,a } });
			ax.push_back(b);
		}
		ax.push_back(INT_MAX);
		REP(i, n) {
			bar[i].push_back({ 0,{-1, -1} });
			sort(ALL(bar[i]), greater<pair<int, pii>>());
		}
		sort(ALL(ax), greater<int>());
		ax.erase(unique(ALL(ax)), ax.end());
		REP(i, ax.size()) {
			REP(j, n) {
				auto itr = lower_bound(ALL(bar[j]), MP(ax[i], MP(INT_MAX, INT_MAX)), greater<pair<int, pii>>());
				if (itr->first == ax[i]) {
					auto nitr = itr;
					nitr++;
					if (nitr->second.second == -1) {
						nitr->second.first = itr->second.first;
					}
					else {
						auto neitr = lower_bound(ALL(bar[nitr->second.second]), MP(nitr->first, MP(INT_MAX, INT_MAX)), greater<pair<int, pii>>());
						neitr->second.first = itr->second.first;
					}
				}
			}
		}
		int sum = 0;

		map<int, int> lst;
		REP(i, n) {
			if (i < k)
				sum += last[bar[i][bar[i].size() - 1].second.first];
			lst[bar[i][bar[i].size() - 1].second.first] = i;
		}
		int ans = sum;
		REP(i, n - 1) {
			for (auto itr : bar[i]) {
				if (lst[itr.second.first] < k) {
					if (itr.second.second == i + 1) {
						auto itrt = lower_bound(ALL(bar[i + 1]), MP(itr.first, MP(INT_MAX, INT_MAX)), greater<pair<int, pii>>());
						if (lst[itrt->second.first] >= k) {
							ans = min(ans, sum + last[itrt->second.first] - last[itr.second.first]);
						}
					}
				}
			}
		}
		printf("%d\n", ans);
	}
	return 0;
}