#include #include using namespace std; using ll = long long; const ll MOD = 1000000007; ll modpow(ll a, ll n) { ll res = 1; while (n > 0) { if (n & 1) res = res * a % MOD; a = a * a % MOD; n >>= 1; } return res; } ll modinv(ll i) { return modpow(i, MOD - 2); } ll fact(ll n) { ll ans = 1; for (int i = 0; i < n; i++) { ans = ans * (i + 1) % MOD; } return ans; } ll comb(ll n, ll a) { ll ans = 1, denom = 1; for (int i = 0; i < a; i++) { ans = ans * (n - i) % MOD; denom = denom * (i + 1) % MOD; } ans = ans * modinv(denom) % MOD; return ans; } ll calc(ll a, ll b, ll c) { ll ret = 0; for (int i = 0; i <= b; i++) { ll v = comb(b, i) * modpow((1 << (b + c - i)) - 1, a) % MOD; if (i % 2 == 0) { ret += v; ret %= MOD; } else { ret += MOD - v; ret %= MOD; } } return ret; } int main() { ios::sync_with_stdio(false); cin.tie(nullptr); int i, n; cin >> n; vector b(n, 0); for (i = 0; i < n; i++) { cin >> b[i]; } ll prev = 0; ll streak = 0; ll ans = 1; for (i = 0; i < n; i++) { if (b[i] == -1) { streak++; } else { ll c01 = 0; ll c11 = 0; for (int j = 0; j < 32; j++) { ll x = (prev >> j) % 2; ll y = (b[i] >> j) % 2; if (x == 0 && y == 1) { c01++; } else if (x == 1 && y == 1) { c11++; } else if (x == 1 && y == 0) { cout << 0 << "\n"; return 0; } } ans *= calc(streak + 1, c01, c11); ans %= MOD; prev = b[i]; streak = 0; } } cout << ans << "\n"; return 0; }