Goodness Over Good

You are given: - two arrays $A$ and $B$, each consisting of $N$ positive integers; - a positive integer $K$. For a positive integer $X$, we say a set of indices $\{i_1, i_2, i_3, \ldots, i_m\}$ (where $1 \leq i_j, m \leq N$) to be *X-good* if: $(A_{i_1}$ $|$ $A_{i_2}$ $|$ $A_{i_3}$ $|$ $\ldots$ $|$ $A_{i_m}) \leq X$, where $|$ denotes the [bitwise or operation](https://en.wikipedia.org/wiki/Bi