#include #include #include #include #include #include #include #include using mint = atcoder::modint1000000007; using namespace std; using ll = long long; vector f0, f1; void init(int n) { f0.resize(n + 1); f0[0] = 1; for (int i = 1; i <= n; i++) { f0[i] = f0[i - 1] * i; } f1.resize(n + 1); f1[n] = f0[n].inv(); for (int i = n; i > 0; i--) { f1[i - 1] = f1[i] * i; } } mint fact(int k) { return f0[k]; } mint comb(int n, int k) { if (n < k || k < 0) return 0; return f0[n] * f1[k] * f1[n - k]; } int main() { ios::sync_with_stdio(false); cin.tie(0); int n; cin >> n; vector b(n); for (int i = 0; i < n; i++) { cin >> b[i]; } init(30); mint r = 1; int i0 = -1, b0 = 0; for (int i = 0; i < n; i++) { if (b[i] < 0) continue; if (b0 & ~b[i]) { cout << 0 << endl; exit(0); } int k = __builtin_popcount(~b0 & b[i]); int l = __builtin_popcount(b[i]); mint t = 0, sgn = 1; for (int j = 0; j <= k; j++) { t += mint((1 << (l - j)) - 1).pow(i - i0) * comb(k, j) * sgn; sgn *= -1; } r *= t; i0 = i; b0 = b[i]; } cout << r.val() << endl; return 0; }