# 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],fa[200010],nxt[20][200010],len[20][200010];
ll sum[200010];
struct Update
{
	int l,r,v;
	Update(int l=0,int r=0,int v=0):l(l),r(r),v(v){}
	bool operator<(const Update &t)const{return v<t.v;}
}upd[400010];
inline int add(int x,int y){return (x+=y)<INF?x:INF;}
inline int goleft(int x,int k){return (x-=k)>0?x:x+m;}
inline int goright(int x,int k){return (x+=k)<=m?x:x-m;}
inline 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;}
inline int dis(int x,int y){return x<y?y-x:m-x+y;}
int getF(int u){return u==fa[u]?u:fa[u]=getF(fa[u]);}
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;
			if(L>1) upd[++tot]=Update(1,L-1,R);
			if(R<m) upd[++tot]=Update(R+1,m,R+m);
		}
		else
		{
			if(t>R && t<L) continue;
			if(L-R>=2) upd[++tot]=Update(R+1,L-1,R+m);
		}
	}
	sort(upd+1,upd+tot+1);
	iota(fa+1,fa+m+2,1);
	for(int i=1;i<=tot;i++)
	{
		int l=upd[i].l,r=upd[i].r,v=upd[i].v;
		for(int j=getF(l);j<=r;j=getF(j+1))
		{
			nxt[0][j]=(v<=m?v:v-m);
			fa[j]=j+1;
		}
	}
	for(int i=getF(1);i<=m;i=getF(i+1)) nxt[0][i]=i;
	for(int i=1;i<=m;i++)
		if(nxt[0][i]==i) len[0][i]=INF;
		else len[0][i]=dis(i,nxt[0][i]);
	int mx=0;
	for(;;mx++)
	{
		bool flag=0;
		int *_nxt=nxt[mx+1],*__nxt=nxt[mx],*_len=len[mx+1],*__len=len[mx];
		for(int i=1;i<=m;i++)
		{
			_nxt[i]=__nxt[__nxt[i]];
			_len[i]=add(__len[i],__len[__nxt[i]]);
			flag|=(_len[i]<m);
		}
		if(!flag) break;
	}
	for(int i=1;i<=m;i++)
	{
		int u=i,cur=0,cnt=1;
		for(int j=mx;j>=0 && cnt<=lim;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=(K<=100000?n:1e7),mid;
	for(int i=1;i<=m;i++)
	{
		scanf("%d%d",&x,&y);sum[x]=y;
		if(K<=100000) r+=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;
}