mod = 1000000007
eps = 10**-9


def main():
    import sys
    from collections import deque
    input = sys.stdin.buffer.readline

    class UnionFind():
        def __init__(self, n):
            self.n = n
            self.root = [-1] * (n + 1)
            self.rnk = [0] * (n + 1)

        def find_root(self, x):
            while self.root[x] >= 0:
                x = self.root[x]
            return x

        def unite(self, x, y):
            x = self.find_root(x)
            y = self.find_root(y)
            if x == y:
                return
            elif self.rnk[x] > self.rnk[y]:
                self.root[x] += self.root[y]
                self.root[y] = x
            else:
                self.root[y] += self.root[x]
                self.root[x] = y
                if self.rnk[x] == self.rnk[y]:
                    self.rnk[y] += 1

        def isSameGroup(self, x, y):
            return self.find_root(x) == self.find_root(y)

        def size(self, x):
            return -self.root[self.find_root(x)]

    N, D, W = map(int, input().split())
    adj = [[] for _ in range(N+1)]
    for _ in range(D):
        a, b = map(int, input().split())
        adj[a].append(b)
        adj[b].append(a)
    UF = UnionFind(N)
    for _ in range(W):
        a, b = map(int, input().split())
        UF.unite(a, b)

    seen = [0] * (N+1)
    ans = -N
    for v0 in range(1, N+1):
        if seen[v0]:
            continue
        seen[v0] = 1
        seen_w = set()
        que = deque()
        que.append(v0)
        cnt_d = 0
        cnt_w = 0
        while que:
            v = que.popleft()
            cnt_d += 1
            r = UF.find_root(v)
            if r not in seen_w:
                seen_w.add(r)
                cnt_w += -UF.root[r]
            for u in adj[v]:
                if not seen[u]:
                    seen[u] = 1
                    que.append(u)
        ans += cnt_w * cnt_d
    print(ans)


if __name__ == '__main__':
    main()