# UnionFind class UnionFind: def __init__(self,n): self.n=n self.par=[-1]*n # par[i]:i根ならグループiの要素数に-1をかけたもの。i根じゃないならiの親 self.rank=[0]*n # iの根を返す def find(self,i): if self.par[i]<0:return i ii=i while self.par[i]>=0: i=self.par[i] while i!=self.par[ii]: ii,self.par[ii]=self.par[ii],i return i # iとjをunionし、根頂点を返す def union(self,i,j): i,j=self.find(i),self.find(j) if i==j:return i elif self.rank[i]>self.rank[j]: # par[i]:グループiの要素数で判断してもいい self.par[i]+=self.par[j] self.par[j]=i else: self.par[j]+=self.par[i] self.par[i]=j # 深さ(rank)が同じものを併合した場合1を足す if self.rank[i]==self.rank[j]: self.rank[j]+=1 return self.find(i) # iとjが同じグループに属するか判断 def same(self,i,j): return self.find(i)==self.find(j) # ノードiが属する木のサイズを返す def size(self,i): return -self.par[self.find(i)] # グループを返す。 def members(self): d={} for i in range(n): p=self.find(i) if p in d:d[p].add(i) else:d[p]={i} return d def main1(n,d,w,uv,st): gw=[[] for _ in range(n)] ufd=UnionFind(n) for u,v in uv: u,v=u-1,v-1 ufd.union(v,u) ufw=UnionFind(n) for s,t in st: s,t=s-1,t-1 gw[s].append(t) gw[t].append(s) ufw.union(s,t) ret=0 mbd=ufd.members() mbw=ufw.members() #print(mbd,mbw) # 自動車用道路連結成分 w_only=set() for p in mbd: mem=mbd[p] if len(mem)==1: w_only.add(p) continue num1=len(mem) w=set() for v in mem: for nv in gw[v]: w=w|mbw[ufw.find(nv)] num2=len(w|mem) ret+=num1*(num2-1) # 歩行者用道路連結成分 while w_only: wi=w_only.pop() p=ufw.find(wi) m=mbw[p] if len(m)==1:continue num1=0 for mi in m: if mi==wi: num1+=1 elif mi in w_only: num1+=1 w_only.discard(mi) num2=len(m) ret+=num1*(num2-1) return ret import sys input=sys.stdin.readline if __name__=='__main__': n,d,w=map(int,input().split()) uv=[list(map(int,input().split())) for _ in range(d)] st=[list(map(int,input().split())) for _ in range(w)] ret1=main1(n,d,w,uv,st) print(ret1)