On entry, , , , , .
Constraint: .
On entry, , and .
Constraint: for all .
On entry, and .
Constraint: .
On entry, .
Constraint: .
On entry, and .
Constraint: .
On entry,
ja defines duplicate elements in row
and column
.
On entry, .
Constraint: , , , or .
On entry, .
Constraint: .
On entry, and .
Constraint: .
On entry, .
Constraint: .
On entry, and .
Constraint: .
On entry, and .
Constraint: .
On entry, and .
Constraint: .
On entry, and .
Constraint: .