#include <bits/stdc++.h>
using namespace std;

/*<DEBUG>*/
#define tem template <typename 
#define can_shift(_X_, ...) enable_if_t<sizeof test<_X_>(0) __VA_ARGS__ 8, debug&> operator<<(T i)
#define _op debug& operator<<
tem C > auto test(C *x) -> decltype(cerr << *x, 0LL);
tem C > char test(...);
tem C > struct itr{C begin, end; };
tem C > itr<C> get_range(C b, C e) { return itr<C>{b, e}; }
struct debug{
#ifdef _LOCAL
	~debug(){ cerr << endl; }
	tem T > can_shift(T, ==){ cerr << boolalpha << i; return *this; }
	tem T> can_shift(T, !=){ return *this << get_range(begin(i), end(i)); }
	tem T, typename U > _op (pair<T, U> i){ 
		return *this << "< " << i.first << " , " << i.second << " >"; }
	tem T> _op (itr<T> i){
		*this <<  "{ ";
		for(auto it = i.begin; it != i.end; it++){
			*this << " , " + (it==i.begin?2:0) << *it;
		}
		return *this << " }";
	}
#else
tem T> _op (const T&) { return *this; }
#endif 
};

tem T>
string _ARR_(T* arr, int sz){
	string ret = "{ " + to_string(arr[0]); 
	for(int i = 1; i < sz; i++) ret += " , " +  to_string(arr[i]);
	ret += " }"; return ret;
}

#define exp(...) " [ " << #__VA_ARGS__ << " : " << (__VA_ARGS__) << " ]"
/*</DEBUG>*/

typedef long long ll;
typedef unsigned long long ull;
typedef long double ld;
typedef unsigned int uint;
typedef pair<int, int> pii;
//mt19937_64 rng(chrono::steady_clock::now().time_since_epoch().count());

#define pb push_back
#define FAST ios_base::sync_with_stdio(0); cin.tie(0); cout.tie(0)
#define TC int __TC__; cin >> __TC__; while(__TC__--)
#define ar array

const int INF = 1e9 + 7, N = 200005;

int cur, n, m, k;
ar<int,2> c, vis[N];
vector<int> adj[N];

int main()
{
	FAST;
	cin >> n >> m >> k;
	vector<int> f(k);

	int cur = 1;
	for(int i = 0; i < k; ++i){
		cin >> f[i];
		vis[f[i]][cur%2] = 1;
		++c[cur%2];
	}

	for(int i = 0; i < m; ++i){
		int u, v; cin >> u >> v;
		adj[u].pb(v);
		adj[v].pb(u);
	}

	vector<int> ans;
	ans.reserve(2*N);

	while(f.size()){
		debug() << exp(f);
		ans.pb(c[cur%2]);
		vector<int> nf;
		++cur;
			
		for(int u : f){
			for(int v : adj[u]){
				debug() << exp(cur) exp(vis[cur%2][v]) exp(u) exp(v);
				if(!vis[v][cur%2]){
					nf.pb(v);
					vis[v][cur%2] = 1;
					++c[cur%2];
				}
			}
		}
		swap(f, nf);
	}

	while(ans.size() > 1 && ans.back() == ans[ans.size()-2]) ans.pop_back();
	cout << ans.back() << '\n' << ans.size() << '\n';
	for(int x : ans) cout << x << ' ';
	cout << '\n';

	return 0;
}