void main(){ import std.stdio, std.string, std.conv, std.algorithm; int n, k; rd(n, k); auto a=readln.split.to!(int[]); const int mod=1_000_000_000+7; auto rec=new int[][](n+1, k+1); for(int i=1; i<=n; i++) rec[i][0]=1; for(int i=2; i<=n; i++)for(int j=1; j<=k; j++){ for(int l=j; l>=max(0, j-i+1); l--){ (rec[i][j]+=rec[i-1][l])%=mod; } } writeln(reduce!((r, e)=>(r+e)%mod)(rec[n])); } void rd(T...)(ref T x){ import std.stdio, std.string, std.conv; auto l=readln.split; assert(l.length==x.length); foreach(i, ref e; x){ e=l[i].to!(typeof(e)); } } void wr(T...)(T x){ import std.stdio; foreach(e; x) stderr.write(e, " "); stderr.writeln(); }