...

<constraint name="C4" arity="3" scope="X1 X4 X7" reference="global:weightedSum">
<parameters>
[ { 1 X1 } { 1 X4 } { 1 X7 } ] <eq/>
15
</parameters>
</constraint>
<constraint name="C5" arity="3" scope="X2 X5 X8" reference="global:weightedSum">
<parameters>
[ { 1 X2 } { 1 X5 } { 1 X8 } ]
<eq/>
15
</parameters>
</constraint> <constraint name="C6" arity="3" scope="X0 X4 X8" reference="global:weightedSum">
<parameters>
[ { 1 X0 } { 1 X4 } { 1 X8 } ] <eq/>
15
</parameters>
</constraint>
<constraint name="C7" arity="3" scope="X2 X4 X6" reference="global:weightedSum">
<parameters>
[ { 1 X2 } { 1 X4 } { 1 X6 } ]
<eq/>
15
</parameters>
</constraint>
<constraint name="C8" arity="9" scope="X0 X1 X2 X3 X4 X5 X6 X7 X8" reference="global:allDifferent" />
</constraints>
</instance>
Figure 8: The 3*-magic square* instance (continued)