#include using namespace std; #include using namespace atcoder; using ll=long long; using Graph=vector>>; #define MAX 100000 #define MOD 1000000007 #define INF 1000000000 int main(){ int N; int K; cin>>N>>K; vector c(9); for(int i=0;i<9;i++){ cin>>c[i]; } vector res(N,1); for(int i=1;i> dp(1<(K,0)); dp[0][0]=1; int sum=0; for(int i=0;i<9;i++){ if(c[i]==0){ continue; } vector bits;; for(int j=0;j<(1<>k)&1)==1){ bit+=(1<>k)&1)==1){ x+=res[k]; } } //cout<>l)&1)==1){ cnt++; } } if(cnt!=sum){ continue; } for(int l=0;l