//#define _GLIBCXX_DEBUG #include using namespace std; #define endl '\n' #define lfs cout<= (ll)(n); i--) using ll = long long; using ld = long double; const ll MOD1 = 1e9+7; const ll MOD9 = 998244353; const ll INF = 1e18; using P = pair; template bool chmin(T1 &a,T2 b){if(a>b){a=b;return true;}else return false;} template bool chmax(T1 &a,T2 b){if(a void ans(bool x,T1 y,T2 z){if(x)cout< void debug(vector>&v,ll h,ll w){for(ll i=0;i&v,ll h,ll w){for(ll i=0;i void debug(vector&v,ll n){if(n!=0)cout< vector>vec(ll x, ll y, T w){ vector>v(x,vector(y,w));return v;} ll gcd(ll x,ll y){ll r;while(y!=0&&(r=x%y)!=0){x=y;y=r;}return y==0?x:y;} vectordx={1,0,-1,0,1,1,-1,-1}; vectordy={0,1,0,-1,1,-1,1,-1}; template vector make_v(size_t a,T b){return vector(a,b);} template auto make_v(size_t a,Ts... ts){ return vector(a,make_v(ts...)); } template ostream &operator<<(ostream &os, const pair&p){ return os << p.first << " " << p.second; } int main(){ cin.tie(nullptr); ios_base::sync_with_stdio(false); ll res=0,buf=0; bool judge = true; ll n,q;cin>>n>>q; assert(n>=1&&n<=(ll)1e5); assert(q>=1&&q<=(ll)1e5); vectora(n); rep(i,0,n){ cin>>a[i]; assert(a[i]>=0&&a[i]<=(ll)1e9); } string s;cin>>s; assert(s.size()==n); auto f=[&](ll x,ll idx){ P p; if(s[idx]=='0')p.fi=x&a[idx]; else p.fi=x|a[idx]; if(p.fi>x)p.se=2; else if(p.fival(n+1); map>idx; ll tmp=(1<<30)-1,change=(1<<30)-1; rep(i,0,n){ auto p=f(val[i],i); val[i+1]=p.fi; tmp=f(tmp,i).fi; if(tmp^change^val[i+1]){ ll k=tmp^change^val[i+1]; rep(j,0,30){ if(k&1<>t; assert(t>=0&&t<=(ll)1e9); ll score=res; for(auto &v:idx){ score+=f(t|val[v.fi],v.fi).se; for(auto z:v.se){ t&=~(1<