#include #include using namespace std; using ll = long long int; using u64 = unsigned long long; using pll = pair; // #include // using namespace atcoder; #define REP(i, a, b) for (ll i = (a); i < (b); i++) #define REPrev(i, a, b) for (ll i = (a); i >= (b); i--) #define ALL(coll) (coll).begin(), (coll).end() #define SIZE(v) ((ll)((v).size())) #define REPOUT(i, a, b, exp, sep) REP(i, (a), (b)) cout << (exp) << (i + 1 == (b) ? "" : (sep)); cout << "\n" // @@ !! LIM(debug cmpNaive) // ---- inserted function f:<< from util.cc // declarations template ostream& operator<< (ostream& os, const pair& p); template ostream& operator<< (ostream& os, const tuple& t); template ostream& operator<< (ostream& os, const tuple& t); template ostream& operator<< (ostream& os, const tuple& t); template ostream& operator<< (ostream& os, const tuple& t); template ostream& operator<< (ostream& os, const vector& v); template ostream& operator<< (ostream& os, const array& v); template ostream& operator<< (ostream& os, const set& v); template ostream& operator<< (ostream& os, const unordered_set& v); template ostream& operator<< (ostream& os, const multiset& v); template ostream& operator<< (ostream& os, const map& mp); template ostream& operator<< (ostream& os, const unordered_map& mp); template ostream& operator<< (ostream& os, const queue& orig); template ostream& operator<< (ostream& os, const deque& orig); template ostream& operator<< (ostream& os, const priority_queue& orig); template ostream& operator<< (ostream& os, const stack& st); #if __cplusplus >= 201703L template ostream& operator<< (ostream& os, const optional& t); #endif ostream& operator<< (ostream& os, int8_t x); ostream& operator<< (ostream& os, const __int128& x); // definitions template ostream& operator<< (ostream& os, const pair& p) { os << "(" << p.first << ", " << p.second << ")"; return os; } template ostream& operator<< (ostream& os, const tuple& t) { os << "(" << get<0>(t) << ", " << get<1>(t) << ", " << get<2>(t) << ")"; return os; } template ostream& operator<< (ostream& os, const tuple& t) { os << "(" << get<0>(t) << ", " << get<1>(t) << ", " << get<2>(t) << ", " << get<3>(t) << ")"; return os; } template ostream& operator<< (ostream& os, const tuple& t) { os << "(" << get<0>(t) << ", " << get<1>(t) << ", " << get<2>(t) << ", " << get<3>(t) << ", " << get<4>(t) << ")"; return os; } template ostream& operator<< (ostream& os, const tuple& t) { os << "(" << get<0>(t) << ", " << get<1>(t) << ", " << get<2>(t) << ", " << get<3>(t) << ", " << get<4>(t) << ", " << get<5>(t) << ")"; return os; } template ostream& operator<< (ostream& os, const vector& v) { os << '['; for (auto it = v.begin(); it != v.end(); it++) { if (it != v.begin()) os << ", "; os << *it; } os << ']'; return os; } template ostream& operator<< (ostream& os, const array& v) { os << '['; for (auto it = v.begin(); it != v.end(); it++) { if (it != v.begin()) os << ", "; os << *it; } os << ']'; return os; } template ostream& operator<< (ostream& os, const set& v) { os << '{'; for (auto it = v.begin(); it != v.end(); it++) { if (it != v.begin()) os << ", "; os << *it; } os << '}'; return os; } template ostream& operator<< (ostream& os, const unordered_set& v) { os << '{'; for (auto it = v.begin(); it != v.end(); it++) { if (it != v.begin()) os << ", "; os << *it; } os << '}'; return os; } template ostream& operator<< (ostream& os, const multiset& v) { os << '{'; for (auto it = v.begin(); it != v.end(); it++) { if (it != v.begin()) os << ", "; os << *it; } os << '}'; return os; } template ostream& operator<< (ostream& os, const map& mp) { os << '['; for (auto it = mp.begin(); it != mp.end(); it++) { if (it != mp.begin()) os << ", "; os << it->first << ": " << it->second; } os << ']'; return os; } template ostream& operator<< (ostream& os, const unordered_map& mp) { os << '['; for (auto it = mp.begin(); it != mp.end(); it++) { if (it != mp.begin()) os << ", "; os << it->first << ": " << it->second; } os << ']'; return os; } template ostream& operator<< (ostream& os, const queue& orig) { queue que(orig); bool first = true; os << '['; while (!que.empty()) { T x = que.front(); que.pop(); if (!first) os << ", "; os << x; first = false; } return os << ']'; } template ostream& operator<< (ostream& os, const deque& orig) { deque que(orig); bool first = true; os << '['; while (!que.empty()) { T x = que.front(); que.pop_front(); if (!first) os << ", "; os << x; first = false; } return os << ']'; } template ostream& operator<< (ostream& os, const priority_queue& orig) { priority_queue pq(orig); bool first = true; os << '['; while (!pq.empty()) { T x = pq.top(); pq.pop(); if (!first) os << ", "; os << x; first = false; } return os << ']'; } template ostream& operator<< (ostream& os, const stack& st) { stack tmp(st); os << '['; bool first = true; while (!tmp.empty()) { T& t = tmp.top(); if (first) first = false; else os << ", "; os << t; tmp.pop(); } os << ']'; return os; } #if __cplusplus >= 201703L template ostream& operator<< (ostream& os, const optional& t) { if (t.has_value()) os << "v(" << t.value() << ")"; else os << "nullopt"; return os; } #endif ostream& operator<< (ostream& os, int8_t x) { os << (int32_t)x; return os; } // for Enum type; just displays ordinals. template typename std::enable_if::value, std::ostream&>::type operator<<(std::ostream& os, E e) { return os << static_cast::type>(e); } // This is a very ad-hoc implementation... // Known problem: "1 << 127" cannot be handled. ostream& operator<<(ostream& os, const __int128& v) { unsigned __int128 a = v < 0 ? -v : v; ll i = 0; string s(64, ' '); if (v == 0) { s[i++] = '0'; }else { while (a > 0) { s[i++] = '0' + (char)(a % 10); a /= 10; } } if (v < 0) { s[i++] = '-'; } s.erase(s.begin() + i, s.end()); reverse(s.begin(), s.end()); os << s; return os; } // ---- end f:<< // ---- inserted library file debug.cc // published at https://github.com/yamate11/compprog-clib/blob/master/debug.cc // https://github.com/yamate11/compprog-clib/blob/master/debug.cc template string dbgFormat(const char* fmt, Args... args) { size_t len = snprintf(nullptr, 0, fmt, args...); char buf[len + 1]; snprintf(buf, len + 1, fmt, args...); return string(buf); } template void dbgLog(bool with_nl, Head&& head) { cerr << head; if (with_nl) cerr << endl; } template void dbgLog(bool with_nl, Head&& head, Tail&&... tail) { cerr << head << " "; dbgLog(with_nl, forward(tail)...); } #if DEBUG #define DLOG(...) dbgLog(true, __VA_ARGS__) #define DLOGNNL(...) dbgLog(false, __VA_ARGS__) #define DFMT(...) cerr << dbgFormat(__VA_ARGS__) << endl #define DCALL(func, ...) func(__VA_ARGS__) #else #define DLOG(...) #define DLOGNNL(...) #define DFMT(...) #define DCALL(func, ...) #endif /* #if DEBUG_LIB #define DLOG_LIB(...) dbgLog(true, __VA_ARGS__) #define DLOGNNL_LIB(...) dbgLog(false, __VA_ARGS__) #define DFMT_LIB(...) cerr << dbgFormat(__VA_ARGS__) << endl #define DCALL_LIB(func, ...) func(__VA_ARGS__) #else #define DLOG_LIB(...) #define DFMT_LIB(...) #define DCALL_LIB(func, ...) #endif */ #define DUP1(E1) #E1 "=", E1 #define DUP2(E1,E2) DUP1(E1), DUP1(E2) #define DUP3(E1,...) DUP1(E1), DUP2(__VA_ARGS__) #define DUP4(E1,...) DUP1(E1), DUP3(__VA_ARGS__) #define DUP5(E1,...) DUP1(E1), DUP4(__VA_ARGS__) #define DUP6(E1,...) DUP1(E1), DUP5(__VA_ARGS__) #define DUP7(E1,...) DUP1(E1), DUP6(__VA_ARGS__) #define DUP8(E1,...) DUP1(E1), DUP7(__VA_ARGS__) #define DUP9(E1,...) DUP1(E1), DUP8(__VA_ARGS__) #define DUP10(E1,...) DUP1(E1), DUP9(__VA_ARGS__) #define DUP11(E1,...) DUP1(E1), DUP10(__VA_ARGS__) #define DUP12(E1,...) DUP1(E1), DUP11(__VA_ARGS__) #define GET_MACRO(_1,_2,_3,_4,_5,_6,_7,_8,_9,_10,_11,_12,NAME,...) NAME #define DUP(...) GET_MACRO(__VA_ARGS__, DUP12, DUP11, DUP10, DUP9, DUP8, DUP7, DUP6, DUP5, DUP4, DUP3, DUP2, DUP1)(__VA_ARGS__) #define DLOGK(...) DLOG(DUP(__VA_ARGS__)) #define DLOGKL(lab, ...) DLOG(lab, DUP(__VA_ARGS__)) #if DEBUG_LIB #define DLOG_LIB DLOG #define DLOGK_LIB DLOGK #define DLOGKL_LIB DLOGKL #endif // ---- end debug.cc // ---- inserted library file cmpNaive.cc // published at https://github.com/yamate11/compprog-clib/blob/master/cmpNaive.cc const string end_mark("^__=end=__^"); int naive(istream& cin, ostream& cout); int body(istream& cin, ostream& cout); void cmpNaive() { while (true) { string s; getline(cin, s); bool run_body; if (s.at(0) == 'Q') { return; }else if (s.at(0) == 'B') { run_body = true; }else if (s.at(0) == 'N') { run_body = false; }else { cerr << "Unknown body/naive specifier.\n"; exit(1); } string input_s; while (true) { getline(cin, s); if (s == end_mark) break; input_s += s; input_s += "\n"; } stringstream ss_in(move(input_s)); stringstream ss_out; ss_out << setprecision(20); if (run_body) { body(ss_in, ss_out); }else { naive(ss_in, ss_out); } cout << ss_out.str() << end_mark << endl; } } int main(int argc, char *argv[]) { ios_base::sync_with_stdio(false); cin.tie(nullptr); cout << setprecision(20); #if CMPNAIVE if (argc == 2) { if (strcmp(argv[1], "cmpNaive") == 0) { cmpNaive(); }else if (strcmp(argv[1], "naive") == 0) { naive(cin, cout); }else if (strcmp(argv[1], "skip") == 0) { exit(0); }else { cerr << "Unknown argument.\n"; exit(1); } }else { #endif body(cin, cout); #if CMPNAIVE } #endif return 0; } /* int naive(istream& cin, ostream& cout) { return 0; } int body(istream& cin, ostream& cout) { return 0; } */ // ---- end cmpNaive.cc // @@ !! LIM -- end mark -- int naive(istream& cin, ostream& cout) { ll N; cin >> N; // @InpVec(N, A) [qcCJGXhm] auto A = vector(N, ll()); for (int i = 0; i < N; i++) { ll v; cin >> v; A[i] = v; } // @End [qcCJGXhm] auto f = [&](ll a, ll b) -> ll { ll x = 0; REP(k, 0, 30) { ll t = a >> k & 1; ll s = b >> k & 1; if (k % 2 == 0) x |= ((t & s) << k); else x |= ((t | s) << k); } return x; }; ll ans = 0; REP(x, 1, 1LL << N) { ll s = -1; REP(i, 0, N) { if (x >> i & 1) { if (s < 0) s = A[i]; else s = f(s, A[i]); } } ans = max(ans, s); } cout << ans << endl; return 0; } int body(istream& cin, ostream& cout) { ll N; cin >> N; // @InpVec(N, A) [qcCJGXhm] auto A = vector(N, ll()); for (int i = 0; i < N; i++) { ll v; cin >> v; A[i] = v; } // @End [qcCJGXhm] #if DEBUG ll K0 = 5; #else ll K0 = 30; #endif ll ans = 0; vector B(K0 + 1, vector()); B[K0] = A; REPrev(k, K0 - 1, 0) { if (k % 2 != 0) { for (ll a : A) if (a >> k & 1) B[k].push_back(a); if (not B[k].empty()) ans |= (1LL << k); }else { vector new_B(K0 + 1, vector()); auto check = [&]() -> bool { bool progr = false; REPrev(l, K0, 0) { if (not B[l].empty()) { for (ll a : B[l]) if (a >> k & 1) new_B[l].push_back(a); if (new_B[l].empty()) return false; progr = true; } } return progr; }; if (check()) { B = move(new_B); ans |= (1LL << k); vector new_A; for (ll a : A) if (a >> k & 1) new_A.push_back(a); A = move(new_A); } } DLOGK(k, A, B); } cout << ans << endl; return 0; }