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
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
#include <bits/stdc++.h>
using namespace std;

char s[1000010];
int n;
int razy,liter;
long long int wyn;
int tab[50];
vector <int> lol[1000010];
int main()
{
    scanf("%d",&n);
    scanf(" %[^\n]", &s);

    int ile=0;

    for(int i=0;s[i];i++)
    {

        if(s[i]==')')
        {
            lol[ile].push_back(liter*razy);
            ile++;
            liter=0;
        }

        if(s[i]=='x'&&(s[i-2]=='v'||s[i-3]=='v'))
        {
            lol[ile].push_back(liter*razy);
            liter=0;
        }
        if((int)s[i]>47&&(int)s[i]<58)
        {
            liter*=10;
            liter+=(int)s[i]-48;
        }

         if(s[i-1]==126&&s[i]=='x')
                    razy=-1;

        else if(s[i]=='x')
                    razy=1;
    }

    for(int k=0;k<(1<<n);k++)
    {
        int lel=k;
        for(int j=1;j<=n;j++)
        {
            if(lel%2==1)
                tab[j]=1;
            else
                tab[j]=0;
            lel/=2;

        }

        bool czy=1;

        for(int i=0;i<ile;i++)
        {
            bool niuszka=0;

            for(int j=0;j<lol[i].size();j++)
            {
                if(lol[i][j]>0&&tab[lol[i][j]]==1)
                    {
                        niuszka=1;
                        break;
                    }
                else if(lol[i][j]<0&&tab[-1*(lol[i][j])]==0)
                    {
                        niuszka=1;
                        break;
                    }
            }

            if(niuszka==0)
            {
                czy=0;
                break;
            }
        }

        if(czy)
            wyn++;
    }

    printf("%lld",wyn);
    return 0;
}