#define _USE_MATH_DEFINES #include using namespace std; #define FOR(i,m,n) for(int i=(m);i<(n);++i) #define REP(i,n) FOR(i,0,n) #define ALL(v) (v).begin(),(v).end() using ll = long long; constexpr int INF = 0x3f3f3f3f; constexpr long long LINF = 0x3f3f3f3f3f3f3f3fLL; constexpr double EPS = 1e-8; constexpr int MOD = 1000000007; // constexpr int MOD = 998244353; constexpr int dy[] = {1, 0, -1, 0}, dx[] = {0, -1, 0, 1}; constexpr int dy8[] = {1, 1, 0, -1, -1, -1, 0, 1}, dx8[] = {0, -1, -1, -1, 0, 1, 1, 1}; template inline bool chmax(T &a, U b) { return a < b ? (a = b, true) : false; } template inline bool chmin(T &a, U b) { return a > b ? (a = b, true) : false; } struct IOSetup { IOSetup() { std::cin.tie(nullptr); std::ios_base::sync_with_stdio(false); std::cout << fixed << setprecision(20); } } iosetup; struct UnionFind { UnionFind(int n) : data(n, -1) {} int root(int ver) { return data[ver] < 0 ? ver : data[ver] = root(data[ver]); } bool unite(int u, int v) { u = root(u); v = root(v); if (u == v) return false; if (data[u] > data[v]) std::swap(u, v); data[u] += data[v]; data[v] = u; return true; } bool same(int u, int v) { return root(u) == root(v); } int size(int ver) { return -data[root(ver)]; } private: std::vector data; }; int main() { int n, d, w; cin >> n >> d >> w; UnionFind drive(n), walk(n); while (d--) { int a, b; cin >> a >> b; --a; --b; drive.unite(a, b); } while (w--) { int c, d; cin >> c >> d; --c; --d; walk.unite(c, d); } vector> drive_comp(n); REP(i, n) drive_comp[drive.root(i)].emplace_back(i); ll ans = 0; for (const vector &comp : drive_comp) { if (comp.empty()) continue; vector roots; for (int e : comp) roots.emplace_back(walk.root(e)); sort(ALL(roots)); roots.erase(unique(ALL(roots)), roots.end()); int sum = 0, size = comp.size(); for (int e : roots) sum += walk.size(e); sum -= size; ans += 1LL * size * (size - 1) + 1LL * size * sum; } cout << ans << '\n'; return 0; }