#include <bits/stdc++.h>

#define fi first
#define se second
#define db double
#define U unsigned
#define P std::pair<int,int>
#define LL long long
#define pb push_back
#define MP std::make_pair
#define all(x) x.begin(),x.end()
#define CLR(i,a) memset(i,a,sizeof(i))
#define FOR(i,a,b) for(int i = a;i <= b;++i)
#define ROF(i,a,b) for(int i = a;i >= b;--i)
#define DEBUG(x) std::cerr << #x << '=' << x << std::endl

const int MAXN = 1000+5;
const int ha = 1e9 + 7;

inline void add(int &x,int y){
    x += y-ha;x += x>>31&ha;
}

int f[2][MAXN][MAXN][3],n,L,a[MAXN];
// 和为 j 有 k 个连续段  边界用了 l 个
// 因为从 a[i]->a[i+1] 和的变化是端点的个数(2k-l)

int main(){
    scanf("%d%d",&n,&L);FOR(i,1,n) scanf("%d",a+i);std::sort(a+1,a+n+1);
    if(n == 1){
        puts("1");
        exit(0);
    }
    int now = 0;f[now][0][0][0] = 1;
    FOR(i,1,n){
        CLR(f[now^1],0);
        FOR(j,0,L){
            FOR(k,0,n){
                FOR(l,0,std::min(2,k)){
                    if(!f[now][j][k][l]) continue;
                    int w = (a[i]-a[i-1])*(2*k-l);
                    if(j+w > L) continue;
                    // 合并两个段
                    if(k) add(f[now^1][j+w][k-1][l],1ll*f[now][j][k][l]*(k-1)%ha);
                    // 贴在某个段后面 不使用边界
                    add(f[now^1][j+w][k][l],1ll*f[now][j][k][l]*(2*k-l)%ha);
                    // 新建一个段 不使用边界
                    add(f[now^1][j+w][k+1][l],1ll*f[now][j][k][l]*(k-l+1)%ha);
                    // 新建一个在边界上的段
                    if(l+1 <= 2) add(f[now^1][j+w][k+1][l+1],1ll*f[now][j][k][l]*(2-l)%ha);
                    // 使用边界 贴在之前段上
                    if(l+1 <= 2) add(f[now^1][j+w][k][l+1],1ll*f[now][j][k][l]*(2-l)%ha);
                }
            }
        }
        now ^= 1;
    }
    int ans = 0;
    FOR(i,1,L) add(ans,f[now][i][1][2]);
    printf("%d\n",ans);
    return 0;
}