#include "bits/stdc++.h" using namespace std; #define FOR(i,j,k) for(int (i)=(j);(i)<(int)(k);++(i)) #define rep(i,j) FOR(i,0,j) #define each(x,y) for(auto &(x):(y)) #define mp make_pair #define all(x) (x).begin(),(x).end() #define debug(x) cout<<#x<<": "<<(x)< pii; typedef vector vi; typedef vector vll; template class ModInt{ public: ModInt():value(0){} ModInt(int val):value(val<0?MOD+val%MOD:val%MOD){ } ModInt& operator+=(ModInt that){ value = value+that.value; if(value>=MOD)value-=MOD; return *this; } ModInt& operator-=(ModInt that){ value -= that.value; if(value<0)value+=MOD; return *this; } ModInt& operator*=(ModInt that){ value = (int)((long long)value * that.value % MOD); return *this; } ModInt &operator/=(ModInt that){ return *this *= that.inverse(); } ModInt operator+(ModInt that) const{ return ModInt(*this)+=that; } ModInt operator-(ModInt that) const{ return ModInt(*this)-=that; } ModInt operator*(ModInt that) const{ return ModInt(*this)*=that; } ModInt operator/(ModInt that) const { return ModInt(*this) /= that; } ModInt operator^(long long k) const{ ModInt n = *this, res = 1; while(k){ if(k & 1)res *= n; n *= n; k >>= 1; } return res; } ModInt inverse() const { long long a = value, b = MOD, u = 1, v = 0; while(b) { long long t = a / b; a -= t * b; swap(a, b); u -= t * v; swap(u, v); } return ModInt((int)u); } int toi() const{ return value; } private: int value; }; typedef ModInt<1000000007> mint; ostream& operator<<(ostream& os, const mint& x){ os << x.toi(); return os; } template vector factorials(int n){ vector res(n + 1); res[0] = res[1] = 1; for(int i = 2; i <= n; ++i) res[i] = res[i - 1] * i; return res; } mint nCr(int n, int r, const vector &fact){ return fact[n] / (fact[r] * fact[n - r]); } mint countSurjectiveFunctions(int n, int k, const vector &fact){ mint res = 0; for(int i = 1; i <= k; ++i){ mint d = nCr(k, i, fact); d *= (mint(i)^n); if((k - i) % 2)d *= -1; res += d; } return res; } vector> connectivity(vector> G, vi &num){ int V = (int)G.size(); vector> res; for(int u = 0; u < V; ++u){ vector temp(V); vi minmin(V); temp[u] = true; queue que; que.push(mp(u,num[u])); while(que.size()){ int v, mini; tie(v, mini) = que.front(); que.pop(); if(minmin[v]>=mini)continue; minmin[v] = mini; for(int w : G[v])if(minmin[w]= num[w]) temp[w] = true; que.push(mp(w, min(mini, num[w]))); } } res.push_back(temp); } return res; } int main(){ ios::sync_with_stdio(0); cin.tie(0); int N, M; auto fact = factorials(1000); cin >> N >> M; vi w(N); rep(i, N)cin >> w[i]; vector G(N); rep(i, M){ int u, v; cin >> u >> v; --u; --v; G[u].push_back(v); } auto con = connectivity(G, w); mint ans = 0; rep(i, N)rep(j, N)if(con[i][j]){ ans += countSurjectiveFunctions(w[i], w[j], fact); } cout << ans << endl; }