/*
* 001_sample.cpp
* 
* No.1 道のショートカット
*/

#include <iostream>
#include <vector>

struct e_t {
	int S, T, Y, M;
};
using VEC = std::vector<e_t>;
static const int INF = 1e9+7;

template <class A>
bool setMin(A& left, A const & right) {
	if (left < right) {
		return false;
	}
	left = right;
	return true;
}

int main () {
	int N = 0;
	int C = 0;
	int V = 0;
	std::cin >> N >> C >> V;
	VEC e(V);
	for (int i = 0; i < N; i++) {
		std::cin >> e[i].S;
	}
	for (int i = 0; i < N; i++) {
		std::cin >> e[i].T;
	}
	for (int i = 0; i < N; i++) {
		std::cin >> e[i].Y;
	}
	for (int i = 0; i < N; i++) {
		std::cin >> e[i].M;
	}
	
	//int64_t dp[N][C+1];
	int dp[N][C+1];
	for (int i = 0; i < N; i++) {
		for (int j = 0; j < C+1; j++) {
			dp[i][j] = INF;
		}
	}
	dp[0][0] = 0;
	
	for (int i = 0; i < N; i++) {
		for (int j = C; j >= 0; j--) {
			if (dp[i][j] != INF) {
			for (int k = 0; k < V; k++) {
				if (i+1 == e[k].S && e[k].Y <= C) {
					setMin(dp[e[k].T - 1][j + e[k].Y], dp[i][j] + e[k].M);
				}
			}
			}
		}
	}
	int ans = INF;
	for (int i = 0; i < C+1; i++) {
		setMin(ans, dp[N-1][i]);
	}
	std::cout << (ans == INF ? -1 : ans) << std::endl;
	
	return 0;
	
}