#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, mp2; ll ans; void dfs(ll v, ll r, int t){ if(t==n1){ mp[make_pair(r, v)]++; // if(r==0){ // for(int i=0; i<3; i++) cout<>((i-1)*4))&15); if(c[i]>d){ v+=(1ll<<((i-1)*4)); dfs(v, (r*10+i)%k, t+1); v-=(1ll<<((i-1)*4)); } } } 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; } for(int i=1; i<=9; i++){ ll d=((v>>((i-1)*4))&15); if(c[i]>d){ v+=(1ll<<((i-1)*4)); dfs2(v, (r*10+i)%k, t+1); v-=(1ll<<((i-1)*4)); } } } 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<