#include #pragma GCC optimize("Ofast") using namespace std; using std::cout; using std::cin; using std::endl; using ll=long long; using ld=long double; ll ILL=167167167167167167; const int INF=2100000000; const ll mod=998244353; #define rep(i,a) for (ll i=0;i using _pq = priority_queue, greater>; template ll LB(vector &v,T a){return lower_bound(v.begin(),v.end(),a)-v.begin();} template ll UB(vector &v,T a){return upper_bound(v.begin(),v.end(),a)-v.begin();} template bool chmin(T &a,const T &b){if(a>b){a=b;return 1;}else return 0;} template bool chmax(T &a,const T &b){if(a void So(vector &v) {sort(v.begin(),v.end());} template void Sore(vector &v) {sort(v.begin(),v.end(),[](T x,T y){return x>y;});} void yneos(bool a){if(a) cout<<"Yes\n"; else cout<<"No\n";} template void vec_out(vector &p){for(int i=0;i<(int)(p.size());i++){if(i) cout<<" ";cout<0){ a*=2; if(H%a!=0){ H-=a/2; c*=b; c%=z; } b*=b; b%=z; } //ここまで return c; } namespace po167{ struct combination{ int upper; long long MOD; std::vector fact; std::vector rev; std::vector fact_rev; combination(int max,long long mod):upper(max),MOD(mod),fact(max+1),rev(max+1),fact_rev(max+1){ for(long long i=0;i<=max;i++){ if(i<2){ fact[i]=1; fact_rev[i]=1; rev[i]=1; continue; } fact[i]=(fact[i-1]*i)%mod; rev[i]=mod-((mod/i)*rev[mod%i])%mod; fact_rev[i]=(fact_rev[i-1]*rev[i])%mod; } } long long Comb(int x,int y){ assert(upper>=x); if (x>t; rep(i,t) solve(); } void solve(){ int N; cin>>N; string S; cin>>S; N++; S=S+"1"; int L=N/2+10; vector> dp0(L,vector(L)),dp1(L,vector(L)); dp1[0][0]=1; rep(i,N){ vector> n_dp0(L,vector(L)),n_dp1(L,vector(L)); rep(k,L-1) rep(l,L-1){ dp0[k][l]%=mod,dp1[k][l]%=mod; if(S[i]!='0'){ n_dp1[k][l]+=dp0[k][l]+dp1[k][l]; } if(S[i]!='1'){ n_dp0[k][l+1]+=dp1[k][l]; n_dp0[k+1][l]+=dp0[k][l]; } } swap(n_dp0,dp0); swap(n_dp1,dp1); } ll ans=dp1[0][0]; rep(i,L) rep(j,L){ if((i+j)%2==0&&i