/*
Saurabh Joshi
IIIT Jabalpur
*/
#include<bits/stdc++.h>
#define LL long long int
#define M 1000000007
#define reset(a) memset(a,0,sizeof(a))
#define rep(i,j,k) for(i=j;i<=k;++i)
#define per(i,j,k) for(i=j;i>=k;--i)
#define print(a,start,end) for(i=start;i<=end;++i) cout<<a[i];
#define endl "\n"
#define eps 0.00000001
#define check(a , b , c) assert(a >= b && a <= c)
LL pow(LL a,LL b,LL m){LL x=1,y=a;while(b > 0){if(b%2 == 1){x=(x*y);if(x>m) x%=m;}y = (y*y);if(y>m) y%=m;b /= 2;}return x%m;}
LL gcd(LL a,LL b){if(b==0) return a; else return gcd(b,a%b);}
LL gen(LL start,LL end){LL diff = end-start;LL temp = rand()%start;return temp+diff;}
using namespace std;
int u[200001];
int v[200001];
int w[200001];
vector<int> graph[200001];
bool visit[200001];
int sz = 0;
int eg = 0;
int deg[200001];
vector<pair<int,int> > watered;
vector<pair<int,int> > dry;
void dfs(int node)
{
sz++;
visit[node] = 1;
eg += deg[node];
for(int i: graph[node])
{
if(visit[i] == 0)
{
visit[i] = 1;
dfs(i);
}
}
}
int main()
{
ios_base::sync_with_stdio(0);
int n , m , k;
cin >> n >> m >> k;
for(int i = 0; i < m; i++)
{
cin >> u[i] >> v[i];
graph[u[i]].push_back(v[i]);
graph[v[i]].push_back(u[i]);
++deg[u[i]];
++deg[v[i]];
}
for(int i = 0; i < k; i++)
cin >> w[i];
LL ans1 = 0 , ans2 = 0;
LL maxsz = 0;
for(int i = 0; i < k; i++)
{
sz = 0;
eg = 0;
if(visit[w[i]] == 1)
continue;
dfs(w[i]);
maxsz = max(maxsz , (LL)sz);
eg /= 2;
watered.push_back(make_pair(sz , eg));
ans1 += (sz * (sz - 1)) / 2 - eg;
}
for(int i = 1; i <= n; i++)
{
if(visit[i] == 0)
{
sz = 0;
eg = 0;
dfs(i);
eg /= 2;
dry.push_back(make_pair(sz , eg));
ans1 += (sz * (sz - 1)) / 2 - eg;
}
}
sort(watered.begin() , watered.end());
LL pre = 0 , cur = 0;
for(int i = 0; i < dry.size(); i++)
{
ans2 = ans2 + pre * dry[i].first;
ans1 += pre * dry[i].first;
pre += dry[i].first;
}
ans2 += pre * maxsz;
ans1 += pre * maxsz;
cout << ans1 << " " << ans2;
}
LyoKU2F1cmFiaCBKb3NoaQpJSUlUIEphYmFscHVyCiovCiNpbmNsdWRlPGJpdHMvc3RkYysrLmg+CiNkZWZpbmUgTEwgbG9uZyBsb25nIGludAojZGVmaW5lIE0gMTAwMDAwMDAwNwojZGVmaW5lIHJlc2V0KGEpIG1lbXNldChhLDAsc2l6ZW9mKGEpKQojZGVmaW5lIHJlcChpLGosaykgZm9yKGk9ajtpPD1rOysraSkKI2RlZmluZSBwZXIoaSxqLGspIGZvcihpPWo7aT49azstLWkpCiNkZWZpbmUgcHJpbnQoYSxzdGFydCxlbmQpIGZvcihpPXN0YXJ0O2k8PWVuZDsrK2kpIGNvdXQ8PGFbaV07CiNkZWZpbmUgZW5kbCAiXG4iCiNkZWZpbmUgZXBzIDAuMDAwMDAwMDEKI2RlZmluZSBjaGVjayhhICwgYiAsIGMpIGFzc2VydChhID49IGIgJiYgYSA8PSBjKQpMTCBwb3coTEwgYSxMTCBiLExMIG0pe0xMIHg9MSx5PWE7d2hpbGUoYiA+IDApe2lmKGIlMiA9PSAxKXt4PSh4KnkpO2lmKHg+bSkgeCU9bTt9eSA9ICh5KnkpO2lmKHk+bSkgeSU9bTtiIC89IDI7fXJldHVybiB4JW07fQpMTCBnY2QoTEwgYSxMTCBiKXtpZihiPT0wKSByZXR1cm4gYTsgZWxzZSByZXR1cm4gZ2NkKGIsYSViKTt9CkxMIGdlbihMTCBzdGFydCxMTCBlbmQpe0xMIGRpZmYgPSBlbmQtc3RhcnQ7TEwgdGVtcCA9IHJhbmQoKSVzdGFydDtyZXR1cm4gdGVtcCtkaWZmO30KdXNpbmcgbmFtZXNwYWNlIHN0ZDsKaW50IHVbMjAwMDAxXTsKaW50IHZbMjAwMDAxXTsKaW50IHdbMjAwMDAxXTsKdmVjdG9yPGludD4gZ3JhcGhbMjAwMDAxXTsKYm9vbCB2aXNpdFsyMDAwMDFdOwppbnQgc3ogPSAwOwppbnQgZWcgPSAwOwppbnQgZGVnWzIwMDAwMV07CnZlY3RvcjxwYWlyPGludCxpbnQ+ID4gd2F0ZXJlZDsKdmVjdG9yPHBhaXI8aW50LGludD4gPiBkcnk7CnZvaWQgZGZzKGludCBub2RlKQoJewoJCXN6Kys7CgkJdmlzaXRbbm9kZV0gPSAxOwoJCWVnICs9IGRlZ1tub2RlXTsKCQlmb3IoaW50IGk6IGdyYXBoW25vZGVdKQoJCQl7CgkJCQlpZih2aXNpdFtpXSA9PSAwKQoJCQkJCXsKCQkJCQkJdmlzaXRbaV0gPSAxOwoJCQkJCQlkZnMoaSk7CgkJCQkJfQoJCQl9Cgl9CmludCBtYWluKCkKICAgIHsKICAgICAgICBpb3NfYmFzZTo6c3luY193aXRoX3N0ZGlvKDApOwoJCWludCBuICwgbSAsIGs7CgkJY2luID4+IG4gPj4gbSA+PiBrOwoJCWZvcihpbnQgaSA9IDA7IGkgPCBtOyBpKyspCgkJCXsKCQkJCWNpbiA+PiB1W2ldID4+IHZbaV07CgkJCQlncmFwaFt1W2ldXS5wdXNoX2JhY2sodltpXSk7CgkJCQlncmFwaFt2W2ldXS5wdXNoX2JhY2sodVtpXSk7CgkJCQkrK2RlZ1t1W2ldXTsKCQkJCSsrZGVnW3ZbaV1dOwoJCQl9CgkJZm9yKGludCBpID0gMDsgaSA8IGs7IGkrKykKCQkJY2luID4+IHdbaV07CgkJTEwgYW5zMSA9IDAgLCBhbnMyID0gMDsKCQlMTCBtYXhzeiA9IDA7CgkJZm9yKGludCBpID0gMDsgaSA8IGs7IGkrKykKCQkJewoJCQkJc3ogPSAwOwoJCQkJZWcgPSAwOwoJCQkJaWYodmlzaXRbd1tpXV0gPT0gMSkKCQkJCQljb250aW51ZTsKCQkJCWRmcyh3W2ldKTsKCQkJCW1heHN6ID0gbWF4KG1heHN6ICwgKExMKXN6KTsKCQkJCWVnIC89IDI7CgkJCQl3YXRlcmVkLnB1c2hfYmFjayhtYWtlX3BhaXIoc3ogLCBlZykpOwoJCQkJYW5zMSArPSAoc3ogKiAoc3ogLSAxKSkgLyAyIC0gZWc7CgkJCX0KCQlmb3IoaW50IGkgPSAxOyBpIDw9IG47IGkrKykKCQkJewoJCQkJaWYodmlzaXRbaV0gPT0gMCkKCQkJCQl7CgkJCQkJCXN6ID0gMDsKCQkJCQkJZWcgPSAwOwoJCQkJCQlkZnMoaSk7CgkJCQkJCWVnIC89IDI7CgkJCQkJCWRyeS5wdXNoX2JhY2sobWFrZV9wYWlyKHN6ICwgZWcpKTsKCQkJCQkJYW5zMSArPSAoc3ogKiAoc3ogLSAxKSkgLyAyIC0gZWc7CgkJCQkJfQoJCQl9CgkJc29ydCh3YXRlcmVkLmJlZ2luKCkgLCB3YXRlcmVkLmVuZCgpKTsKCQoJCUxMIHByZSA9IDAgLCBjdXIgPSAwOwoJCWZvcihpbnQgaSA9IDA7IGkgPCBkcnkuc2l6ZSgpOyBpKyspCgkJCXsKCQkJCWFuczIgPSBhbnMyICsgcHJlICogZHJ5W2ldLmZpcnN0OwoJCQkJYW5zMSArPSBwcmUgKiBkcnlbaV0uZmlyc3Q7CgkJCQlwcmUgKz0gZHJ5W2ldLmZpcnN0OwoJCQl9CgkJCgkJYW5zMiArPSBwcmUgKiBtYXhzejsKCQlhbnMxICs9IHByZSAqIG1heHN6OwoJCWNvdXQgPDwgYW5zMSA8PCAiICIgPDwgYW5zMjsKCQkJCQoJfQo=