<p>
Two strictly increasing sequences $a = (a_n)_{n \ge 0}$ and $b = (b_n)_{n \ge 0}$ have the following properties:</p>
<ul>
<li>$b_n = a_n + a_{n + 1} + a_{n + 2}$ for each $n$;</li>
<li>every positive integer appears either in $a$ or in $b$, but not in both.</li>
</ul>

<p>
The sequences begin with:
$$\begin{align}
a &amp; \colon 1, 2, 3, 4, 5, 7, 8, 10, 11, 13, 14, 15, 17, 18, 19, 21, \dots\\
b &amp; \colon 6, 9, 12, 16, 20, \dots
\end{align}$$</p>

<p>
If we take the <strong>bitwise-xor</strong> of $b_n - 1$ for all $b_n$ that do not exceed $20$, then we get $5 \oplus 8 \oplus 11 \oplus 15 \oplus 19 = 26$, where $\oplus$ represents bitwise-xor.</p>

<p>
Find the bitwise-xor of $b_n - 1$ for all $b_n$ that do not exceed $10^{18}$.</p>