Go: package main

import (
	"bufio"
	"fmt"
	"os"
	"strconv"
	"strings"
)

func main() {
	io := NewIo()
	defer io.Flush()
	for {
		S := io.NextLine()
		if S == "." {
			break
		}
		P := io.NextLine()
		i := 0
		val := hash(S, P, &i)
		cnt := 0
		for j := 0; j < 10000; j++ {
			i = 0
			if hash(S, fmt.Sprintf("%04d", j), &i) == val {
				cnt++
			}
		}
		io.Println(val, cnt)
	}
}

func hash(s, n string, i *int) int {
	if s[*i] == '[' {
		*i++
		switch s[*i] {
		case '+':
			*i++
			l := hash(s, n, i)
			r := hash(s, n, i)
			*i++
			return l | r
		case '*':
			*i++
			l := hash(s, n, i)
			r := hash(s, n, i)
			*i++
			return l & r
		case '^':
			*i++
			l := hash(s, n, i)
			r := hash(s, n, i)
			*i++
			return l ^ r
		}
	}
	x := int(n[s[*i]-'a'] - '0')
	*i++
	return x
}

// I/O template
type Io struct {
	reader    *bufio.Reader
	writer    *bufio.Writer
	tokens    []string
	nextToken int
}

func NewIo() *Io {
	return &Io{
		reader: bufio.NewReader(os.Stdin),
		writer: bufio.NewWriter(os.Stdout),
	}
}

func (io *Io) Flush() {
	err := io.writer.Flush()
	if err != nil {
		panic(err)
	}
}

func (io *Io) NextLine() string {
	var buff []byte
	for {
		line, isPrefix, err := io.reader.ReadLine()
		if err != nil {
			panic(err)
		}
		buff = append(buff, line...)
		if !isPrefix {
			break
		}
	}
	return string(buff)
}

func (io *Io) Next() string {
	for io.nextToken >= len(io.tokens) {
		line := io.NextLine()
		io.tokens = strings.Fields(line)
		io.nextToken = 0
	}
	s := io.tokens[io.nextToken]
	io.nextToken++
	return s
}

func (io *Io) NextInt() int {
	i, err := strconv.Atoi(io.Next())
	if err != nil {
		panic(err)
	}
	return i
}

func (io *Io) NextFloat() float64 {
	i, err := strconv.ParseFloat(io.Next(), 64)
	if err != nil {
		panic(err)
	}
	return i
}

func (io *Io) Println(a ...interface{}) {
	fmt.Fprintln(io.writer, a...)
}

func (io *Io) Printf(format string, a ...interface{}) {
	fmt.Fprintf(io.writer, format, a...)
}

func (io *Io) PrintIntSlice(a []int) {
	b := []interface{}{}
	for _, x := range a {
		b = append(b, x)
	}
	io.Println(b...)
}

func (io *Io) PrintStringSlice(a []string) {
	b := []interface{}{}
	for _, x := range a {
		b = append(b, x)
	}
	io.Println(b...)
}

func Log(name string, value interface{}) {
	fmt.Fprintf(os.Stderr, "%s=%+v\n", name, value)
}

func ExampleIo() {
	io := NewIo()
	defer io.Flush()
	a := make([]int, 0, 3)
	a[0], a[1], a[2] = io.NextInt(), io.NextInt(), io.NextInt()
	io.Println(a)
	io.PrintIntSlice(a)
	Log("io", a)
}

C++: #include <bits/stdc++.h>
using namespace std;
typedef long long ll;
#define all(x) (x).begin(),(x).end()
const int mod=1000000007,MAX=40003;
const ll INF=1LL<<63;
int num[4];
int expr(string S,int &i);
int number(string S,int &i);

int expr(string S,int &i){
    int res=0;
    if(S[i]=='['){
        i++;
        char c=S[i];
        i++;
        
        res=expr(S,i);
        if(c=='+'){
            res|=expr(S,i);
        }else if(c=='*'){
            res&=expr(S,i);
        }else{
            res^=expr(S,i);
        }
        
        i++;
        
    }else{
        res=number(S,i);
        i++;
    }
    
    return res;
}

int number(string S,int &i){
    return num[S[i]-'a'];
}

