#include <bits/stdc++.h>
using namespace std;
class datatype{
	public:
		int t,y,m;
		datatype(){}
		datatype(int a,int b,int c){
			t=a;	y=b;	m=c;
		}
};
int main(){
	int n,c,v;	cin>>n>>c>>v;
	vector<int> s(v),t(v),y(v),m(v);
	for(int i=0;i<v;i++)	cin>>s[i];
	for(int i=0;i<v;i++)	cin>>t[i];
	for(int i=0;i<v;i++)	cin>>y[i];
	for(int i=0;i<v;i++)	cin>>m[i];
	vector<vector<tuple<int,int,int> > > data(n);
	for(int i=0;i<v;i++){
		data[s[i]-1].push_back(make_tuple(t[i]-1,y[i],m[i]));
	}
	int dp[n][c+1];
	for(int i=0;i<n;i++){
		for(int j=0;j<=c;j++)	dp[i][j]=1<<25;
	}
	dp[0][c]=0;
	for(int i=0;i<n;i++){
		for(int j=0;j<=c;j++){
			if(dp[i][j]==1<<25)	continue;
			for(int k=0;k<(int)data[i].size();k++){
				int to=get<0>(data[i][k]);
				int cost=j-get<1>(data[i][k]);
				if(cost<0)	continue;
				int time=dp[i][j]+get<2>(data[i][k]);
				dp[to][cost]=min(dp[to][cost],time);
			}
		}
	}
	int ans=1<<25;
	for(int i=0;i<=c;i++){
		ans=min(ans,dp[n-1][i]);
	}
	if(ans==1<<25)	cout<<-1<<endl;
	else 	cout<<ans<<endl;
	return 0;
}