Too Much Xor

Chef calls a sequence of integers $A_1, A_2, \ldots, A_N$ *good* if it satisfies the following conditions: - $A_i \oplus A_{i+1} \gt 0$ for all valid $i$ - $A_{i-1} \oplus A_i \oplus A_{i+1} = A_i$ for all valid $i$ In particular, any sequence with length $1$ is good and any sequence of length $2$ which satisfies the first condition is good. Here, $\oplus$ denotes the [bitwise XOR operation](htt