#include <bits/stdc++.h>
#include <random>

using namespace std;

typedef unsigned long long ull;
typedef long long ll;
typedef long double ld;
//#define int ll
//#define int __int128
//#define ll __int128
//typedef __int128 long long;
typedef pair<int, int> pii;
typedef pair<ll, ll> pll;
typedef vector<int> vi;
typedef vector< vi > vvi;
typedef vector< vvi > vvvi;
typedef vector<short> vs;
typedef vector<vs> vvs;
typedef vector<vvs> vvvs;
typedef vector<ll> vl;
typedef vector<vl> vvl;
typedef vector<vvl> vvvl;
typedef vector<ld> vld;
typedef vector<vld> vvld;
typedef vector<vvld> vvvld;
typedef vector<string> vst;
typedef vector<vst> vvst;
typedef pair<ld, ld> pld;
typedef complex<double> base;

#define inmin(a, b) a = min(a, (b))
#define inmax(a, b) a = max(a, (b))
#define ALL(a) a.begin(),a.end()
#define RALL(a) a.rbegin(),a.rend()
#define sqr(x) ((x) * (x))
#define fori(i, n) for(int i = 0; i < int(n); ++i)
#define SZ(a) ((int)((a).size()))
#define triple(T) tuple<T, T, T>
#define quad(T) tuple<T, T, T, T>
#define watch(x) cerr << (#x) << " = " << (x) << endl;

#ifdef MAX_HOME
#define cerr cout
#else
#define cerr if (false) cerr
#endif

const double PI = 2 * acos(0.0);
mt19937 rng(chrono::steady_clock::now().time_since_epoch().count());
mt19937_64 rng_64(chrono::steady_clock::now().time_since_epoch().count());

const string DIGITS = "0123456789";
const string ALPH = "abcdefghijklmnopqrstuvwxyz";

template <class T0, class T1>
inline ostream & operator << (ostream &out, pair<T0, T1> &a) {
    return out << "{" << a.first << ", " << a.second << "}";
}

template <class T0, class T1, class T2>
inline ostream & operator << (ostream &out, tuple<T0, T1, T2> &a) {
    return out << "{" << get<0>(a) << ", " << get<1>(a) << ", " << get<2>(a) << "}";
}

template <class T0, class T1, class T2, class T3>
inline ostream & operator << (ostream &out, tuple<T0, T1, T2, T3> &a) {
    return out << "{" << get<0>(a) << ", " << get<1>(a) << ", " << get<2>(a) << ", " <<  get<3>(a) << "}";
}

template<class T>
inline ostream & operator << (ostream &out, vector<T> &a) {
    out << "[";
    fori (i, a.size())
        out << a[i] << vector<string>{", ", "]  "}[i + 1 == a.size()];
    return out;
}



void smain();

signed main() {
    ios::sync_with_stdio(0);
    cin.tie(0); cout.tie(0);

#ifdef MAX_HOME
    freopen("input.txt", "r", stdin);
    clock_t start = clock();
#endif
    cout << setprecision(12) << fixed;
    smain();
#ifdef MAX_HOME
    cout << "\n\n\n\nTOTAL EXECUTION TIME: " << float( clock () - start ) /  CLOCKS_PER_SEC << endl;
#endif
}

const int N = 4e5 + 100;
const ll M = 1e9 + 7;

ll pw(ll a, ll n = M - 2) {
    ll ret = 1;
    while (n) {
        if (n & 1) ret = ret * a % M;
        a = a * a  %M;
        n >>= 1;
    }
    return ret;
}


ll fact[N], inv[N];


ll dp[N];
int n;
ll s[N];
ll x;

ll cnt[N];

ll get(int l, int r) {
    if (l > r) return 0;
    if (!l--) return cnt[r];
    return cnt[r] - cnt[l];
}

ll nAr(ll n, ll k) {
    if (k > n || k < 0) return 0;
    return fact[n] * inv[n - k] % M;
}

void smain() {

    fact[0] = 1;
    for (int i = 1; i < N; ++i) {
        fact[i] = fact[i - 1] * i % M;
    }

    inv[N - 1] = pw(fact[N - 1]);
    for (int i = N - 2; i >= 0; --i) {
        inv[i] = inv[i + 1] * (i + 1) % M;
    }


    cin >> n >> x;
    ll kek = 0;
    fori (i, n) {
        cin >> s[i];
        if (s[i] > x) kek++;
        cnt[s[i]]++;
    }

    sort(s, s + n);

    for (int i = 1; i < N; ++i) {
        cnt[i] += cnt[i - 1];
    }


    dp[x] = nAr(n, kek);

    for (ll i = x; i > 0; --i) {
        for (ll j = n - 1; j >= 0; --j) {
            if (s[j] <= i) {
                ll nx = i % s[j];
                ll kek = get(nx + 1, i) - 1;

                dp[nx] = (dp[nx] + dp[i] * nAr(get(0, i) - 1, kek) % M) % M;
            }
        }
    }
    ll ans = 0;
    for (ll i = 0; i < s[0]; ++i) {
        ans =(ans + dp[i] * i) % M;
    }
    cout << ans;
}

Measured memory_bytes: 13824