ordered pairs of pool positions joined through the codec. Includes i == j, which is the idempotent case and the cheapest place a decoded operand can go wrong.
i == j