#include<stdio.h>
#include<stdlib.h>

typedef long long int int64;

const int mod=1000000007;

int cmp(const void *a,const void *b){
  return *(int *)a-*(int *)b;
}

void run(void){
  int n,k;
  scanf("%d%d",&n,&k);
  int *a=(int *)calloc(n,sizeof(int));
  int i;
  for(i=0;i<n;i++) scanf("%d",a+i);
  qsort(a,n,sizeof(int),cmp);
  for(i=0;i<n-1-i && a[i]+a[n-1-i]<=k;i++);
  if(i<n-1-i){
    puts("0");
    return;
  }
  int ans=1;
  int j=0;
  for(i=n-1;2*a[i]>k;i--){
    while(j<i && a[i]+a[j]<=k) j++;
    ans=(int64)ans*(j-(n-1-i))%mod;
  }
  int m=n-(n-1-i)*2;
  while(m>0){
    ans=(int64)ans*(m-1)%mod;
    m-=2;
  }
  printf("%d\n",ans);
}

int main(void){
  run();
  return 0;
}