#include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #define popcount __builtin_popcount using namespace std; using namespace atcoder; typedef long long ll; typedef pair P; int n, k; int c[10]; int n1,n2; map, int> mp; ll ans; void dfs(ll v, ll r, int t){ if(t==n1){ mp[make_pair(r, v)]++; return; } ll r1=(r*10+1)%k; for(int i=1; i<=9; i++){ ll d=((v>>((i-1)<<2))&15); if(c[i]>d){ v+=(1ll<<((i-1)<<2)); dfs(v, r1, t+1); v-=(1ll<<((i-1)<<2)); } r1++; if(r1>=k) r1-=k; } } ll q; ll c0; void dfs2(ll v, ll r, int t){ if(t==n2){ ll x=(k-q*r%k); if(x>=k) x-=k; ll w=c0-v; auto itr=mp.find(make_pair(x, w)); if(itr!=mp.end()){ ans+=itr->second; } return; } ll r1=(r*10+1)%k; for(int i=1; i<=9; i++){ ll d=((v>>((i-1)<<2))&15); if(c[i]>d){ v+=(1ll<<((i-1)<<2)); dfs2(v, r1, t+1); v-=(1ll<<((i-1)<<2)); } r1++; if(r1>=k) r1-=k; } } int main() { cin>>n>>k; for(int i=1; i<=9; i++){ cin>>c[i]; c0^=((ll)c[i]<<((i-1)*4)); } n1=min(7, n); dfs(0, 0, 0); if(n1==n){ for(auto p:mp) if(p.first.first==0) ans+=p.second; cout<