import std.stdio, std.conv, std.string;
import std.array, std.range, std.algorithm, std.container;
import std.math, std.random, std.bigint, std.datetime, std.format;
string read(){ static string[] ss; while(!ss.length) ss = readln.chomp.split; string res = ss[0]; ss.popFront; return res; }

int DEBUG_LEVEL = 0;
void print()(){ writeln(""); }
void print(T, A ...)(T t, lazy A a){ write(t), print(a); }
void print(int level, T, A ...)(T t, lazy A a){ if(level <= DEBUG_LEVEL) print(t, a); }

const long mod = 1_000_000_007;

void main(string[] args){
	if(args.length > 1 && args[1] == "-debug"){
		if(args.length > 2 && args[2].isNumeric) DEBUG_LEVEL = args[2].to!int;
		else DEBUG_LEVEL = 1;
	}
	
	long n = read.to!long;
	long x = read.to!long;
	
	long[] ss;
	foreach(i; 0 .. n) ss ~= read.to!long;
	
	ss.sort();
	
	print!1("ss:", ss);
	
	long[][] ans = new long[][](x + 1, n + 1);
	foreach(i; 0 .. n){
		foreach(k; 0 .. x + 1){
			long a;
			if(i == 0) a = k % ss[i], a %= mod;
			else a = ans[k][i - 1] * i + ans[k % ss[i]][i - 1], a %= mod;
			ans[k][i] = a % mod;
			print!1("k:", k, " i:", i, " ans:", ans);
		}
	}
	
	ans[x][n - 1].writeln;
	
}


/*

S[i] を小さい順に使うようにする。

順列に新しいsを追加するとき…、
先に、sよりも小さい数があれば、その追加は答えに影響しない。

S[i]を小さい順に使うので、考えるのは列の最初に追加することだけ考えればよい


i個目までを使ったとき、kを割った答えをans[k][i]とする

ans[k][i] = ans[k][i - 1] * i + ans[k % s[i]][i - 1]










*/
