#include namespace zawa { using i16 = std::int16_t; using i32 = std::int32_t; using i64 = std::int64_t; using i128 = __int128_t; using u8 = std::uint8_t; using u16 = std::uint16_t; using u32 = std::uint32_t; using u64 = std::uint64_t; using usize = std::size_t; } // namespace zawa namespace zawa { void SetFastIO() { std::cin.tie(nullptr)->sync_with_stdio(false); } void SetPrecision(u32 dig) { std::cout << std::fixed << std::setprecision(dig); } } // namespace zawa using namespace zawa; int main() { SetFastIO(); int n; std::cin >> n; std::vector a(n); int x{}; for (int i{} ; i < n ; i++) { std::cin >> a[i]; x ^= a[i]; } if (x) { std::cout << "No" << '\n'; return 0; } constexpr int M{5010}; std::vector cnt(M); for (auto x : a) cnt[x]++; for (auto x : cnt) if (x > 1) { std::cout << "Yes" << '\n'; return 0; } std::vector dp(M); dp[0] = 1; for (int i{} ; i < n ; i++) { std::vector next(M); for (int j{} ; j < M ; j++) { next[j] += dp[j]; if (dp[j]) { int v{j ^ a[i]}; if (v >= M) { std::cout << "RE" << std::endl; return 0; } next[j ^ a[i]] += dp[j]; } } if (next[0] > 2) { std::cout << "Yes" << '\n'; return 0; } dp = std::move(next); for (int j{} ; j < M ; j++) if (dp[j] > 3) dp[j] = 3; } std::cout << "No" << '\n'; }