1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
#include <cstdio>
#include <vector>
using namespace std;

char s[1000000];
vector<int> wyr[1000000];

inline bool at(int x, int v) {
	return (x>>(v-1)) & 1;	
}

bool good(int x) {
	
	for(int i = 0; !wyr[i].empty(); i++) {
		int wyr_good = false;
		
		for(int j = 0; j < wyr[i].size(); j++) {
			if(wyr[i][j] > 0) 
				if(at(x, wyr[i][j]))
					wyr_good = true;
			
			if(wyr[i][j] < 0)
				if(!at(x, -wyr[i][j]))
					wyr_good = true;
		}
		
		if(!wyr_good) return false;
	}
	return true;
}

int main() {
	int n;
	scanf("%i", &n);
	scanf(" %[^\n]", &s);
	
	int cnt = 0;
	for(int i = 0; s[i]; i++) {
		if(s[i] == 'x') {
			
			if(s[i+2] >= '0' && s[i+2] <= '9')
				wyr[cnt].push_back((s[i+2] - '0') + 10*(s[i+1] - '0'));
			else
				wyr[cnt].push_back(s[i+1]-'0');
				
			if(s[i-1] == '~')
				wyr[cnt].back() = -wyr[cnt].back();
		}
		if(s[i] == '^')
			cnt++;		
	}
	
	int w = 0;
	for(int i = 0; i < (1<<n); i++) 
		w += good(i);
	
	printf("%i", w);
}