#include<bits/stdc++.h>

using ll=long long;

ll n,m;
ll a[15];
ll f[8192][15][501];
// ll tmpv[40005];
// ll* tmp=tmpv+20000;
// ll g[13][500][500];
// std::pair<ll,ll>p[13];

int main(){
    std::ios::sync_with_stdio(false);
    std::cin.tie(0),std::cout.tie(0);
    
    std::cin>>n>>m;
    for(ll i=0;i<n;i++) std::cin>>a[i];
    // std::sort(a,a+n);
    for(ll i=0;i<n;i++){
        ll cnt=0;
        for(ll j=0;j<i;j++) cnt=std::max(cnt,a[j]-a[i]+1);
        for(ll j=i+1;j<n;j++) cnt=std::max(cnt,a[j]-a[i]); 
        cnt*=n;
        if(cnt<=m) f[(1<<i)][i][cnt]=1;
    }
    for(ll s=1;s<(1<<n);s++){
        ll l=n-__builtin_popcountll(s);
        for(ll i=0;i<n;i++){
            if((s>>i)&1) for(ll j=0;j<n;j++){
                if(1^((s>>j)&1)){
                    ll t=s|(1<<j);
                    if(a[i]<a[j]+(j<i)){
                        for(ll k=0;k<=m;k++){
                            f[t][j][k]+=f[s][i][k];
                        }
                    }else if(j<i){
                        ll x=(a[i]-a[j])*l;
                        for(ll k=0;x<=m;k++,x++){
                            f[t][j][x]+=f[s][i][k];
                        }                        
                    }else{
                        ll x=(a[i]-a[j]+1)*l;
                        for(ll k=0;x<=m;k++,x++){
                            f[t][j][x]+=f[s][i][k];
                            // std::cerr<<"TRANS"<<' '<<t<<' '<<j<<' '<<x<<' '<<"<-"<<' '<<s<<' '<<i<<' '<<k<<'\n';
                        }
                    }
                }
            }
        }
    }
    ll ans=0;
    for(ll i=0;i<n;i++){
        for(ll j=0;j<=m;j++){
            ans+=f[(1<<n)-1][i][j];
        }
    }
    std::cout<<ans<<'\n';
    
    return 0;
}