#include #define FOR(i,a,b) for (int i=(a);i<(b);i++) #define FORR(i,a,b) for (int i=(a);i>=(b);i--) #define pb push_back #define pcnt __builtin_popcount #define show(x) cout<<#x<<" = "< pii; typedef vector vi; typedef vector vvi; typedef vector vpii; typedef set si; typedef pair pll; typedef vector vl; typedef vector vvl; typedef vector vpll; typedef set sl; templatestring join(vector&v) {stringstream s;FOR(i,0,sz(v))s<<' '<b)swap(a,b);for(;a>0;b%=a,swap(a,b));return b;} int modpow(ll a,ll n,int m){if(a==0)return a;ll p=1;for(;n>0;n/=2,a=a*a%m)if(n&1)p=p*a%m;return(int)p;} void dout(double d){printf("%.12f\n",d);} const int iinf = 1e9; const ll linf = 1e18; const int mod = 1e9+7; const double pi = acos(-1); const double eps = 1e-10; int n, k, d; ll dp[45000], dpn[45000]; main(){ cin.tie(0); ios::sync_with_stdio(false); cin >> n >> k; FOR(i, 0, n) cin >> d; dp[0] = 1; FOR(i, 1, n+1){ ll s = 0; FOR(j, 0, i * (i-1)/2 + 1){ s += dp[j]; if(j >= i) s -= dp[j-i]; s %= mod; dpn[j] = s; } swap(dp, dpn); } ll ans = 0; FOR(i, 0, k+1) ans += dp[i]; cout << ans%mod << endl; return 0; }