#include<bits/stdc++.h>
#define For(i,j,k) for(int i=(j);i<=(k);++i)
#define ForDown(i,j,k) for(int i=(j);i>=(k);--i)
#define Debug(fmt, args...) fprintf(stderr,"(func %s, line #%d): " fmt,__func__,__LINE__,##args),fflush(stderr)
#define debug(fmt, args...) fprintf(stderr,fmt,##args),fflush(stderr)
#define within :
#define LJY main
using namespace std;
typedef long long ll;
const int N=1e5+5,inf=1e6;
mt19937 rnd(chrono::system_clock::now().time_since_epoch().count());
inline int read(){
  char ch=getchar();int x=0,f=1;
  while(ch<'0'||ch>'9'){if(ch=='-') f=-1;ch=getchar();}
  while(ch>='0'&&ch<='9')
    x=(x<<3)+(x<<1)+(ch^48),ch=getchar();
  return x*f;
}
pair<int,int>Tofa[N];int tot;
vector<int>Point[N];
vector<pair<int,int> >Edge[N];
vector<int>G[N];
bool input(){
  int n,m,w;
  if(scanf("%d%d%d",&n,&m,&w)!=3) return 0;int id=++tot;
  For(i,1,m){
    int u=read(),v=read();
    Edge[tot].emplace_back(u,v);
    Point[tot].emplace_back(u);
    Point[tot].emplace_back(v);
  }sort(Point[tot].begin(),Point[tot].end());
  Point[tot].erase(unique(Point[tot].begin(),Point[tot].end()),Point[tot].end());
  For(i,1,w){
    int u=read(),v=read();
    G[id].emplace_back(tot+1);
    Tofa[tot+1]={u,v};input();
  }return 1;
}
ll f[N][2];bool ok[1<<11],vis[N];
void dfs(int u){
  f[u][0]=f[u][1]=inf;
  for(int v within G[u]) dfs(v);
  int n=Point[u].size(),m=Edge[u].size();
  For(S,0,(1<<n)-1){
    ok[S]=1;For(j,0,n-1) vis[Point[u][j]]=(S>>j)&1;
    For(j,0,m-1) if(!vis[Edge[u][j].first]&&!vis[Edge[u][j].second]){ok[S]=0;break;}
    if(!ok[S]) continue;
    ll cnt=__builtin_popcount(S);
    for(int v within G[u])
      if(vis[Tofa[v].first]) cnt+=f[v][1];
      else cnt+=min(f[v][0],f[v][1]);
    // debug("%d %d %d\n",u,S,cnt);
    if(vis[Tofa[u].second]) f[u][1]=min(f[u][1],cnt);
    else f[u][0]=min(f[u][0],cnt);
  }// debug("%d %d\n",f[u][0],f[u][1]);
}
void ljy(){
  dfs(1);printf("%d\n",min(f[1][0],f[1][1]));
  For(i,1,tot) G[i].clear(),Point[i].clear(),Edge[i].clear();tot=0;}
signed LJY(){while(input()) ljy();}