/* made by amunduzbaev */
//~ #include <ext/pb_ds/assoc_container.hpp>
//~ #include <ext/pb_ds/tree_policy.hpp>
#include "bits/stdc++.h"
using namespace std;
//~ using namespace __gnu_pbds;
#define ff first
#define ss second
#define pb push_back
#define mp make_pair
#define ub upper_bound
#define lb lower_bound
#define sz(x) (int)x.size()
#define all(x) x.begin(), x.end()
#define rall(x) x.rbegin(),x.rend()
#define NeedForSpeed ios::sync_with_stdio(0);cin.tie(0);cout.tie(0);
#define vv vector
#define mem(arr, v) memset(arr, v, sizeof arr)
#define int long long
typedef long long ll;
typedef long double ld;
typedef pair<int, int> pii;
typedef vector<int> vii;
typedef vector<pii> vpii;
template<class T> bool umin(T& a, const T& b) { return a > b ? a = b, true : false; }
template<class T> bool umax(T& a, const T& b) { return a < b ? a = b, true : false; }
template<int sz> using tut = array<int, sz>;
void usaco(string s) { freopen((s+".in").c_str(),"r",stdin);
freopen((s+".out").c_str(),"w",stdout); NeedForSpeed }
//~ template<class T> using oset = tree<T,
//~ null_type, less_equal<T>, rb_tree_tag,
//~ tree_order_statistics_node_update> ordered_set;
const int N = 3e5+5;
const int mod = 1e9+7;
const ll inf = 1e18;
const ld Pi = acos(-1);
#define MULTI 0
int n, m, k, s, t, q, ans, res, a[N];
vii edges[N], ttt[5];
int dp[32][N][5];
void solve(int t_case){
cin>>n>>m>>k;
for(int i=1;i<=n;i++) cin>>a[i], a[i]--, dp[(1<<a[i])][i][0] = 1, ttt[a[i]].pb(i);
for(int i=0;i<m;i++){
int a, b; cin>>a>>b;
edges[a].pb(b), edges[b].pb(a);
}
for(int l=1;l<k;l++){
for(int i=1;i<(1<<k);i++){
for(int j=0;j<k;j++){
if(i>>j&1){
int tt = i^(1<<j);
for(auto u : ttt[j]) for(auto x : edges[u]) dp[i][u][l] += dp[tt][x][l-1];
}
}
}
}
for(int i=1;i<(1<<k);i++){
for(int u=1;u<=n;u++){
for(int l=1;l<k;l++) res += dp[i][u][l];
}
} cout<<res<<"\n";
}
signed main(){
NeedForSpeed
if(MULTI){
int t; cin>>t;
for(int t_case = 1; t_case <= t; t_case++) solve(t_case);
} else solve(1);
return 0;
}
