#include <bits/stdc++.h>
using namespace std;
vector<int> v[1001];
int color[1001];
int cnt = 0, maxx = 0, tot = 0, ans = 0;
using namespace std;
void dfs(int u) {
  cnt++;
  color[u] = 1;
  for (int i = 0; i < v[u].size(); i++) {
    if (!color[v[u][i]]) dfs(v[u][i]);
  }
}
int main() {
  ios::sync_with_stdio(0);
  int m, n, k;
  cin >> n >> m >> k;
  int x, y, i;
  int gov[k];
  for (i = 0; i < k; i++) cin >> gov[i];
  for (i = 0; i < m; i++) {
    cin >> x >> y;
    v[x].push_back(y);
    v[y].push_back(x);
  }
  for (i = 0; i < k; i++) {
    dfs(gov[i]);
    tot += cnt;
    maxx = max(maxx, cnt);
    ans += cnt * (cnt - 1) / 2;
    cnt = 0;
  }
  tot = n - tot + maxx;
  ans += tot * (tot - 1) / 2 - maxx * (maxx - 1) / 2;
  cout << ans - m << endl;
  return 0;
}
