#pragma region Macros #include #if defined(LOCAL) || defined(ONLINE_JUDGE) || defined(_DEBUG) #include #endif using namespace std; #define REP(i, n) for(int i=0, i##_len=(n); i=0; --i) #define FOR(i, n, m) for(int i=(m), i##_len=(n); ibool chmax(T &a, const T &b) { if (abool chmin(T &a, const T &b) { if (busing vec = vector; templateusing umap = unordered_map; templateusing uset = unordered_set; using ll = long long; using ld = long double; using P = pair; using T = tuple; using vl = vec; #define fi first #define se second #define el endl constexpr ll INF = numeric_limits::max()/2-1; #pragma endregion #pragma region IOMacros template istream &operator>>(istream &stream, vec& o){REP(i, o.size())stream >> o[i];return stream;} template ostream &operator<<(ostream &stream, vec& objs){REP(i, objs.size())stream << objs[i] << " ";stream << el;return stream;} #define I(T, ...) ;T __VA_ARGS__;__i(__VA_ARGS__); void __i() {} template void __i(T&& o, Ts&&... args){cin >> o;__i(forward(args)...);} void O() {cout << el;} template void O(T&& o, Ts&&... args){cerr << o << " ";O(forward(args)...);} #pragma endregion void Main(); int main(){ std::cin.tie(nullptr); std::cout << std::fixed << std::setprecision(15); Main(); return 0; } // mod Pのための型 #pragma region modint template struct modint{ protected: ll v=0; public: //コンストラクタ modint(ll x=0){while(x<0)x+=m;v=x%m;} modint(const modint &r){v=r.val();} //算術演算子(単項) modint operator -(){return modint(-v);} modint& operator ++(){if(++v>=m)v-=m; return *this;} modint operator ++(int){modint t = *this; ++*this; return t;} modint& operator --(){if(--v<0)v+=m; return *this;} modint operator --(int){modint t = *this; --*this; return t;} //算術演算子(二項) friend modint operator +(const modint &l, const modint &r){return modint(l)+=r;} friend modint operator -(const modint &l, const modint &r){return modint(l)-=r;} friend modint operator *(const modint &l, const modint &r){return modint(l)*=r;} friend modint operator /(const modint &l, const modint &r){return modint(l)/=r;} // キャスト演算子 explicit operator int() const {return val();} explicit operator ll() const {return val();} //代入演算子 modint &operator +=(const modint &r){ v+=r.val(); if(v>=m)v-=m; return *this; } modint &operator -=(const modint &r){ if(v(const modint &l, const modint& r){return l.val()>r.val();} friend bool operator !=(const modint &l, const modint& r){return l.val()!=r.val();} // 各種関数 int val() const{return v;} constexpr static ll mod(){return m;} static modint raw(ll x){modint r;r.v=x;return r;} modint inv() const{ ll a=v,b=m,u=1,v=0; while(b){ ll t=a/b; a-=t*b;swap(a,b); u-=t*v;swap(u,v); } u %= m; if (u < 0) u += m; return u; } modint pow(ll n) const{ modint ret = 1, x(v); while (n > 0) { if (n & 1) ret *= x; x *= x; n >>= 1; } return ret; } //入出力ストリーム friend istream &operator>>(istream &is,modint& x){ll t;is>>t;x=t;return (is);} friend ostream &operator<<(ostream &os,const modint& x){return os<; using modint998244353 = modint<998244353>; #pragma endregion using mint = modint1000000007; void Main(){ I(ll, K); I(ll, N); vl X(N); cin >> X; vec DP(K+2); DP[0] = 1; REP(i, K){ if(DP[i].val() == 0) continue; REP(j, N){ ll t = i+X[j]; if(t > K) break; DP[t] += DP[i]; } } cout << DP[K] << el; //cerr << DP; }