#line 1 "library/Template/template.hpp" #include using namespace std; #define rep(i,a,b) for(int i=(int)(a);i<(int)(b);i++) #define ALL(v) (v).begin(),(v).end() using ll=long long int; const int inf = 0x3fffffff; const ll INF = 0x1fffffffffffffff; templateinline bool chmax(T& a,T b){if(ainline bool chmin(T& a,T b){if(a>b){a=b;return 1;}return 0;} #line 2 "library/Utility/fastio.hpp" #include class FastIO{ static constexpr int L=1<<16; char rdbuf[L]; int rdLeft=0,rdRight=0; inline void reload(){ int len=rdRight-rdLeft; memmove(rdbuf,rdbuf+rdLeft,len); rdLeft=0,rdRight=len; rdRight+=fread(rdbuf+len,1,L-len,stdin); } inline bool skip(){ for(;;){ while(rdLeft!=rdRight and rdbuf[rdLeft]<=' ')rdLeft++; if(rdLeft==rdRight){ reload(); if(rdLeft==rdRight)return false; } else break; } return true; } template::value,int> =0>inline bool _read(T& x){ if(!skip())return false; if(rdLeft+20>=rdRight)reload(); bool neg=false; if(rdbuf[rdLeft]=='-'){ neg=true; rdLeft++; } x=0; while(rdbuf[rdLeft]>='0' and rdLeft::value,int> =0>inline bool _read(T& x){ if(!skip())return false; if(rdLeft+20>=rdRight)reload(); bool neg=false; if(rdbuf[rdLeft]=='-'){ neg=true; rdLeft++; } x=0; while(rdbuf[rdLeft]>='0' and rdbuf[rdLeft]<='9' and rdLeft='0' and rdbuf[rdLeft]<='9' and rdLeft=rdRight)reload(); x=rdbuf[rdLeft++]; return true; } inline bool _read(string& x){ if(!skip())return false; for(;;){ int pos=rdLeft; while(pos' ')pos++; x.append(rdbuf+rdLeft,pos-rdLeft); if(rdLeft==pos)break; rdLeft=pos; if(rdLeft==rdRight)reload(); else break; } return true; } templateinline bool _read(vector& v){ for(auto& x:v){ if(!_read(x))return false; } return true; } char wtbuf[L],tmp[50]; int wtRight=0; inline void flush(){ fwrite(wtbuf,1,wtRight,stdout); wtRight=0; } inline void _write(const char& x){ if(wtRight>L-32)flush(); wtbuf[wtRight++]=x; } inline void _write(const string& x){ for(auto& c:x)_write(c); } template::value,int> =0>inline void _write(T x){ if(wtRight>L-32)flush(); if(x==0){ _write('0'); return; } else if(x<0){ _write('-'); if (__builtin_expect(x == std::numeric_limits::min(), 0)) { switch (sizeof(x)) { case 2: _write("32768"); return; case 4: _write("2147483648"); return; case 8: _write("9223372036854775808"); return; } } x=-x; } int pos=0; while(x!=0){ tmp[pos++]=char((x%10)|48); x/=10; } rep(i,0,pos)wtbuf[wtRight+i]=tmp[pos-1-i]; wtRight+=pos; } templateinline void _write(const vector& v){ rep(i,0,v.size()){ if(i)_write(' '); _write(v[i]); } } public: FastIO(){} ~FastIO(){flush();} inline void read(){} template inline void read(Head& head,Tail&... tail){ assert(_read(head)); read(tail...); } templateinline void write(){if(ln)_write('\n');} template inline void write(const Head& head,const Tail&... tail){ if(space)_write(' '); _write(head); write(tail...); } }; /** * @brief Fast IO */ #line 3 "sol.cpp" FastIO io; int main(){ using P=pair; map memo; auto dfs=[&](auto& dfs,string& t,int n)->string{ if(t.empty())return ""; if(memo.count({t,n}))return memo[{t,n}]; string t0,t1,t2; int i=0; assert(t[i++]=='('); for(int lev=0;;i++){ if(lev==0 and t[i]=='|'){i++; break;} t0.push_back(t[i]); if(t[i]=='(')lev++; if(t[i]==')')lev--; } for(int lev=0;;i++){ if(lev==0 and t[i]==')'){i++; break;} t1.push_back(t[i]); if(t[i]=='(')lev++; if(t[i]==')')lev--; } for(;i=3 and t1.substr(t1.size()-3,3)=="(|)"){ if(n==0)ret="("+dfs(dfs,t0,0)+"|("+t0+"|"+dfs(dfs,t1,0)+")(|))"; else ret="("+dfs(dfs,t0,n)+"|"+dfs(dfs,t,n-1)+")"; } if(t2.empty() and t0.size() and t1.size() and (t1.size()<=2 or t1.substr(t1.size()-3,3)!="(|)")){ ret="("+t0+"|"+dfs(dfs,t1,n)+")"; } return memo[{t,n}]=ret; }; string S,T; io.read(S,T); set ok; queue que; que.push(S); ok.insert(S); while(!que.empty()){ auto cur=que.front(); que.pop(); rep(n,0,30){ string nxt=dfs(dfs,cur,n); if(nxt.size()>30)break; if(!ok.count(nxt)){ ok.insert(nxt); que.push(nxt); } } } io.write(!ok.count(T)); return 0; }