#include using namespace std; using ll = long long; using ld = long double; using VI = vector; using VL = vector; using VS = vector; template using PQ = priority_queue, greater>; #define FOR(i,a,n) for(int i=(a);i<(n);++i) #define eFOR(i,a,n) for(int i=(a);i<=(n);++i) #define rFOR(i,a,n) for(int i=(n)-1;i>=(a);--i) #define erFOR(i,a,n) for(int i=(n);i>=(a);--i) #define SORT(a) sort(a.begin(),a.end()) #define rSORT(a) sort(a.rbegin(),a.rend()) #define fSORT(a,f) sort(a.begin(),a.end(),f) #define all(a) a.begin(),a.end() #define out(y,x) ((y)<0||h<=(y)||(x)<0||w<=(x)) #define tp(a,i) get(a) #ifdef _DEBUG #define line cout << "-----------------------------\n" #define stop system("pause") #endif constexpr ll INF = 1000000000; constexpr ll LLINF = 1LL << 60; constexpr ll mod = 1000000007; constexpr ll MOD = 998244353; constexpr ld eps = 1e-10; constexpr ld pi = 3.1415926535897932; templateinline bool chmax(T& a, const T& b) { if (a < b) { a = b; return true; }return false; } templateinline bool chmin(T& a, const T& b) { if (a > b) { a = b; return true; }return false; } inline void init() { cin.tie(nullptr); cout.tie(nullptr); ios::sync_with_stdio(false); cout << fixed << setprecision(15); } templateinline istream& operator>>(istream& is, vector& v) { for (auto& a : v)is >> a; return is; } templateinline istream& operator>>(istream& is, pair& p) { is >> p.first >> p.second; return is; } templateinline vector vec(size_t a) { return vector(a); } templateinline vector defvec(T def, size_t a) { return vector(a, def); } templateinline auto vec(size_t a, Ts... ts) { return vector(ts...))>(a, vec(ts...)); } templateinline auto defvec(T def, size_t a, Ts... ts) { return vector(def, ts...))>(a, defvec(def, ts...)); } templateinline void print(const T& a) { cout << a << "\n"; } templateinline void print(const T& a, const Ts&... ts) { cout << a << " "; print(ts...); } templateinline void print(const vector& v) { for (int i = 0; i < v.size(); ++i)cout << v[i] << (i == v.size() - 1 ? "\n" : " "); } templateinline void print(const vector>& v) { for (auto& a : v)print(a); } inline string reversed(const string& s) { string t = s; reverse(all(t)); return t; } templateinline T sum(const vector& a, int l, int r) { return a[r] - (l == 0 ? 0 : a[l - 1]); } templateinline void END(T s) { print(s); exit(0); } void END() { exit(0); } class unionfind { VI par, rank; int forest_num; public: unionfind(const int& n) : par(n), rank(n, 1), forest_num(n) { FOR(i, 0, n)par[i] = i; } int root(int x) { if (par[x] == x)return x; return par[x] = root(par[x]); } int size(int x) { if (par[x] == x)return rank[x]; return size(par[x]); } void unite(int x, int y) { int rx = root(x), ry = root(y); if (rx == ry)return; if (rank[rx] < rank[ry]) { par[rx] = ry; rank[ry] += rank[rx]; } else { par[ry] = rx; rank[rx] += rank[ry]; } --forest_num; } bool same(int x, int y) { return root(x) == root(y); } int fnum() { return forest_num; } }; int main() { init(); int n, d, w; cin >> n >> d >> w; unionfind uf(n * 2); FOR(i, 0, d) { int a, b; cin >> a >> b; --a, --b; uf.unite(a, b); } FOR(i, 0, w) { int a, b; cin >> a >> b; --a, --b; uf.unite(a + n, b + n); } ll ans = 0; set> s, t; FOR(i, 0, n)t.emplace(uf.root(i), uf.root(i + n)); FOR(i, 0, n) { int x = uf.root(i), y = uf.root(i + n); if (s.find({ x,y }) == s.end()) { s.emplace(x, y); ans += ll(uf.size(x)) * ll(uf.size(y)); } if (t.find({ x,y }) != t.end())--ans; } print(ans); return 0; }