package main import ( "bufio" "fmt" "os" "strconv" ) func configure(scanner *bufio.Scanner) { scanner.Split(bufio.ScanWords) scanner.Buffer(make([]byte, 1000005), 1000005) } func getNextString(scanner *bufio.Scanner) string { scanned := scanner.Scan() if !scanned { panic("scan failed") } return scanner.Text() } func getNextInt(scanner *bufio.Scanner) int { i, _ := strconv.Atoi(getNextString(scanner)) return i } func getNextInt64(scanner *bufio.Scanner) int64 { i, _ := strconv.ParseInt(getNextString(scanner), 10, 64) return i } func getNextFloat64(scanner *bufio.Scanner) float64 { i, _ := strconv.ParseFloat(getNextString(scanner), 64) return i } func main() { fp := os.Stdin wfp := os.Stdout extra := 0 if os.Getenv("I") == "IronMan" { fp, _ = os.Open(os.Getenv("END_GAME")) extra = 100 } scanner := bufio.NewScanner(fp) configure(scanner) writer := bufio.NewWriter(wfp) defer func() { r := recover() if r != nil { fmt.Fprintln(writer, r) } writer.Flush() }() solve(scanner, writer) for i := 0; i < extra; i++ { fmt.Fprintln(writer, "-----------------------------------") solve(scanner, writer) } } func solve(scanner *bufio.Scanner, writer *bufio.Writer) { n := getNextInt(scanner) k := getNextInt(scanner) aa := make([]int, n) for i := 0; i < n; i++ { aa[i] = getNextInt(scanner) } var ans mint size := k*n + 1 dp := makeGrid(n+1, size) dp[0][0] = 1 for j := 0; j < n; j++ { for jj := n; jj > 0; jj-- { for jjj := size - 1; jjj >= 0; jjj-- { dp[jj][min(jjj+aa[j], size-1)].AddAs(dp[jj-1][jjj]) } } } for i := 1; i < n+1; i++ { for j := k * i; j < size; j++ { ans.AddAs(dp[i][j]) } } fmt.Fprintln(writer, ans) } func min(a, b int) int { if a < b { return a } return b } func makeGrid(h, w int) [][]mint { index := make([][]mint, h, h) data := make([]mint, h*w, h*w) for i := 0; i < h; i++ { index[i] = data[i*w : (i+1)*w] } return index } type mint int64 func (mt mint) Mod() mint { m := mint(1e9 + 7) mt %= m if mt < 0 { return mt + m } return mt } func (mt mint) Inv() mint { return mt.Pow(mint(0).Sub(2)) } func (mt mint) Pow(n mint) mint { p := mint(1) for n > 0 { if n&1 == 1 { p.MulAs(mt) } mt.MulAs(mt) n >>= 1 } return p } func (mt mint) Add(x mint) mint { return (mt + x).Mod() } func (mt mint) Sub(x mint) mint { return (mt - x).Mod() } func (mt mint) Mul(x mint) mint { return (mt * x).Mod() } func (mt mint) Div(x mint) mint { return mt.Mul(x.Inv()) } func (mt *mint) AddAs(x mint) *mint { *mt = mt.Add(x) return mt } func (mt *mint) SubAs(x mint) *mint { *mt = mt.Sub(x) return mt } func (mt *mint) MulAs(x mint) *mint { *mt = mt.Mul(x) return mt } func (mt *mint) DivAs(x mint) *mint { *mt = mt.Div(x) return mt }