#include <iostream>
#include <string>
#include <queue>
#include <stack>
#include <algorithm>
#include <list>
#include <vector>
#include <complex>
#include <utility>
#include <cstdio>
#include <cstdlib>
#include <cstring>
#include <cmath>
#include <bitset>
#include <ctime>
#include <map>
#include <unordered_map>
#include <set>
#include <unordered_set>
#include <cassert>
#include <cstddef>
#include <iomanip>
#include <numeric>

#define REP(i,n) for(long (i)=0;(i)<(n);(i)++)
#define FOR(i,a,b) for(long (i)=(a);(i)<(b);(i)++)
#define RREP(i,a) for(long (i)=(a)-1;(i)>=0;(i)--)
#define FORR(i,a,b) for(long (i)=(a)-1;(i)>=(b);(i)--)
#define MOD 1000000007
#define PI acos(-1.0)
#define DEBUG(C) cout<<C<<endl;
#define PII pair<int,int>
#define PLL pair<long,long>
#define ALL(a) (a).begin(),(a).end()
#define SORT(a) sort((a).begin(),(a).end())
#define RSORT(a) sort((a).begin(),(a).end(),greater<int>())

typedef long long LL;
typedef unsigned long long ULL;

using namespace std;

int main(){
	int N,C,V;	//N:目指す所 C:かけられるコスト
	cin>>N>>C>>V;
	vector<int> S(V),T(V),Y(V),M(V);
	REP(i,V){
		cin>>S[i]; S[i]--;	//スタート
	}
	REP(i,V){
		cin>>T[i]; T[i]--;	//ゴール
	}
	REP(i,V) cin>>Y[i];		//かかるコスト
	REP(i,V) cin>>M[i];		//かかる時間
	vector< vector<int> > dp(N,vector<int>(C+1,MOD));	//iにコストjを残して行ける最短時間
	vector<vector<tuple<int,int,int>>> v(N);
	REP(i,V) v[S[i]].push_back(make_tuple(T[i],Y[i],M[i]));
	dp[0][C]=0; //スタート時
	REP(i,N){
		REP(j,C+1){
			if(dp[i][j]==MOD) continue;
			if(v[i].empty()) continue;
			REP(k,v[i].size()){
				int tt=get<0>(v[i][k]),yy=get<1>(v[i][k]),mm=get<2>(v[i][k]);
				int nd=dp[i][j]+mm, cost=j-yy;
				if(cost<0) continue;
				dp[tt][cost]=min(dp[tt][cost],nd);
			}
		}
	}
	int ans=MOD;
	REP(i,C+1) ans=min(ans,dp[N-1][i]);
	if(ans==MOD) ans=-1;
	cout<<ans<<endl;
}