#include using namespace std; #define rep(i,n) for(ll i=0;i=0;i--) #define perl(i,r,l) for(ll i=r-1;i>=l;i--) #define fi first #define se second #define pb push_back #define ins insert #define pqueue(x) priority_queue,greater> #define all(x) (x).begin(),(x).end() #define CST(x) cout<> #define rev(x) reverse(x); using ll=long long; using vl=vector; using vvl=vector>; using pl=pair; using vpl=vector; using vvpl=vector; const ll MOD=1000000007; const ll MOD9=998244353; const int inf=1e9+10; const ll INF=4e18; const ll dy[9]={0,1,-1,0,1,1,-1,-1,0}; const ll dx[9]={1,0,0,-1,1,-1,1,-1,0}; template inline bool chmin(T& a, T b) { if (a > b) { a = b; return true; } return false; } template inline bool chmax(T& a, T b) { if (a < b) { a = b; return true; } return false; } const int mod = 1000000007; const int max_n = 1000050; struct mint { ll x; // typedef long long ll; mint(ll x=0):x((x%mod+mod)%mod){} mint operator-() const { return mint(-x);} mint& operator+=(const mint a) { if ((x += a.x) >= mod) x -= mod; return *this; } mint& operator-=(const mint a) { if ((x += mod-a.x) >= mod) x -= mod; return *this; } mint& operator*=(const mint a) { (x *= a.x) %= mod; return *this;} mint operator+(const mint a) const { return mint(*this) += a;} mint operator-(const mint a) const { return mint(*this) -= a;} mint operator*(const mint a) const { return mint(*this) *= a;} mint pow(ll t) const { if (!t) return 1; mint a = pow(t>>1); a *= a; if (t&1) a *= *this; return a; } bool operator==(const mint &p) const { return x == p.x; } bool operator!=(const mint &p) const { return x != p.x; } // for prime mod mint inv() const { return pow(mod-2);} mint& operator/=(const mint a) { return *this *= a.inv();} mint operator/(const mint a) const { return mint(*this) /= a;} }; istream& operator>>(istream& is, mint& a) { return is >> a.x;} ostream& operator<<(ostream& os, const mint& a) { return os << a.x;} using vm=vector; using vvm=vector; struct combination { vector fact, ifact; combination(int n):fact(n+1),ifact(n+1) { assert(n < mod); fact[0] = 1; for (int i = 1; i <= n; ++i) fact[i] = fact[i-1]*i; ifact[n] = fact[n].inv(); for (int i = n; i >= 1; --i) ifact[i-1] = ifact[i]*i; } mint operator()(int n, int k) { if (k < 0 || k > n) return 0; return fact[n]*ifact[k]*ifact[n-k]; } }comb(max_n); //O(N^3logk) //https://yukicoder.me/submissions/733933 //https://atcoder.jp/contests/abc236/submissions/28778130 using vec=vector; using matrix=vector>; matrix matmul(matrix &left,matrix &right){ int n=left.size(); matrix ret(n,vec(n));//+の単位元で埋める for(int i=0;i>=1; if(k)mat=matmul(mat,mat); } return ret; } vec update(matrix &mat,vec &v){ int n=mat.size(); vec ret(n);//+の単位元で埋める for(int i=0;i> l >> n >> m; vvm mat(240,vm(240));// vl v(11); rep(i,m){ ll a;cin >> a;v[a]++; } for(int i=1;i<=n;i++){//末尾の数字 for(int j=1;j<=11;j++){//繰り返し for(int p=1;p<=n;p++){ for(int q=1;q<=11;q++){ ll to=(p-1)*12+q,from=(i-1)*12+j; if(i==p){ if(j!=11&&j+1==q)mat[to][from]=1; if(j==11&&q==11)mat[to][from]=1; } else{ if(v[i]==1){ if(q==1&&j==i)mat[to+120][from]=1; else if(q==1){ mat[to][from]=1; } } else{ if(q==1)mat[to][from]=1; } } from+=120;to+=120; if(i==p){ if(j!=11&&j+1==q)mat[to][from]=1; if(j==11&&q==11)mat[to][from]=1; } else{ if(v[i]==1){ if(q==1)mat[to][from]=1; } else{ if(q==1)mat[to][from]=1; } } } } } } for(int i=1;i<=n;i++)mat[i*12-12+1][0]=1; /*rep(i,25){ rep(j,25){ cout << mat[i][j] <<" "; } cout << endl; }*/ mat=matpow(mat,l); /*rep(i,25){ rep(j,25){ cout << mat[i][j] <<" "; } cout << endl; }*/ vm dp(240);dp[0]=1; dp=update(mat,dp); mint ans=0; repl(i,120,240)ans+=dp[i]; for(int i=1;i<=10;i++){ if(v[i]){ ans+=dp[i*12-12+i]; } } cout << ans << endl; }