A D63: Finite sequence $x_0, x_1, x_2, \, \ldots, \, x_{63}$ is an x86-64 word if and only if \begin{equation} x_0, x_1, x_2, \, \ldots, \, x_{63} \in \{ 0, 1 \} \end{equation}