#include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #define endl codeforces #define ALL(v) std::begin(v), std::end(v) #define ALLR(v) std::rbegin(v), std::rend(v) using ll = std::int64_t; using ull = std::uint64_t; using pii = std::pair; using tii = std::tuple; using pll = std::pair; using tll = std::tuple; using size_type = ssize_t; template using vec = std::vector; template using vvec = vec>; template const T& var_min(const T &t) { return t; } template const T& var_max(const T &t) { return t; } template const T& var_min(const T &t, const Tail&... tail) { return std::min(t, var_min(tail...)); } template const T& var_max(const T &t, const Tail&... tail) { return std::max(t, var_max(tail...)); } template void chmin(T &t, const Tail&... tail) { t = var_min(t, tail...); } template void chmax(T &t, const Tail&... tail) { t = var_max(t, tail...); } template struct multi_dim_array { using type = std::array::type, Head>; }; template struct multi_dim_array { using type = std::array; }; template using mdarray = typename multi_dim_array::type; template void fill_seq(T &t, F f, Args... args) { if constexpr (std::is_invocable::value) { t = f(args...); } else { for (size_type i = 0; i < t.size(); i++) fill_seq(t[i], f, args..., i); } } template vec make_v(size_type sz) { return vec(sz); } template auto make_v(size_type hs, Tail&&... ts) { auto v = std::move(make_v(std::forward(ts)...)); return vec(hs, v); } namespace init__ { struct InitIO { InitIO() { std::cin.tie(nullptr); std::ios_base::sync_with_stdio(false); std::cout << std::fixed << std::setprecision(30); } } init_io; } template T ceil_pow2(T bound) { T ret = 1; while (ret < bound) ret *= 2; return ret; } template T ceil_div(T a, T b) { return a / b + !!(a % b); } namespace math { template constexpr T mul_id_ele() { if constexpr (std::is_fundamental::value) { return T(1); } else { return T::mul_id_ele(); } } template constexpr T add_id_ele() { if constexpr (std::is_fundamental::value) { return T(0); } else { return T::add_id_ele(); } } template constexpr T pow(const T &n, ll k) { T ret = mul_id_ele(); T cur = n; while (k) { if (k & 1) ret *= cur; cur *= cur; k /= 2; } return ret; } template typename std::enable_if::value, T>::type gcd(T a, T b) { return b ? gcd(a % b, b) : a; } } namespace math { template struct Modint { constexpr Modint(ll x) noexcept : x((Mod + x % static_cast(Mod)) % Mod) { } constexpr Modint() noexcept : Modint(0) { } constexpr static Modint add_id_ele() { return Modint(0); } constexpr static Modint mul_id_ele() { return Modint(1); } constexpr ll value() const noexcept { return static_cast(x); } constexpr Modint& operator+=(const Modint &oth) noexcept { x += oth.value(); if (Mod <= x) x -= Mod; return *this; } constexpr Modint& operator-=(const Modint &oth) noexcept { x += Mod - oth.value(); if (Mod <= x) x -= Mod; return *this; } constexpr Modint& operator*=(const Modint &oth) noexcept { x *= oth.value(); x %= Mod; return *this; } constexpr Modint& operator/=(const Modint &oth) noexcept { x *= oth.inv().value(); x %= Mod; return *this; } constexpr Modint operator+(const Modint &oth) const noexcept { return Modint(x) += oth; } constexpr Modint operator-(const Modint &oth) const noexcept { return Modint(x) -= oth; } constexpr Modint operator*(const Modint &oth) const noexcept { return Modint(x) *= oth; } constexpr Modint operator/(const Modint &oth) const noexcept { return Modint(x) /= oth; } constexpr Modint operator-() const noexcept { return Modint((x != 0) * (Mod - x)); } constexpr bool operator==(const Modint &oth) const noexcept { return value() == oth.value(); } template constexpr typename std::enable_if::value, const Modint&>::type operator=(T t) noexcept { (*this) = Modint(std::forward(t)); return *this; } constexpr Modint inv() const noexcept { return ::math::pow(*this, Mod - 2); } constexpr ull mod() const noexcept { return Mod; } private: ull x; }; template Modint inv(Modint m) { return m.inv(); } template std::istream& operator>>(std::istream &is, Modint &m) { ll v; is >> v; m = v; return is; } template std::ostream& operator<<(std::ostream &os, Modint m) { os << m.value(); return os; } } constexpr ull mod = 998'244'353; constexpr ll SIZE = 1 << 10; using mint = math::Modint; struct Solver { ll n, k, x, y; vec av; vec sum; Solver(ll n, ll k, ll x, ll y) : n(n), k(k), x(x), y(y), av(k), sum(SIZE) { for (ll &e : av) std::cin >> e; std::sort(ALL(av)); av.erase(std::unique(ALL(av)), av.end()); } // k is small void solve1() { ll sz = av.size(); auto dp = make_v(n + 1, SIZE, sz); for (ll i = 0; i < sz; i++) { dp[1][av[i]][i] = 1; sum[av[i]] += 1; } for (ll i = 1; i < n; i++) { for (ll j = 0; j < SIZE; j++) for (ll k = 0; k < sz; k++) { dp[i + 1][j ^ av[k]][k] = sum[j] - dp[i][j][k]; } std::fill(ALL(sum), 0); for (ll j = 0; j < SIZE; j++) sum[j] += std::accumulate(ALL(dp[i + 1][j]), mint(0)); } } // n is small void solve2() { ll sz = av.size(); auto dp1 = make_v(sz, SIZE), dp2 = dp1; for (ll i = 0; i < sz; i++) { dp1[i][av[i]] = 1; sum[av[i]] += 1; } for (ll loop = 0; loop < n - 1; loop++) { for (ll i = 0; i < sz; i++) for (ll j = 0; j < SIZE; j++) { dp2[i][j ^ av[i]] = sum[j] - dp1[i][j]; } std::swap(dp1, dp2); std::fill(ALL(sum), 0); for (auto &v : dp1) for (ll i = 0; i < SIZE; i++) sum[i] += v[i]; } } mint solve() { if (n <= 10) solve2(); else solve1(); mint ans = 0; for (ll i = 0; i < SIZE; i++) if (x <= i && i <= y) ans += sum[i]; return ans; } }; int main() { ll n, k, x, y; std::cin >> n >> k >> x >> y; Solver solver(n, k, x, y); std::cout << solver.solve() << "\n"; return 0; }