# 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):
  ufd=UnionFind(n)
  for u,v in uv:
    u,v=u-1,v-1
    ufd.union(u,v)
  ufw=UnionFind(n)
  for s,t in st:
    s,t=s-1,t-1
    ufw.union(s,t)
  ans=0
  mbd=ufd.members()
  mbw=ufw.members()
  for p in mbd:
    # 自動車用道路連結成分pを考える。
    # pの各都市から歩行者用道路を0本以上使って行ける都市が到達可能な都市。
    # size(p)=1の場合、自動車用道路を0本使うケースを数えることになる。

    # 到達可能な都市数
    abl=0

    # 加算済み歩行者用道路連結成分を記録する。
    su=set()

    for m in mbd[p]:
      pm=ufw.find(m)
      if pm not in su:
        su.add(pm)
        abl+=len(mbw[pm])
    ans+=(abl-1)*(len(mbd[p]))
  return ans

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)