using System; using System.Collections.Generic; using System.Linq; using System.IO; //using System.Text; //using System.Text.RegularExpressions; //using System.Globalization; //using System.Diagnostics; using static System.Console; //using System.Numerics; //using static System.Math; //using pair = Pair; class Program { static void Main() { //SetOut(new StreamWriter(OpenStandardOutput()) { AutoFlush = false }); new Program().solve(); Out.Flush(); } Scanner cin = new Scanner(); readonly int[] dd = { 0, 1, 0, -1, 0 }; //→↓←↑ readonly long mod = 100000000000000007; void chmax(ref T a, T b) where T : IComparable { a = a.CompareTo(b) < 0 ? b : a; } void chmin(ref T a, T b) where T : IComparable { a = a.CompareTo(b) < 0 ? a : b; } void solve() { int N = cin.nextint; int M = cin.nextint; var X = cin.scanint; var dp = new long[N]; dp[0] = 1; for (int i = 0; i < N; i++) { foreach (var v in X) { if (i + v < N) { dp[i + v] += dp[i]; dp[i + v] %= mod; } } } WriteLine(dp[N - 1]); } } class Scanner { string[] s; int i; char[] cs = new char[] { ' ' }; public Scanner() { s = new string[0]; i = 0; } public string[] scan { get { return ReadLine().Split(); } } public int[] scanint { get { return Array.ConvertAll(scan, int.Parse); } } public long[] scanlong { get { return Array.ConvertAll(scan, long.Parse); } } public double[] scandouble { get { return Array.ConvertAll(scan, double.Parse); } } public string next { get { if (i < s.Length) return s[i++]; string st = ReadLine(); while (st == "") st = ReadLine(); s = st.Split(cs, StringSplitOptions.RemoveEmptyEntries); i = 0; return next; } } public int nextint { get { return int.Parse(next); } } public long nextlong { get { return long.Parse(next); } } public double nextdouble { get { return double.Parse(next); } } }