# 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[600010];
ll sum[200010];
pair<int,int> seg[200010],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 rt,int l,int r,int x,int y)
{
	if(l==r) return cnt[rt]+=y,void();
	int mid=(l+r)/2;
	if(x<=mid) update(rt*2,l,mid,x,y);
	else update(rt*2+1,mid+1,r,x,y);
	cnt[rt]=cnt[rt*2]+cnt[rt*2+1];
}
int query(int rt,int l,int r,int x,int y)
{
	if(l>y || r<x) return 0;
	if(l==r) return cnt[rt]?l:0;
	int mid=(l+r)/2;
	if(l>=x && r<=y)
		if(cnt[rt*2]) return query(rt*2,l,mid,x,y);
		else if(cnt[rt*2+1]) return query(rt*2+1,mid+1,r,x,y);
		else return 0;
	int L=query(rt*2,l,mid,x,y);
	if(L) return L;
	else return query(rt*2+1,mid+1,r,x,y);
}
void clear(int rt,int l,int r)
{
	cnt[rt]=0;
	if(l==r) return;
	int mid=(l+r)/2;
	clear(rt*2,l,mid);
	clear(rt*2+1,mid+1,r);
}
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(1,1,m,x,1);
			else update(1,1,m,-x,-1);
		}
		nxt[0][i]=query(1,1,m,i+1,m);
		if(!nxt[0][i]) nxt[0][i]=query(1,1,m,1,i-1);
	}
	clear(1,1,m);
	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,cur=0,cnt=1;
		for(int j=17;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;
}