Problem:
知識の証明

あなたが住んでいる集合住宅の入口のドアには，パスワード式のロックがかけられている．このパスワードはちょうど 4 桁の 0 から 9 の範囲の数字で構成されており，あなたはいつも，集合住宅の管理人から伝えられたパスワード P を使って，このドアのロックを解除している．

ある日，あなたは集合住宅の住民全員が，自分と同じパスワード P を使っているのかどうか気になり，同じ集合住宅に住む友人に尋ねることにした．あなたとあなたの友人は，自分のパスワードを互いに伝えあうことで，同じパスワードを使っているのかどうか確かめ合うことができる．しかしながら，パスワードがそれぞれの住民に個別に割り当てられている可能性を考えると，この方法は好ましくない．自分のパスワードを知っているのは自分だけであるべきで，他人に伝えるべきではないからである．

この事態を防ぐために，あなたとあなたの友人は，自分のパスワードをハッシュ関数に入力し，得られたハッシュ値を互いに伝えあうことにした．ここで使用するハッシュ関数の計算式 S は小文字のアルファベット 'a', 'b', 'c', 'd' と記号 '[', ']', '+', '*', '^' からなり，以下のBNFで定義される <Hash> によって表される．

<Hash> ::= <Letter> | '['<Op><Hash><Hash>']'
<Op> ::= '+' | '*' | '^'
<Letter> ::= 'a' | 'b' | 'c' | 'd'

ここで 'a', 'b', 'c', 'd' はそれぞれ 4 桁のパスワードの先頭から 1 桁目，2 桁目，3 桁目，4 桁目の数字を表す．'+', '*', '^' は演算子であり，以下のような意味を表す．

'+' : 続く 2 つの <Hash> を二進数で表したときの論理和を取る

'*' : 続く 2 つの <Hash> を二進数で表したときの論理積を取る

'^' : 続く 2 つの <Hash> を二進数で表したときの排他的論理和を取る

ここで，論理和，論理積，排他的論理和の真理値表はそれぞれ以下のようになる．

A

B

[+AB]

0

0

0

1

0

1

0

1

1

1

1

1

A

B

[*AB]

0

0

0

1

0

0

0

1

0

1

1

1

A

B

[^AB]

0

0

0

1

0

1

0

1

1

1

1

0

例として，ハッシュ関数 [+c[+a[^bd]]] にパスワード 0404 を入力すると，ハッシュ値として 0 が得られる．同じハッシュ値が得られるパスワードとして 0000, 0101, 0202, 0303, 0505, 0606, 0707, 0808, 0909 がある．

あなたのパスワード P をハッシュ関数 S に入力した結果を出力せよ．また，ハッシュ値からパスワードを一意に特定可能なハッシュ関数の使用を防ぐため，あなたのパスワードと同じハッシュ値になるパスワードの数も出力せよ．

Input

入力は最大で 50 個のデータセットから構成される．各データセットは次の形式で表される．

S
P

各データセットの1行目は，ハッシュ関数の計算式 S である．各データセットの2行目は，4 桁の 0 から 9 の範囲の数字で構成されるパスワード P である．ハッシュ関数 S の長さは 80 以下であると仮定してよい．

入力の終了は '.' の1文字だけを含む行で表される．

Output

各データセットについて，P を S に入力して得られるハッシュ値と，P と同じハッシュ値が得られるパスワードの数を空白区切りで出力せよ．

Sample Input

[+c[+a[^bd]]]
0404
[*b[*[*cd]a]]
7777
[^[^ab][^cd]]
1295
a
9876
[^dd]
9090
.

Output for the Sample Input

0 10
7 1
15 544
9 1000
0 10000

Solution in C++14 (judge verdict: Accepted)

#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
//#include <boost/multiprecision/cpp_int.hpp>
//typedef boost::multiprecision::cpp_int ll;
typedef long double dd;
#define i_7 (ll)(1E9+7)
//#define i_7 998244353
#define i_5 i_7-2
ll mod(ll a){
    ll c=a%i_7;
    if(c>=0)return c;
    return c+i_7;
}
typedef pair<ll,ll> l_l;
ll inf=(ll)1E17;

#define rep(i,l,r) for(ll i=l;i<=r;i++)
#define pb push_back
ll max(ll a,ll b){if(a<b)return b;else return a;}
ll min(ll a,ll b){if(a>b)return b;else return a;}
void Max(ll &pos,ll val){pos=max(pos,val);}//Max(dp[n],dp[n-1]);
void Min(ll &pos,ll val){pos=min(pos,val);}
void Add(ll &pos,ll val){pos=mod(pos+val);}
dd EPS=1E-9;
#define fastio ios::sync_with_stdio(false); cin.tie(0); cout.tie(0);
///////////////////////////////////////

typedef string::const_iterator State;
string s;
ll t[4];

ll has(State &begin);
ll let(State &begin){
    if(*begin=='a'){begin++;
        return t[0];
    }else if(*begin=='b'){begin++;
        return t[1];
    }
    ll k=*begin-'a';
    begin++;
    return t[k];
}
string ope="+*^";
ll has(State &begin){
    if(*begin=='['){
        begin++;
        ll op=-1;
        rep(i,0,2)if(*begin==ope[i])op=i;
        begin++;
        ll a=has(begin);
        ll b=has(begin);
        begin++;
        if(op==0){
            return a|b;
        }else if(op==1){
            return a&b;
        }else{
            return a^b;
        }
    }else{
        return let(begin);
    }
}

int main(){fastio
    
    while(1){
        cin>>s;
        if(s[0]=='.')break;
        ll ans[10000];memset(ans,-1,sizeof(ans));
        
        rep(i,0,9999){
            State begin=s.begin();
            ll ni=i;
            for(ll j=3;j>=0;j--){
                t[j]=ni%10;
                ni/=10;
            }
            ans[i]=has(begin);
        }
        
        ll k;cin>>k;
        ll p=ans[k];
        ll c=0;rep(i,0,9999)if(ans[i]==p)c++;
        cout<<p<<" "<<c<<endl;
    }
    return 0;
}