#include <bits/stdc++.h>
using namespace std;

#define M 1000000007

typedef long long ll;

int n,k,m,i,j,l,r;

int b[60000*2];
int*v=b,*w=b+60000;

main(){
	scanf("%d%d",&n,&k);
	v[0]=1;
	m=0;
	for(i=n;--i;){
		m+=i;
		for(j=0;j<=m;++j){
			w[j]=v[j];
			for(l=1;l<=i&&l<=j;++l){
				w[j]=(w[j]+v[j-l])%M;
			}
		}
		swap(v,w);
	}
	int r=0;
	for(;k>=0;--k){
		r=(r+v[k])%M;
	}
	printf("%d",r);
}