Problem: There are n students in a class working on group projects. The students will divide into groups (some students may be in groups alone), work on their independent pieces, and then discuss the results together. It takes the i-th student ai minutes to finish his/her independent piece.

If students work at different paces, it can be frustrating for the faster students and stressful for the slower ones. In particular, the imbalance of a group is defined as the maximum ai in the group minus the minimum ai in the group. Note that a group containing a single student has an imbalance of 0. How many ways are there for the students to divide into groups so that the total imbalance of all groups is at most k?

Two divisions are considered distinct if there exists a pair of students who work in the same group in one division but different groups in the other.

Input

The first line contains two space-separated integers n and k (1 ≤ n ≤ 200, 0 ≤ k ≤ 1000) — the number of students and the maximum total imbalance allowed, respectively.

The second line contains n space-separated integers ai (1 ≤ ai ≤ 500) — the time it takes the i-th student to complete his/her independent piece of work.

Output

Print a single integer, the number of ways the students can form groups. As the answer may be large, print its value modulo 109 + 7.

Examples

Input

3 2
2 4 5


Output

3


Input

4 3
7 8 9 10


Output

13


Input

4 0
5 10 20 21


Output

1

Note

In the first sample, we have three options: 

  * The first and second students form a group, and the third student forms a group. Total imbalance is 2 + 0 = 2. 
  * The first student forms a group, and the second and third students form a group. Total imbalance is 0 + 1 = 1. 
  * All three students form their own groups. Total imbalance is 0. 



In the third sample, the total imbalance must be 0, so each student must work individually.

Solution (in CPP):

Solution:
#include <bits/stdc++.h>
using namespace std;
int dp[201][201][1001], a[201];
int main() {
  int n, k, kk, i, j, l, newk, s;
  scanf("%d %d", &n, &kk);
  for (i = 1; i <= n; i++) {
    scanf("%d", &a[i]);
  }
  sort(a + 1, a + n + 1);
  dp[1][0][0] = 1;
  dp[1][1][0] = 1;
  for (i = 2; i <= n; i++) {
    s = 0;
    if (i > 1) {
      s = a[i] - a[i - 1];
    }
    for (j = 0; j < i; j++) {
      for (l = 0; l <= kk; l++) {
        newk = l + j * s;
        if (newk <= kk) {
          dp[i][j][newk] += ((long long)dp[i - 1][j][l] * (j + 1)) % 1000000007;
          if (dp[i][j][newk] >= 1000000007) {
            dp[i][j][newk] %= 1000000007;
          }
          dp[i][j - 1][newk] += ((long long)dp[i - 1][j][l] * j) % 1000000007;
          if (dp[i][j - 1][newk] >= 1000000007) {
            dp[i][j - 1][newk] %= 1000000007;
          }
          dp[i][j + 1][newk] += dp[i - 1][j][l];
          if (dp[i][j + 1][newk] >= 1000000007) {
            dp[i][j + 1][newk] %= 1000000007;
          }
        } else {
          break;
        }
      }
    }
  }
  long long ans = 0;
  for (i = 0; i <= kk; i++) {
    ans += dp[n][0][i];
    if (ans >= 1000000007) {
      ans %= 1000000007;
    }
  }
  printf("%lld\n", ans);
  return 0;
}