#include <bits/stdc++.h>
using namespace std ;
random_device rd;
mt19937 eng(rd());
uniform_real_distribution<> prr;
int main () {
	clock_t st = clock();
	int N, s, t;
	scanf(" %d %d %d", &N, &s, &t);
	std::vector<int> id(N, -1);
	for (int i = 0; i < s; i ++) {
		int a;
		scanf(" %d", &a);
		id[--a] = 0;
	}
	for (int i = 0; i < t; i ++) {
		int a;
		scanf(" %d", &a);
		id[--a] = 1;
	}
	for (auto& a : id) {
		if (a == -1) {
			double x = prr(eng);
			a = (x < 0.5);
		}
	}
	using ll = long long;
	ll C[66][66];
	ll sum = 0;
	for (int i = 0; i < N; i ++) {
		for (int j = 0; j < N; j ++) {
			scanf(" %lld", &C[i][j]);
			if (i <= j) sum += C[i][j];
		}
	}
	ll now = 0;
	for (int i = 0; i < N; i ++) {
		for (int j = i; j < N; j ++) {
			if (id[i] != id[j]) {
				now += C[i][j];
			}
		}
	}
	ll ans = now;
	while ((double)(clock() - st) / CLOCKS_PER_SEC < 1.9) {
		int u = prr(eng) * N;
		ll pl = 0;
		for (int i = 0; i < N; i ++) {
			pl += C[i][u] * (id[u] == id[i] ? 1 : -1);
		}
		double x = (pl > 0 ? 2 : exp(10.0 * pl / sum));
		if (prr(eng) < x) {
			now += pl;
			id[u] ^= 1;
		}
		ans = min(ans, now);
	}
	cout << sum - ans << endl;
}