O=->a{->b{a|b}}
A=->a{->b{a&b}}
X=->a{->b{a^b}}
loop{
	s=gets.chomp
	break if s=='.'
	s=s.tr('+*^','OAX')
	'abcd'.chars{|c|s.gsub!(c,'[%s]'%c)}
	n=gets.to_i
	r=eval(s.tr('abcd','%04d'%n))[0]
	puts '%d %d'%[r,10000.times.count{|i|r==eval(s.tr('abcd','%04d'%i))[0]}]
}
