#include <bits/stdc++.h>

#define REP(i, x, n) for(int i = x; i < (int)(n); i++)
#define rep(i, n) REP(i, 0, n)
#define all(x) (x).begin(), (x).end()
#define rall(x) (x).rbegin(), (x).rend()
#define F first
#define S second
#define mp make_pair

using namespace std;

typedef long long ll;
typedef unsigned long long ull;
typedef pair<int, int> P;

const int INF = 1 << 30;

struct Edge {
  int to, cost, dist;
  Edge(int t, int c, int d): to(t), cost(c), dist(d) {}
};

struct State {
  int pos, cost, dist;
  State(int p, int c, int d): pos(p), cost(c), dist(d) {}

  bool operator < (const State &stt) const {
    return stt.dist < dist;
  }
};

int N, C, V;
int S[1500], T[1500], Y[1500], M[1500];
vector<Edge> edge[1500];
int minDist[50][310];

int solve() {
  rep(i, N) rep(j, C + 1) minDist[i][j] = INF;

  priority_queue<State> pq;
  pq.push(State(0, 0, 0));
  minDist[0][0] = 0;

  while(!pq.empty()) {
    State stt = pq.top();
    pq.pop();
    
    if(stt.pos == N - 1) return stt.dist;

    rep(i, edge[stt.pos].size()) {
      int to = edge[stt.pos][i].to;
      int cost = edge[stt.pos][i].cost;
      int dist = edge[stt.pos][i].dist;
      if(stt.cost + cost > C) continue;
      if(minDist[to][stt.cost + cost] > minDist[stt.pos][stt.cost] + dist) {
        minDist[to][stt.cost + cost] = minDist[stt.pos][stt.cost] + dist;
        pq.push(State(to, stt.cost + cost, minDist[to][stt.cost + cost]));
      }
    }
  }
  
  return -1;
}

int main() {
  // ios_base::sync_with_stdio(false);
  cin >> N >> C >> 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];

  rep(i, V) {
    edge[S[i] - 1].push_back(Edge(T[i] - 1, Y[i], M[i]));
  }

  cout << solve() << endl;
  
  return 0;
}