#include<bits/stdc++.h>
using namespace std;
const int maxn=2e5+5;
typedef long long ll;
int k,m,n,p[maxn],t[maxn];
int l[maxn],w[maxn<<1]={0},ma[maxn<<1]={0};
ll ans=0;
int main(){
    freopen("Closest_Cow_Wins.in","r",stdin);
    freopen("Closest_Cow_Wins.out","w",stdout);
    scanf("%d%d%d",&k,&m,&n);
    for(int i=1;i<=k;i++)
        scanf("%d%d",&p[i],&t[i]);
    for(int i=1;i<=m;i++)
    {
        int a;
        scanf("%d",&a);
        ma[a]=1;
    }
    for(int i=1;i<=k;i++)
    {
        for(int j=0;;j++)
        {
            if(ma[p[i]+j]==1||ma[p[i]-j]==1)
            {
                l[i]=j-1;
                break;
            }
            w[p[i]+j]=w[p[i]-j]=t[i];
        }
    }
    for(int i=1;i<=n;i++)
    {
        ll maxx=0,pos;
        for(int j=0;j<=(maxn<<1);j++)
        {
            if(w[j]>maxx)
            {
                pos=j;
                maxx=w[j];
            }
        }
        ans+=maxx;
        for(int j=1;j<=k;j++)
            if(pos>=p[j]-l[j]&&pos<=p[j]+l[j])
                for(int o=p[j]-l[j];o<=p[j]+l[j];o++)
                    w[o]-=t[j];
    }
    printf("%lld\n",ans);
    return 0;
}