#include #include #include using mint = atcoder::modint998244353; namespace atcoder { std::istream& operator>>(std::istream& in, mint &a) { long long e; in >> e; a = e; return in; } std::ostream& operator<<(std::ostream& out, const mint &a) { out << a.val(); return out; } } // namespace atcoder #include mint solve(const int n, const mint x, const std::vector &a, const std::vector &b, const std::vector &c) { if (x == 0) { mint ans = 0; for (int i = 0; i <= n; ++i) { ans += a[i] * b[i] * c[0]; } for (int i = 1; i <= n; ++i) { ans += a[i] * b[0] * c[i]; } return ans; } auto t = [&](long long k) { return (k - 1) * k * (k + 1) / 3; }; const mint inv_x = x.inv(); std::vector f(n + 1), g(n + 1); for (int i = 0; i <= n; ++i) { const mint pow_inv_x = inv_x.pow(t(i)); f[i] = b[i] * pow_inv_x; g[i] = c[i] * pow_inv_x; } const std::vector h = atcoder::convolution(f, g); mint ans = 0; for (int i = 0; i <= n; ++i) { const mint pow_x = x.pow(t(i)); ans += a[i] * pow_x * h[i]; } return ans; } int main() { std::ios::sync_with_stdio(false); std::cin.tie(nullptr); int n, x; std::cin >> n >> x; std::vector a(n + 1), b(n + 1), c(n + 1); for (int i = 0, v; i <= n; ++i) std::cin >> v, a[i] = v; for (int i = 0, v; i <= n; ++i) std::cin >> v, b[i] = v; for (int i = 0, v; i <= n; ++i) std::cin >> v, c[i] = v; std::cout << solve(n, x, a, b, c).val() << std::endl; return 0; }