On page 52, example 3.42, it says that the domains are
"D(x_1) = D(x_1) = D(x_1) = {1, 2}". The subscripts of
the variables for the last two domains should be
adjusted to x_2 and x_3, respectively.

[Thanks to Lars Kotthoff]

The notation when referencing ranges of values in domains is inconsistent.
On page 63, example 3.66, the domain of x_3 is given as {1..3}, while on page
66, example 3.71, the domain of x_6 is defined as [3..7]. The latter should
be {3..7}.

[Thanks to Lars Kotthoff]