# include <bits/stdc++.h>
using namespace std;
typedef long long ll;
const int INF=1e6;
int n,m,K,lim,a[200010],b[200010],d[200010],nxt[20][200010],len[20][200010],cnt[200010];
ll sum[200010];
pair<int,int> upd[600010];
int add(int x,int y){return (x+=y)<INF?x:INF;}
int goleft(int x,int k){return (x-=k)>0?x:x+m;}
int goright(int x,int k){return (x+=k)<=m?x:x-m;}
ll calc(int l,int r){return l<=r?sum[r]-sum[l-1]+r-l:sum[n]-sum[l-1]+sum[r]+n-l+r;}
int dis(int x,int y){return x<y?y-x:m-x+y;}
void update(int x,int y){for(int i=x;i<=m;i+=i&-i) cnt[i]+=y;}
int query(int x)
{
	int ans=0;
	for(int i=x;i;i-=i&-i) ans+=cnt[i];
	return ans;
}
int getle(int l,int r)
{
	if(l>r) return 0;
	int cur=-query(--l),t=0;
	for(int i=__lg(r);i>=0;i--)
		if(t+(1<<i)<=r && cur+cnt[t+(1<<i)]<=0)
			cur+=cnt[t+(1<<i)],t+=1<<i;
	return (++t)<=r?t:0;
}
bool judge(ll x)
{
	int tot=0;
	for(int i=1;i<=K;i++)
	{
		int t=b[d[i]],l=0,r=m-1,mid,L,R;
		while(l<r)
		{
			mid=(l+r+1)/2;
			if(calc(a[goleft(t,mid)],d[i])<=x) l=mid;
			else r=mid-1;
		}
		L=goleft(t,l);l=0;r=m-1;
		while(l<r)
		{
			mid=(l+r+1)/2;
			if(calc(d[i],a[goright(t,mid)])<=x) l=mid;
			else r=mid-1;
		}
		R=goright(t,l);
		if(L<=R)
		{
			if(t<L || t>R) continue;
			upd[++tot]={R+1,R};
			upd[++tot]={1,R};upd[++tot]={L,-R};
		}
		else
		{
			if(t>R && t<L) continue;
			upd[++tot]={R+1,R};
			upd[++tot]={L,-R};
		}
	}
	sort(upd+1,upd+tot+1);
	for(int i=1,j=1;i<=m;i++)
	{
		for(;j<=tot && upd[j].first<=i;j++)
		{
			int x=upd[j].second;
			if(x>0) update(x,1);
			else update(-x,-1);
		}
		nxt[0][i]=getle(i+1,m);
		if(!nxt[0][i]) nxt[0][i]=getle(1,i-1);
	}
	for(int i=1;i<=m;i++) cnt[i]=0;
	for(int i=1;i<=m;i++)
		if(!nxt[0][i]) return 1;
		else len[0][i]=dis(i,nxt[0][i]);
	for(int i=1;i<=17;i++)
		for(int j=1;j<=m;j++)
		{
			nxt[i][j]=nxt[i-1][nxt[i-1][j]];
			len[i][j]=add(len[i-1][j],len[i-1][nxt[i-1][j]]);
		}
	for(int i=1;i<=m;i++)
	{
		int u=i,j=0,cur=0,cnt=1;
		while(j+1<=17 && len[j][u]<m) j++;
		for(;j>=0;j--)
			if(cur+len[j][u]<m)
			{
				cur+=len[j][u];
				cnt+=1<<j;
				u=nxt[j][u];
			}
		if(cnt<=lim) return 1;
	}
	return 0;
}
int main()
{
	int x,y;
	cin>>n>>m>>K>>lim;
	ll l=0,r=n,mid;
	for(int i=1;i<=m;i++) scanf("%d%d",&x,&y),r+=(sum[x]=y);
	m=0;
	for(int i=1;i<=n;i++)
		if(!sum[i])
			a[b[i]=++m]=i;
	for(int i=1;i<=n;i++) sum[i]+=sum[i-1];
	for(int i=1;i<=K;i++) scanf("%d",&d[i]);
	while(l<r)
	{
		mid=(l+r)/2;
		if(judge(mid)) r=mid;
		else l=mid+1;
	}
	cout<<l<<endl;
	return 0;
}