#include<atcoder/all>
#include<set>
using namespace std;

int main(){
  ios::sync_with_stdio(false);
  cin.tie(0);
  int n,d,w,u,v;
  cin>>n>>d>>w;
  atcoder::dsu uf1(n),uf2(n);
  while(d--){
    cin>>u>>v;
    uf1.merge(--u,--v);
  }
  while(w--){
    cin>>u>>v;
    uf2.merge(--u,--v);
  }
  auto G=uf1.groups();
  long ans=0,cnt;
  for(auto a:G){
    cnt=-1;
    set<int> S;
    for(auto v:a){
      if(!S.count(u=uf2.leader(v))){
        cnt+=uf2.size(u);
        S.insert(u);
      }
    }
    ans+=cnt*a.size();
  }
  cout<<ans<<'\n';
}