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
 92
 93
 94
 95
 96
 97
 98
 99
100
101
102
103
104
105
106
107
108
109
110
111
112
#include <iostream>
#include <cstdio>
#include <vector>
#include <algorithm>

using namespace std;

long long MOD, result;
long long potegi[1000005];
int n, k, MIN, MAKS, wartosc, liczba;
char tab[30000005];
int wczytanie[1000005];
int wartosci[1000005];

struct klauzula
{
	int poczatek;
	int koniec;
	vector <int> wartosci;
};

klauzula nowa;

vector <klauzula> v;

bool comp (klauzula F, klauzula S)
{
	return F.koniec < S.koniec;
}

int main ()
{
	MOD = 1000000007;
	potegi[0] = 1;
	for (int i = 1; i < 1000005; ++i)
	{
		potegi[i] = potegi[i - 1] * 2;
		potegi[i] %= MOD;
	}
	scanf("%d", &n);
	result = potegi[n];
	gets(tab);
	gets(tab);
	while (tab[k] == '(')
	{
		MIN = 1000005;
		MAKS = -1;
		k++;
		while (tab[k] != ' ' && tab[k] > 0)
		{
			if (tab[k] == 'x')
			{
				wartosc = 1;
				k++;
			}
			else
			{
				wartosc = 0;
				k += 2;
			}
			liczba = 0;
			while (tab[k] >= '0' && tab[k] <= '9')
			{
				liczba *= 10;
				liczba += tab[k] - '0';
				k++;
			}
			k += 3;
			if (liczba < MIN) MIN = liczba;
			if (liczba > MAKS) MAKS = liczba;
			wczytanie[liczba] = wartosc;
		}
		nowa.poczatek = MIN;
		nowa.koniec = MAKS;
		nowa.wartosci.clear();
		for (int i = MIN; i <= MAKS; ++i) nowa.wartosci.push_back(wczytanie[i]);
		v.push_back(nowa);
		k++;
	}
	for (int i = 0; i < potegi[n]; ++i)
	{
		if (i != 0)
		{
			for (int j = n; j > 0; --j)
			{
				wartosci[j] = 1 - wartosci[j];
				if (wartosci[j] == 1) break;
			}
		}
		liczba = 0;
		for (int j = 0; j < v.size(); ++j)
		{
			wartosc = 1;
			for (int m = 0; m < v[j].wartosci.size(); ++m)
			{
				if (v[j].wartosci[m] != wartosci[m + v[j].poczatek])
				{
					wartosc = 0;
					break;
				}
			}
			if (wartosc == 1)
			{
				liczba = 1;
				break;
			}
		}
		result -= liczba;
	}
	printf("%lld\n", result);
	return 0;
}