Xor de tres P60779

Donats dos bits $b_1$ i $b_2$, $b_1$ xor $b_2$ val 0 si els dos bits són iguals i 1 si són diferents. Donats dos naturals $x$ i $y$, $x$^$y$ és el resultat de fer el xor de cada parell de bits correlatius. Per exemple, amb $x = 18 = 10010_2$ i $y = 14 = 01110_2$, $x$^$y$ $= 11100_2 = 28$.

Donats $n$ naturals, digueu si se’n poden escollir quatre, diguem-ne $a$, $b$, $c$ i $d$, de manera que $a$^$b$^$c = d$.

Entrada

L’entrada consisteix en diversos casos, cadascun amb $n$, seguida d’$n$ enters entre 0 i $10^{18}$. Poseu suposar $4 \le n \le 1000$.

Sortida

Per cada cas, escriviu “SI” o “NO” segons convingui.

Puntuació

• Cas A:   Casos on $4 \le n \le 50$.

• Cas B:   Resta de casos.