#include <bits/stdc++.h>
#include <atcoder/all>
using namespace std;
using namespace atcoder;
#define rep(i, n) for(int i=0;i<(n);++i)
#define rep1(i, n) for(int i=1;i<=(n);i++)
#define ll long long
using mint = modint998244353;
using P = pair<ll,ll>;
using lb = long double;
using T = tuple<ll, ll, ll>;
#ifdef LOCAL
#  include <debug_print.hpp>
#  define dbg(...) debug_print::multi_print(#__VA_ARGS__, __VA_ARGS__)
#else
#  define dbg(...) (static_cast<void>(0))
#endif

int main()
{
    int k, n, m;
    cin >> k >> n >> m;
    vector<int> a(k), b(n);
    mcf_graph<int, ll> G(n+2);
    int s = n;
    int t = n+1;
    rep(i,k){
        cin >> a[i];
        --a[i];
        G.add_edge(s, a[i], 1,0);
    }
    rep(i,n) cin >> b[i];
    rep(i,n){
        G.add_edge(i, t, b[i], 0);
    }
    rep(i,m){
        int u, v;
        ll d;
        cin >> u >> v >> d;
        --u;--v;
        G.add_edge(u,v,k,d);
        G.add_edge(v,u,k,d);
    } 
    cout << G.flow(s,t, k).second << endl;
    return 0;
}