#include #pragma GCC optimize("Ofast") #define _GLIBCXX_DEBUG using namespace std; using std::cout; using std::cin; using std::endl; using ll=long long; using ld=long double; ll ILL=1167167167167167167; const int INF=2100000000; ll mod=998244353; #define rep(i,a) for (int 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";} using podata=vector; vector> mex={{1,2,1},{2,0,0},{1,0,0}}; podata max_data(podata a,podata b){ podata c(3); rep(i,3) rep(j,3){ c[max(i,j)]+=(a[i]*b[j])%mod; } rep(i,3) c[i]%=mod; return c; } podata mex_data(podata a,podata b){ podata c(3); rep(i,3) rep(j,3){ c[mex[i][j]]+=(a[i]*b[j])%mod; } rep(i,3) c[i]%=mod; return c; } podata mix(podata a,podata b){ podata c=max_data(a,b); podata d=mex_data(a,b); rep(i,3) c[i]=(c[i]+d[i])%mod; return c; } ll solve(string &S,int k){ stack s; reverse(S.begin(),S.end()); rep(i,S.size()){ if(S[i]==')'||S[i]=='('||S[i]==',') continue; if(S[i]=='x'){ podata a=s.top(); s.pop(); podata b=s.top(); s.pop(); i++; if(S[i]=='e') s.push(mex_data(a,b)); else if(S[i]=='a') s.push(max_data(a,b)); else s.push(mix(a,b)); i++; } else{ int a=-1; podata D(3); if(S[i]!='?'){ a=S[i]-'0'; D[a]=1; } else{ rep(j,3) D[j]=1; } /*rep(j,3) cout<>S>>k; cout<<(mod+solve(S,k)%mod)%mod<<"\n"; }