#include <iostream>
#include <vector>
#include <climits>
using namespace std;
int main(){
  int N,C,V;
  cin>>N>>C>>V;
  vector<int> v1(V),v2(V),v3(V),v4(V);
  for(int i=0;i<V;++i){
    cin>>v1[i];
  }
  for(int i=0;i<V;++i){
    cin>>v2[i];
  }
  for(int i=0;i<V;++i){
    cin>>v3[i];
  }
  for(int i=0;i<V;++i){
    cin>>v4[i];
  }
  vector<vector<int>> vv1(N,vector<int>(N));
  vector<pair<int,int>> vp1;
  int a=0;
  for(int i=0;i<V;++i){
    a+=1;
    vv1[v1[i]-1][v2[i]-1]=a;
    vp1.push_back(make_pair(v3[i],v4[i]));
  }
  vector<vector<int>> vv2(C+1,vector<int>(N,INT_MAX));
  vv2[0][0]=0;
  for(int i=0;i<N;++i){
    for(int j=0;j<N;++j){
      if(vv1[i][j]){
        for(int k=0;k<C+1;++k){
          if(vv2[k][i]!=INT_MAX){
            int b=k+vp1[vv1[i][j]-1].first;
            int c=vv2[k][i]+vp1[vv1[i][j]-1].second;
            if(b>C) continue;
            if(vv2[b][j]>c) vv2[b][j]=c;
          }
        }
      }
    }
  }
  int x=INT_MAX;
  for(int i=1;i<C+1;++i){
    if(x>vv2[i][N-1]) x=vv2[i][N-1];
  }
  if(x==INT_MAX){
    cout<<-1<<endl;
  } else {
    cout<<x<<endl;
  }
}