#include <bits/stdc++.h>
using namespace std;
using LL = long long;
using PII = pair<int, int>;
int F[2][2005];
const int Mod = 1e9 + 7;
int main() {
  int n, h;
  scanf("%d%d", &n, &h);
  vector<int> A(n + 1);
  for (int i = (1); i <= (n); ++i) scanf("%d", &A[i]);
  auto addMod = [](int& x, int y) { x = (x + y) % int(1e9 + 7); };
  F[0][0] = 1;
  for (int i = 1; i <= n; i++) {
    memset(F[i & 1], 0, sizeof F[i & 1]);
    int j = h - A[i];
    if (j < 0) return !printf("0\n");
    addMod(F[i & 1][j], F[~i & 1][j]);
    if (j) addMod(F[i & 1][j], F[~i & 1][j - 1]);
    j--;
    if (j < 0) continue;
    if (j < n) addMod(F[i & 1][j], 1LL * F[~i & 1][j + 1] * (j + 1) % Mod);
    addMod(F[i & 1][j], 1LL * F[~i & 1][j] * (j + 1) % Mod);
  }
  printf("%d\n", F[n & 1][0]);
}
