#include <bits/stdc++.h>
using namespace std;

#define repu(i, begin, end) for (__typeof(begin) i = (begin) - ((begin) > (end)); i != (end) - ((begin) > (end)); i += 1 - 2 * ((begin) > (end)))
#define repe(i, begin, end) for (__typeof(begin) i = (begin); i != (end) + 1 - 2 * ((begin) > (end)); i += 1 - 2 * ((begin) > (end)))
#define mem(a, x) memset(a, x, sizeof(a))
#define all(a) a.begin(), a.end()
#define count_bits(x) __builtin_popcount(x)
#define count_bitsll(x) __builtin_popcountll(x)
#define least_bits(x) __builtin_ffs(x)
#define least_bitsll(x) __builtin_ffsll(x)
#define most_bits(x) 32 - __builtin_clz(x)
#define most_bitsll(x) 64 - __builtin_clz(x)

vector<string> split(const string &s, char c) {
	vector<string> v;
	stringstream ss(s);
	string x;
	while (getline(ss, x, c)) v.push_back(x);
	return v;
}

#define error(args...) { vector<string> _v = split(#args, ','); err(_v.begin(), args); }

void err(vector<string>::iterator it) {}

template<typename T, typename... Args>
void err(vector<string>::iterator it, T a, Args... args) {
	cerr << it -> substr((*it)[0] == ' ', it -> length()) << " = " << a << '\n';
	err(++it, args...);
}

typedef long long ll;
const int MOD = 1000000007;

template<class T> inline T tmin(T a, T b) {return (a < b) ? a : b;}
template<class T> inline T tmax(T a, T b) {return (a > b) ? a : b;}
template<class T> inline void amax(T &a, T b) {if (b > a) a = b;}
template<class T> inline void amin(T &a, T b) {if (b < a) a = b;}
template<class T> inline T tabs(T a) {return (a > 0) ? a : -a;}
template<class T> T gcd(T a, T b) {while (b != 0) {T c = a; a = b; b = c % b;} return a;}

const int MAXV = 51, MAXC = 301, INF = (int) 1E8;
int eg[MAXV][MAXV][2];
int dp[MAXV][MAXC]; 
vector<int> G[MAXV];
int N, C, V;

void solve() {
	repe(i, 2, N) repe(c, 1, C) {
		repu(j, 0, G[i].size()) {
			int k = G[i][j];
			if (c >= eg[k][i][0]) {
				amin(dp[i][c], dp[k][c - eg[k][i][0]] + eg[k][i][1]);
			}
		}
	}
}

int main(int argc, char *argv[]) {
    ios_base::sync_with_stdio(false);
    int s[1501], t[1501], y[1501], m[1501];

    cin >> N >> C >> V;

    repu(i, 0, V) cin >> s[i];
    repu(i, 0, V) cin >> t[i];
    repu(i, 0, V) cin >> y[i];
    repu(i, 0, V) cin >> m[i];

    mem(dp, 0);
    repe(i, 2, N) repe(c, 0, C) dp[i][c] = INF;

    repu(i, 0, V) {
    	G[t[i]].push_back(s[i]);
    	eg[s[i]][t[i]][0] = y[i];
    	eg[s[i]][t[i]][1] = m[i];
    }

    solve();
    int ans = dp[N][C];
    if (ans == INF) ans = -1;
    printf("%d\n", ans);

    return 0;
}