#include <bits/stdc++.h>
#include <atcoder/all>
using namespace std;
using namespace atcoder;
typedef long long int ll;
typedef long double ld;
#define MAX 1e18
#define FOR(i,l,r) for(ll i=l;i<r;i++)
#define REP(i,n) FOR(i,0,n)
#define RFOR(i,l,r) for(ll i=r-1;i>=l;i--)
#define RREP(i,n) RFOR(i,0,n)
#define ALL(x) x.begin(),x.end()
#define P pair<ll,ll>
#define F first
#define S second
#define BS(A,x) binary_search(ALL(A),x)
#define LB(A,x) (ll)(lower_bound(ALL(A),x)-A.begin())
#define UB(A,x) (ll)(upper_bound(ALL(A),x)-A.begin())
template<typename T>using min_priority_queue=priority_queue<T,vector<T>,greater<T>>;
using mint=modint1000000007;
bool prime(ll N){if(N<2)return 0;ll d=2;while(d*d<=N){if(N%d==0)return 0;d++;}return 1;}
ll hush(ll N){if(N<10)return N;ll res=0;while(N){res+=N%10;N/=10;}return hush(res);}
signed main(){
  ll N,C,V;cin>>N>>C>>V;vector<ll>S(V),T(V),Y(V),M(V);
  REP(i,V)cin>>S[i];REP(i,V)cin>>T[i];REP(i,V)cin>>Y[i];REP(i,V)cin>>M[i];
  vector<vector<ll>>X(N,vector<ll>(C+1,MAX)),E(N,vector<ll>());X[0][0]=0;
  REP(i,V)E[S[i]-1].push_back(i);queue<ll>Q;Q.push(0);
  while(Q.size()){
    ll v=Q.front();Q.pop();
    REP(i,E[v].size()){
      ll p=E[v][i];bool x=0;
      REP(c,C+1-Y[p])if(X[T[p]-1][c+Y[p]]>X[v][c]+M[p]){
        X[T[p]-1][c+Y[p]]=X[v][c]+M[p];x=1;
      }
      if(x)Q.push(T[p]-1);
    }
  }
  ll ans=MAX;
  REP(i,C+1)ans=min(ans,X[N-1][i]);if(ans==MAX)ans=-1;cout<<ans<<endl;
  return 0;
}