#include <bits/stdc++.h>
using namespace std;
//#define int long long
int MAX=1000000007;

    int dp[201][100002];
signed main() {
    int n,x;
    cin>>n>>x;
    int s[n];
    for(int i=0;i<n;i++)cin >>s[i];
    fill(dp[0],dp[n+1],int(0));
 
   // cerr<<dp[0][0];
    sort(s,s+n);
  
   long long a;
    dp[n][x]=1;
    for(int i=n-1;i>=0;i--){
        for(int j=0;j<=x;j++){

            a=dp[i][j%s[i]]+dp[i+1][j];a=a%MAX;
            
            dp[i][j%s[i]]=a;
            a=dp[i][j]+long(i)*dp[i+1][j];a=a%MAX;
            
            
             dp[i][j]=a;
        }
    }
    long long ans=0,p;

    for(long long j=0;j<=x;j++){
        p= dp[0][j];
       
        ans=(ans+j*p)%MAX;
   
    }

    cout<<ans;

    return 0;


}