int main(){
    
    std::ifstream in("text.txt");
    std::cin.rdbuf(in.rdbuf());
    cin.tie(0);
    ios::sync_with_stdio(false);
    
    while(1){
        string S,T;cin>>S>>T;
        if(S==".") break;
        vector<int> cnt(100);
        int ans;
        for(char a='0';a<='9';a++){
            for(char b='0';b<='9';b++){
                for(char c='0';c<='9';c++){
                    for(char d='0';d<='9';d++){
                        string U;
                        U+=a;
                        U+=b;
                        U+=c;
                        U+=d;
                        num[0]=a-'0';
                        num[1]=b-'0';
                        num[2]=c-'0';
                        num[3]=d-'0';
                        int i=0;
                        int x=expr(S,i);
                        
                        cnt[x]++;
                        
                        if(T==U) ans=x;
                    }
                }
            }
        }
        
        cout<<ans<<" "<<cnt[ans]<<endl;
    }
}

C++: #include <bits/stdc++.h>
#define GET_MACRO(_1,_2,_3,_4,_5,_6,_7,_8,NAME,...) NAME
#define pr(...) cerr<< GET_MACRO(__VA_ARGS__,pr8,pr7,pr6,pr5,pr4,pr3,pr2,pr1)(__VA_ARGS__) <<endl
#define pr1(a) (#a)<<"="<<(a)<<" "
#define pr2(a,b) pr1(a)<<pr1(b)
#define pr3(a,b,c) pr1(a)<<pr2(b,c)
#define pr4(a,b,c,d) pr1(a)<<pr3(b,c,d)
#define pr5(a,b,c,d,e) pr1(a)<<pr4(b,c,d,e)
#define pr6(a,b,c,d,e,f) pr1(a)<<pr5(b,c,d,e,f)
#define pr7(a,b,c,d,e,f,g) pr1(a)<<pr6(b,c,d,e,f,g)
#define pr8(a,b,c,d,e,f,g,h) pr1(a)<<pr7(b,c,d,e,f,g,h)
#define prArr(a) {cerr<<(#a)<<"={";int i=0;for(auto t:(a))cerr<<(i++?", ":"")<<t;cerr<<"}"<<endl;}
using namespace std;
using Int = long long;
using _int = int;
using ll = long long;
using Double = long double;
const Int INF = (1LL<<60)+1e9; // ~ 1.15 * 1e18
const Int mod = (1e9)+7;
const Double EPS = 1e-8;
const Double PI = 6.0 * asin((Double)0.5);
using P = pair<Int,Int>;
template<class T> T Max(T &a,T b){return a=max(a,b);}
template<class T> T Min(T &a,T b){return a=min(a,b);}
template<class T1, class T2> ostream& operator<<(ostream& o,pair<T1,T2> p){return o<<"("<<p.first<<","<<p.second<<")";}
template<class T1, class T2, class T3> ostream& operator<<(ostream& o,tuple<T1,T2,T3> t){
  return o<<"("<<get<0>(t)<<","<<get<1>(t)<<","<<get<2>(t)<<")";}
template<class T1, class T2> istream& operator>>(istream& i,pair<T1,T2> &p){return i>>p.first>>p.second;}
template<class T> ostream& operator<<(ostream& o,vector<T> a){Int i=0;for(T t:a)o<<(i++?" ":"")<<t;return o;}
template<class T> istream& operator>>(istream& i,vector<T> &a){for(T &t:a)i>>t;return i;}


int calc(char op, int a,int b){
  if(op == '+') return a | b;
  if(op == '^') return a ^ b;
  if(op == '*') return a & b;
  assert(0);
}

string s;
int pos;
map<char,int> num;
int dfs(){

  if(s[pos] == '['){
    pos++;
    int res = dfs();
    assert(s[pos] == ']');
    pos++;
    return res;
  }
  else if(isalpha(s[pos])){
    int res = num[s[pos]];
    pos++;
    return res;
  }
  else if(s[pos] == '+' || s[pos] == '^' || s[pos] == '*'){
    char op = s[pos];
    pos++;
    int a = dfs();
    int b = dfs();
    return calc(op, a, b);
  }
  assert(0);
}


signed main(){
  srand((unsigned)time(NULL));
  cin.tie(0);
  ios_base::sync_with_stdio(0);
  cout << fixed << setprecision(12);

  while(1){
    cin>>s;
    if(s == ".") break;
    string a;
    cin>>a;
    
    num['a'] = a[0] - '0';
    num['b'] = a[1] - '0';
    num['c'] = a[2] - '0';
    num['d'] = a[3] - '0';
    pos = 0;
    int target = dfs();
    int ans = 0;
    for(int i=0; i<= 9;i++)
      for(int j=0; j<= 9;j++)
        for(int k=0; k<= 9;k++)
	  for(int l=0; l<= 9;l++){
	    num['a'] = i;
	    num['b'] = j;
	    num['c'] = k;
	    num['d'] = l;
	    pos = 0;
	    int hash = dfs();
	    if(target == hash) ans++;
	  }
    cout<<target<<" "<<ans<<endl;
  }
  return 0;
}