#include using namespace std; template > T power(T a, long long n, F op = multiplies(), T e = {1}) { assert(n >= 0); while (n) { if (n & 1) e = op(e, a); if (n >>= 1) a = op(a, a); } return e; } template struct modular { using m = modular; unsigned v; modular(long long a = 0) : v((a %= M) < 0 ? a + M : a) {} m operator-() const { return m() -= *this; } m& operator+=(m r) { if ((v += r.v) >= M) v -= M; return *this; } m& operator-=(m r) { if (v < r.v) v += M; v -= r.v; return *this; } m& operator*=(m r) { v = (uint64_t)v * r.v % M; return *this; } m& operator/=(m r) { return *this *= power(r, M - 2); } friend m operator+(m l, m r) { return l += r; } friend m operator-(m l, m r) { return l -= r; } friend m operator*(m l, m r) { return l *= r; } friend m operator/(m l, m r) { return l /= r; } friend bool operator==(m l, m r) { return l.v == r.v; } }; constexpr long long mod = 998244353; using mint = modular; int main() { cin.tie(nullptr); ios::sync_with_stdio(false); int n; cin >> n; vector c(1 << n); for (auto&& e : c) { cin >> e; } vector l(1 << n), h(1 << n); for (int i = 0; i < 1 << n; ++i) { int li, hi; cin >> li >> hi; l[i] = li, h[i] = hi; } for (int i = 0; i < n; ++i) { for (int bt = 0; bt < 1 << n; ++bt) { if (bt >> i & 1) { auto x = c[bt ^ 1 << i], y = c[bt]; c[bt ^ 1 << i] = x + y; c[bt] = x - y; } } } mint res; for (int i = 0; i < 1 << n; ++i) { if (c[i] > 0) { res += c[i] * h[i]; } if (c[i] < 0) { res += c[i] * l[i]; } } res /= power(mint(2), n); cout << res.v << '\n'; }