using System; using System.Collections.Generic; using System.Diagnostics.CodeAnalysis; using System.IO; using System.Linq; using System.Runtime.InteropServices; public static class Ex { public static bool IsNullOrEmpty(this string s) { return string.IsNullOrEmpty(s); } public static List FastSort(this List s) { s.Sort(StringComparer.OrdinalIgnoreCase); return s.ToList(); } public static void yesno(this bool b) { Console.WriteLine(b ? "yes" : "no"); } public static void YesNo(this bool b) { Console.WriteLine(b ? "Yes" : "No"); } public static void YESNO(this bool b) { Console.WriteLine(b ? "YES" : "NO"); } public static int PopCount(this uint bits) { bits = (bits & 0x55555555) + (bits >> 1 & 0x55555555); bits = (bits & 0x33333333) + (bits >> 2 & 0x33333333); bits = (bits & 0x0f0f0f0f) + (bits >> 4 & 0x0f0f0f0f); bits = (bits & 0x00ff00ff) + (bits >> 8 & 0x00ff00ff); return (int)((bits & 0x0000ffff) + (bits >> 16 & 0x0000ffff)); } } partial class Program { string GetStr() { return Console.ReadLine().Trim(); } char GetChar() { return Console.ReadLine().Trim()[0]; } int GetInt() { return int.Parse(Console.ReadLine().Trim()); } long GetLong() { return long.Parse(Console.ReadLine().Trim()); } double GetDouble() { return double.Parse(Console.ReadLine().Trim()); } string[] GetStrArray() { return Console.ReadLine().Trim().Split(' '); } string[][] GetStrArray(int N) { var res = new string[N][]; for (int i = 0; i < N; i++) res[i] = Console.ReadLine().Trim().Split(' '); return res; } int[] GetIntArray() { return Console.ReadLine().Trim().Split(' ').Select(int.Parse).ToArray(); } int[][] GetIntArray(int N) { var res = new int[N][]; for (int i = 0; i < N; i++) res[i] = Console.ReadLine().Trim().Split(' ').Select(int.Parse).ToArray(); return res; } public long[] GetLongArray() { return Console.ReadLine().Trim().Split(' ').Select(long.Parse).ToArray(); } long[][] GetLongArray(int N) { var res = new long[N][]; for (int i = 0; i < N; i++) res[i] = Console.ReadLine().Trim().Split(' ').Select(long.Parse).ToArray(); return res; } char[] GetCharArray() { return Console.ReadLine().Trim().Split(' ').Select(char.Parse).ToArray(); } double[] GetDoubleArray() { return Console.ReadLine().Trim().Split(' ').Select(double.Parse).ToArray(); } double[][] GetDoubleArray(int N) { var res = new double[N][]; for (int i = 0; i < N; i++) res[i] = Console.ReadLine().Trim().Split(' ').Select(double.Parse).ToArray(); return res; } char[][] GetGrid(int H) { var res = new char[H][]; for (int i = 0; i < H; i++) res[i] = Console.ReadLine().Trim().ToCharArray(); return res; } T[] CreateArray(int N, T value) { var res = new T[N]; for (int i = 0; i < N; i++) res[i] = value; return res; } T[][] CreateArray(int H, int W, T value) { var res = new T[H][]; for (int i = 0; i < H; i++) { res[i] = new T[W]; for (int j = 0; j < W; j++) res[i][j] = value; } return res; } T[][][] CreateArray(int H, int W, int R, T value) { var res = new T[H][][]; for (int i = 0; i < H; i++) { res[i] = new T[W][]; for (int j = 0; j < W; j++) { res[i][j] = new T[R]; for (int k = 0; k < R; k++) res[i][j][k] = value; } } return res; } Dictionary> GetUnweightedAdjacencyList(int N, int M, bool isDirected, bool isNode_0indexed) { var dic = new Dictionary>(); foreach (var e in Enumerable.Range(0, N)) { dic.Add(e, new List()); } for (int i = 0; i < M; i++) { var input = GetIntArray(); var a = isNode_0indexed ? input[0] : input[0] - 1; var b = isNode_0indexed ? input[1] : input[1] - 1; dic[a].Add(b); if (isDirected == false) dic[b].Add(a); } return dic; } //Dictionary> GetWeightedAdjacencyList(int N, int M, bool isDirected, bool isNode_0indexed) //{ // var dic = new Dictionary>(); // foreach (var e in Enumerable.Range(0, N)) { dic.Add(e, new List<(int, long)>()); } // for (int i = 0; i < M; i++) // { // var input = GetIntArray(); // var a = isNode_0indexed ? input[0] : input[0] - 1; // var b = isNode_0indexed ? input[1] : input[1] - 1; // var c = input[2]; // dic[a].Add((b, c)); // if (isDirected == false) dic[b].Add((a, c)); // } // return dic; //} bool eq() => typeof(T).Equals(typeof(U)); T ct(U a) => (T)Convert.ChangeType(a, typeof(T)); T cv(string s) => eq() ? ct(int.Parse(s)) : eq() ? ct(long.Parse(s)) : eq() ? ct(double.Parse(s)) : eq() ? ct(s[0]) : ct(s); void Multi(out T a) => a = cv(GetStr()); void Multi(out T a, out U b) { var ar = GetStrArray(); a = cv(ar[0]); b = cv(ar[1]); } void Multi(out T a, out U b, out V c) { var ar = GetStrArray(); a = cv(ar[0]); b = cv(ar[1]); c = cv(ar[2]); } void Multi(out T a, out U b, out V c, out W d) { var ar = GetStrArray(); a = cv(ar[0]); b = cv(ar[1]); c = cv(ar[2]); d = cv(ar[3]); } void Multi(out T a, out U b, out V c, out W d, out X e) { var ar = GetStrArray(); a = cv(ar[0]); b = cv(ar[1]); c = cv(ar[2]); d = cv(ar[3]); e = cv(ar[4]); } void Multi(out T a, out U b, out V c, out W d, out X e, out Y f) { var ar = GetStrArray(); a = cv(ar[0]); b = cv(ar[1]); c = cv(ar[2]); d = cv(ar[3]); e = cv(ar[4]); f = cv(ar[5]); } void Swap(ref T a, ref T b) { T temp = a; a = b; b = temp; } int[] dx = new int[] { 1, 0, -1, 0, 1, 1, -1, -1 }; int[] dy = new int[] { 0, 1, 0, -1, 1, -1, 1, -1 }; long mod = 1000000007; } class Pair : IComparable { public Pair(int _node, long _cost) { node = _node; cost = _cost; } public int node; public long cost; public int CompareTo(Pair p) { return p.cost > cost ? 1 : -1; } } class Comparable : IComparable { public Comparable(int x, int id) { X = x; Id = id; } public int X; public int Id; public int CompareTo(Comparable c) { return X >= c.X ? -1 : 1; } } class Comparer : IComparer { public int Compare(T t1, T t2) { return 1; } } partial class Program { static void Main() { Console.SetOut(new StreamWriter(Console.OpenStandardOutput()) { AutoFlush = false }); new Program().Solve(); Console.Out.Flush(); Console.Read(); } public void Solve() { int N, K; Multi(out N, out K); var A = GetIntArray(); var dp = CreateArray(N * 100 + 1, N + 1, 0L); dp[0][0] = 1; for (int i = 0; i < N; i++) { for (int j = N - 1; j >= 0; j--) { for (int k = N * 100; k >= A[i]; k--) { dp[k][j + 1] = (dp[k][j + 1] + dp[k - A[i]][j]) % mod; } } } long cnt = 0; for (int j = 1; j <= N; j++) { for (int k = j * K; k <= N * 100; k++) { cnt = (cnt + dp[k][j]) % mod; } } Console.WriteLine(cnt); } }