SELECT 
concat_ws('\n',
concat_ws(' ', r1.c1, r1.c2, r1.c3, r1.c4, r1.c5, r1.c6, r1.c7, r1.c8, r1.c9), 
concat_ws(' ', r2.c1, r2.c2, r2.c3, r2.c4, r2.c5, r2.c6, r2.c7, r2.c8, r2.c9), 
concat_ws(' ', r3.c1, r3.c2, r3.c3, r3.c4, r3.c5, r3.c6, r3.c7, r3.c8, r3.c9), 
concat_ws(' ', r4.c1, r4.c2, r4.c3, r4.c4, r4.c5, r4.c6, r4.c7, r4.c8, r4.c9), 
concat_ws(' ', r5.c1, r5.c2, r5.c3, r5.c4, r5.c5, r5.c6, r5.c7, r5.c8, r5.c9), 
concat_ws(' ', r6.c1, r6.c2, r6.c3, r6.c4, r6.c5, r6.c6, r6.c7, r6.c8, r6.c9), 
concat_ws(' ', r7.c1, r7.c2, r7.c3, r7.c4, r7.c5, r7.c6, r7.c7, r7.c8, r7.c9), 
concat_ws(' ', r8.c1, r8.c2, r8.c3, r8.c4, r8.c5, r8.c6, r8.c7, r8.c8, r8.c9), 
concat_ws(' ', r9.c1, r9.c2, r9.c3, r9.c4, r9.c5, r9.c6, r9.c7, r9.c8, r9.c9)
) as result
FROM 
	positions r1, 
	positions r2,
	positions r3,
	positions r4,
	positions r5,
	positions r6,
	positions r7,
	positions r8,
	positions r9
	
WHERE

-- Unique in column
(r1.c1 <> r2.c1) AND 
(r1.c1 <> r3.c1) AND 
(r1.c1 <> r4.c1) AND 
(r1.c1 <> r5.c1) AND 
(r1.c1 <> r6.c1) AND 
(r1.c1 <> r7.c1) AND 
(r1.c1 <> r8.c1) AND 
(r1.c1 <> r9.c1) AND 
(r1.c2 <> r2.c2) AND 
(r1.c2 <> r3.c2) AND 
(r1.c2 <> r4.c2) AND 
(r1.c2 <> r5.c2) AND 
(r1.c2 <> r6.c2) AND 
(r1.c2 <> r7.c2) AND 
(r1.c2 <> r8.c2) AND 
(r1.c2 <> r9.c2) AND 
(r1.c3 <> r2.c3) AND 
(r1.c3 <> r3.c3) AND 
(r1.c3 <> r4.c3) AND 
(r1.c3 <> r5.c3) AND 
(r1.c3 <> r6.c3) AND 
(r1.c3 <> r7.c3) AND 
(r1.c3 <> r8.c3) AND 
(r1.c3 <> r9.c3) AND 
(r1.c4 <> r2.c4) AND 
(r1.c4 <> r3.c4) AND 
(r1.c4 <> r4.c4) AND 
(r1.c4 <> r5.c4) AND 
(r1.c4 <> r6.c4) AND 
(r1.c4 <> r7.c4) AND 
(r1.c4 <> r8.c4) AND 
(r1.c4 <> r9.c4) AND 
(r1.c5 <> r2.c5) AND 
(r1.c5 <> r3.c5) AND 
(r1.c5 <> r4.c5) AND 
(r1.c5 <> r5.c5) AND 
(r1.c5 <> r6.c5) AND 
(r1.c5 <> r7.c5) AND 
(r1.c5 <> r8.c5) AND 
(r1.c5 <> r9.c5) AND 
(r1.c6 <> r2.c6) AND 
(r1.c6 <> r3.c6) AND 
(r1.c6 <> r4.c6) AND 
(r1.c6 <> r5.c6) AND 
(r1.c6 <> r6.c6) AND 
(r1.c6 <> r7.c6) AND 
(r1.c6 <> r8.c6) AND 
(r1.c6 <> r9.c6) AND 
(r1.c7 <> r2.c7) AND 
(r1.c7 <> r3.c7) AND 
(r1.c7 <> r4.c7) AND 
(r1.c7 <> r5.c7) AND 
(r1.c7 <> r6.c7) AND 
(r1.c7 <> r7.c7) AND 
(r1.c7 <> r8.c7) AND 
(r1.c7 <> r9.c7) AND 
(r1.c8 <> r2.c8) AND 
(r1.c8 <> r3.c8) AND 
(r1.c8 <> r4.c8) AND 
(r1.c8 <> r5.c8) AND 
(r1.c8 <> r6.c8) AND 
(r1.c8 <> r7.c8) AND 
(r1.c8 <> r8.c8) AND 
(r1.c8 <> r9.c8) AND 
(r1.c9 <> r2.c9) AND 
(r1.c9 <> r3.c9) AND 
(r1.c9 <> r4.c9) AND 
(r1.c9 <> r5.c9) AND 
(r1.c9 <> r6.c9) AND 
(r1.c9 <> r7.c9) AND 
(r1.c9 <> r8.c9) AND 
(r1.c9 <> r9.c9) AND 
(r2.c1 <> r3.c1) AND 
(r2.c1 <> r4.c1) AND 
(r2.c1 <> r5.c1) AND 
(r2.c1 <> r6.c1) AND 
(r2.c1 <> r7.c1) AND 
(r2.c1 <> r8.c1) AND 
(r2.c1 <> r9.c1) AND 
(r2.c2 <> r3.c2) AND 
(r2.c2 <> r4.c2) AND 
(r2.c2 <> r5.c2) AND 
(r2.c2 <> r6.c2) AND 
(r2.c2 <> r7.c2) AND 
(r2.c2 <> r8.c2) AND 
(r2.c2 <> r9.c2) AND 
(r2.c3 <> r3.c3) AND 
(r2.c3 <> r4.c3) AND 
(r2.c3 <> r5.c3) AND 
(r2.c3 <> r6.c3) AND 
(r2.c3 <> r7.c3) AND 
(r2.c3 <> r8.c3) AND 
(r2.c3 <> r9.c3) AND 
(r2.c4 <> r3.c4) AND 
(r2.c4 <> r4.c4) AND 
(r2.c4 <> r5.c4) AND 
(r2.c4 <> r6.c4) AND 
(r2.c4 <> r7.c4) AND 
(r2.c4 <> r8.c4) AND 
(r2.c4 <> r9.c4) AND 
(r2.c5 <> r3.c5) AND 
(r2.c5 <> r4.c5) AND 
(r2.c5 <> r5.c5) AND 
(r2.c5 <> r6.c5) AND 
(r2.c5 <> r7.c5) AND 
(r2.c5 <> r8.c5) AND 
(r2.c5 <> r9.c5) AND 
(r2.c6 <> r3.c6) AND 
(r2.c6 <> r4.c6) AND 
(r2.c6 <> r5.c6) AND 
(r2.c6 <> r6.c6) AND 
(r2.c6 <> r7.c6) AND 
(r2.c6 <> r8.c6) AND 
(r2.c6 <> r9.c6) AND 
(r2.c7 <> r3.c7) AND 
(r2.c7 <> r4.c7) AND 
(r2.c7 <> r5.c7) AND 
(r2.c7 <> r6.c7) AND 
(r2.c7 <> r7.c7) AND 
(r2.c7 <> r8.c7) AND 
(r2.c7 <> r9.c7) AND 
(r2.c8 <> r3.c8) AND 
(r2.c8 <> r4.c8) AND 
(r2.c8 <> r5.c8) AND 
(r2.c8 <> r6.c8) AND 
(r2.c8 <> r7.c8) AND 
(r2.c8 <> r8.c8) AND 
(r2.c8 <> r9.c8) AND 
(r2.c9 <> r3.c9) AND 
(r2.c9 <> r4.c9) AND 
(r2.c9 <> r5.c9) AND 
(r2.c9 <> r6.c9) AND 
(r2.c9 <> r7.c9) AND 
(r2.c9 <> r8.c9) AND 
(r2.c9 <> r9.c9) AND 
(r3.c1 <> r4.c1) AND 
(r3.c1 <> r5.c1) AND 
(r3.c1 <> r6.c1) AND 
(r3.c1 <> r7.c1) AND 
(r3.c1 <> r8.c1) AND 
(r3.c1 <> r9.c1) AND 
(r3.c2 <> r4.c2) AND 
(r3.c2 <> r5.c2) AND 
(r3.c2 <> r6.c2) AND 
(r3.c2 <> r7.c2) AND 
(r3.c2 <> r8.c2) AND 
(r3.c2 <> r9.c2) AND 
(r3.c3 <> r4.c3) AND 
(r3.c3 <> r5.c3) AND 
(r3.c3 <> r6.c3) AND 
(r3.c3 <> r7.c3) AND 
(r3.c3 <> r8.c3) AND 
(r3.c3 <> r9.c3) AND 
(r3.c4 <> r4.c4) AND 
(r3.c4 <> r5.c4) AND 
(r3.c4 <> r6.c4) AND 
(r3.c4 <> r7.c4) AND 
(r3.c4 <> r8.c4) AND 
(r3.c4 <> r9.c4) AND 
(r3.c5 <> r4.c5) AND 
(r3.c5 <> r5.c5) AND 
(r3.c5 <> r6.c5) AND 
(r3.c5 <> r7.c5) AND 
(r3.c5 <> r8.c5) AND 
(r3.c5 <> r9.c5) AND 
(r3.c6 <> r4.c6) AND 
(r3.c6 <> r5.c6) AND 
(r3.c6 <> r6.c6) AND 
(r3.c6 <> r7.c6) AND 
(r3.c6 <> r8.c6) AND 
(r3.c6 <> r9.c6) AND 
(r3.c7 <> r4.c7) AND 
(r3.c7 <> r5.c7) AND 
(r3.c7 <> r6.c7) AND 
(r3.c7 <> r7.c7) AND 
(r3.c7 <> r8.c7) AND 
(r3.c7 <> r9.c7) AND 
(r3.c8 <> r4.c8) AND 
(r3.c8 <> r5.c8) AND 
(r3.c8 <> r6.c8) AND 
(r3.c8 <> r7.c8) AND 
(r3.c8 <> r8.c8) AND 
(r3.c8 <> r9.c8) AND 
(r3.c9 <> r4.c9) AND 
(r3.c9 <> r5.c9) AND 
(r3.c9 <> r6.c9) AND 
(r3.c9 <> r7.c9) AND 
(r3.c9 <> r8.c9) AND 
(r3.c9 <> r9.c9) AND 
(r4.c1 <> r5.c1) AND 
(r4.c1 <> r6.c1) AND 
(r4.c1 <> r7.c1) AND 
(r4.c1 <> r8.c1) AND 
(r4.c1 <> r9.c1) AND 
(r4.c2 <> r5.c2) AND 
(r4.c2 <> r6.c2) AND 
(r4.c2 <> r7.c2) AND 
(r4.c2 <> r8.c2) AND 
(r4.c2 <> r9.c2) AND 
(r4.c3 <> r5.c3) AND 
(r4.c3 <> r6.c3) AND 
(r4.c3 <> r7.c3) AND 
(r4.c3 <> r8.c3) AND 
(r4.c3 <> r9.c3) AND 
(r4.c4 <> r5.c4) AND 
(r4.c4 <> r6.c4) AND 
(r4.c4 <> r7.c4) AND 
(r4.c4 <> r8.c4) AND 
(r4.c4 <> r9.c4) AND 
(r4.c5 <> r5.c5) AND 
(r4.c5 <> r6.c5) AND 
(r4.c5 <> r7.c5) AND 
(r4.c5 <> r8.c5) AND 
(r4.c5 <> r9.c5) AND 
(r4.c6 <> r5.c6) AND 
(r4.c6 <> r6.c6) AND 
(r4.c6 <> r7.c6) AND 
(r4.c6 <> r8.c6) AND 
(r4.c6 <> r9.c6) AND 
(r4.c7 <> r5.c7) AND 
(r4.c7 <> r6.c7) AND 
(r4.c7 <> r7.c7) AND 
(r4.c7 <> r8.c7) AND 
(r4.c7 <> r9.c7) AND 
(r4.c8 <> r5.c8) AND 
(r4.c8 <> r6.c8) AND 
(r4.c8 <> r7.c8) AND 
(r4.c8 <> r8.c8) AND 
(r4.c8 <> r9.c8) AND 
(r4.c9 <> r5.c9) AND 
(r4.c9 <> r6.c9) AND 
(r4.c9 <> r7.c9) AND 
(r4.c9 <> r8.c9) AND 
(r4.c9 <> r9.c9) AND 
(r5.c1 <> r6.c1) AND 
(r5.c1 <> r7.c1) AND 
(r5.c1 <> r8.c1) AND 
(r5.c1 <> r9.c1) AND 
(r5.c2 <> r6.c2) AND 
(r5.c2 <> r7.c2) AND 
(r5.c2 <> r8.c2) AND 
(r5.c2 <> r9.c2) AND 
(r5.c3 <> r6.c3) AND 
(r5.c3 <> r7.c3) AND 
(r5.c3 <> r8.c3) AND 
(r5.c3 <> r9.c3) AND 
(r5.c4 <> r6.c4) AND 
(r5.c4 <> r7.c4) AND 
(r5.c4 <> r8.c4) AND 
(r5.c4 <> r9.c4) AND 
(r5.c5 <> r6.c5) AND 
(r5.c5 <> r7.c5) AND 
(r5.c5 <> r8.c5) AND 
(r5.c5 <> r9.c5) AND 
(r5.c6 <> r6.c6) AND 
(r5.c6 <> r7.c6) AND 
(r5.c6 <> r8.c6) AND 
(r5.c6 <> r9.c6) AND 
(r5.c7 <> r6.c7) AND 
(r5.c7 <> r7.c7) AND 
(r5.c7 <> r8.c7) AND 
(r5.c7 <> r9.c7) AND 
(r5.c8 <> r6.c8) AND 
(r5.c8 <> r7.c8) AND 
(r5.c8 <> r8.c8) AND 
(r5.c8 <> r9.c8) AND 
(r5.c9 <> r6.c9) AND 
(r5.c9 <> r7.c9) AND 
(r5.c9 <> r8.c9) AND 
(r5.c9 <> r9.c9) AND 
(r6.c1 <> r7.c1) AND 
(r6.c1 <> r8.c1) AND 
(r6.c1 <> r9.c1) AND 
(r6.c2 <> r7.c2) AND 
(r6.c2 <> r8.c2) AND 
(r6.c2 <> r9.c2) AND 
(r6.c3 <> r7.c3) AND 
(r6.c3 <> r8.c3) AND 
(r6.c3 <> r9.c3) AND 
(r6.c4 <> r7.c4) AND 
(r6.c4 <> r8.c4) AND 
(r6.c4 <> r9.c4) AND 
(r6.c5 <> r7.c5) AND 
(r6.c5 <> r8.c5) AND 
(r6.c5 <> r9.c5) AND 
(r6.c6 <> r7.c6) AND 
(r6.c6 <> r8.c6) AND 
(r6.c6 <> r9.c6) AND 
(r6.c7 <> r7.c7) AND 
(r6.c7 <> r8.c7) AND 
(r6.c7 <> r9.c7) AND 
(r6.c8 <> r7.c8) AND 
(r6.c8 <> r8.c8) AND 
(r6.c8 <> r9.c8) AND 
(r6.c9 <> r7.c9) AND 
(r6.c9 <> r8.c9) AND 
(r6.c9 <> r9.c9) AND 
(r7.c1 <> r8.c1) AND 
(r7.c1 <> r9.c1) AND 
(r7.c2 <> r8.c2) AND 
(r7.c2 <> r9.c2) AND 
(r7.c3 <> r8.c3) AND 
(r7.c3 <> r9.c3) AND 
(r7.c4 <> r8.c4) AND 
(r7.c4 <> r9.c4) AND 
(r7.c5 <> r8.c5) AND 
(r7.c5 <> r9.c5) AND 
(r7.c6 <> r8.c6) AND 
(r7.c6 <> r9.c6) AND 
(r7.c7 <> r8.c7) AND 
(r7.c7 <> r9.c7) AND 
(r7.c8 <> r8.c8) AND 
(r7.c8 <> r9.c8) AND 
(r7.c9 <> r8.c9) AND 
(r7.c9 <> r9.c9) AND 
(r8.c1 <> r9.c1) AND 
(r8.c2 <> r9.c2) AND 
(r8.c3 <> r9.c3) AND 
(r8.c4 <> r9.c4) AND 
(r8.c5 <> r9.c5) AND 
(r8.c6 <> r9.c6) AND 
(r8.c7 <> r9.c7) AND 
(r8.c8 <> r9.c8) AND 
(r8.c9 <> r9.c9) AND 

-- Unique within 3x3 square
(r1.c1 <> r1.c2) AND 
(r1.c1 <> r1.c3) AND 
(r1.c1 <> r2.c2) AND 
(r1.c1 <> r2.c3) AND 
(r1.c1 <> r3.c2) AND 
(r1.c1 <> r3.c3) AND 
(r1.c2 <> r1.c3) AND 
(r1.c2 <> r2.c1) AND 
(r1.c2 <> r2.c3) AND 
(r1.c2 <> r3.c1) AND 
(r1.c2 <> r3.c3) AND 
(r1.c3 <> r2.c1) AND 
(r1.c3 <> r2.c2) AND 
(r1.c3 <> r3.c1) AND 
(r1.c3 <> r3.c2) AND 
(r1.c4 <> r1.c5) AND 
(r1.c4 <> r1.c6) AND 
(r1.c4 <> r2.c5) AND 
(r1.c4 <> r2.c6) AND 
(r1.c4 <> r3.c5) AND 
(r1.c4 <> r3.c6) AND 
(r1.c5 <> r1.c6) AND 
(r1.c5 <> r2.c4) AND 
(r1.c5 <> r2.c6) AND 
(r1.c5 <> r3.c4) AND 
(r1.c5 <> r3.c6) AND 
(r1.c6 <> r2.c4) AND 
(r1.c6 <> r2.c5) AND 
(r1.c6 <> r3.c4) AND 
(r1.c6 <> r3.c5) AND 
(r1.c7 <> r1.c8) AND 
(r1.c7 <> r1.c9) AND 
(r1.c7 <> r2.c8) AND 
(r1.c7 <> r2.c9) AND 
(r1.c7 <> r3.c8) AND 
(r1.c7 <> r3.c9) AND 
(r1.c8 <> r1.c9) AND 
(r1.c8 <> r2.c7) AND 
(r1.c8 <> r2.c9) AND 
(r1.c8 <> r3.c7) AND 
(r1.c8 <> r3.c9) AND 
(r1.c9 <> r2.c7) AND 
(r1.c9 <> r2.c8) AND 
(r1.c9 <> r3.c7) AND 
(r1.c9 <> r3.c8) AND 
(r2.c1 <> r2.c2) AND 
(r2.c1 <> r2.c3) AND 
(r2.c1 <> r3.c2) AND 
(r2.c1 <> r3.c3) AND 
(r2.c2 <> r2.c3) AND 
(r2.c2 <> r3.c1) AND 
(r2.c2 <> r3.c3) AND 
(r2.c3 <> r3.c1) AND 
(r2.c3 <> r3.c2) AND 
(r2.c4 <> r2.c5) AND 
(r2.c4 <> r2.c6) AND 
(r2.c4 <> r3.c5) AND 
(r2.c4 <> r3.c6) AND 
(r2.c5 <> r2.c6) AND 
(r2.c5 <> r3.c4) AND 
(r2.c5 <> r3.c6) AND 
(r2.c6 <> r3.c4) AND 
(r2.c6 <> r3.c5) AND 
(r2.c7 <> r2.c8) AND 
(r2.c7 <> r2.c9) AND 
(r2.c7 <> r3.c8) AND 
(r2.c7 <> r3.c9) AND 
(r2.c8 <> r2.c9) AND 
(r2.c8 <> r3.c7) AND 
(r2.c8 <> r3.c9) AND 
(r2.c9 <> r3.c7) AND 
(r2.c9 <> r3.c8) AND 
(r3.c1 <> r3.c2) AND 
(r3.c1 <> r3.c3) AND 
(r3.c2 <> r3.c3) AND 
(r3.c4 <> r3.c5) AND 
(r3.c4 <> r3.c6) AND 
(r3.c5 <> r3.c6) AND 
(r3.c7 <> r3.c8) AND 
(r3.c7 <> r3.c9) AND 
(r3.c8 <> r3.c9) AND 
(r4.c1 <> r4.c2) AND 
(r4.c1 <> r4.c3) AND 
(r4.c1 <> r5.c2) AND 
(r4.c1 <> r5.c3) AND 
(r4.c1 <> r6.c2) AND 
(r4.c1 <> r6.c3) AND 
(r4.c2 <> r4.c3) AND 
(r4.c2 <> r5.c1) AND 
(r4.c2 <> r5.c3) AND 
(r4.c2 <> r6.c1) AND 
(r4.c2 <> r6.c3) AND 
(r4.c3 <> r5.c1) AND 
(r4.c3 <> r5.c2) AND 
(r4.c3 <> r6.c1) AND 
(r4.c3 <> r6.c2) AND 
(r4.c4 <> r4.c5) AND 
(r4.c4 <> r4.c6) AND 
(r4.c4 <> r5.c5) AND 
(r4.c4 <> r5.c6) AND 
(r4.c4 <> r6.c5) AND 
(r4.c4 <> r6.c6) AND 
(r4.c5 <> r4.c6) AND 
(r4.c5 <> r5.c4) AND 
(r4.c5 <> r5.c6) AND 
(r4.c5 <> r6.c4) AND 
(r4.c5 <> r6.c6) AND 
(r4.c6 <> r5.c4) AND 
(r4.c6 <> r5.c5) AND 
(r4.c6 <> r6.c4) AND 
(r4.c6 <> r6.c5) AND 
(r4.c7 <> r4.c8) AND 
(r4.c7 <> r4.c9) AND 
(r4.c7 <> r5.c8) AND 
(r4.c7 <> r5.c9) AND 
(r4.c7 <> r6.c8) AND 
(r4.c7 <> r6.c9) AND 
(r4.c8 <> r4.c9) AND 
(r4.c8 <> r5.c7) AND 
(r4.c8 <> r5.c9) AND 
(r4.c8 <> r6.c7) AND 
(r4.c8 <> r6.c9) AND 
(r4.c9 <> r5.c7) AND 
(r4.c9 <> r5.c8) AND 
(r4.c9 <> r6.c7) AND 
(r4.c9 <> r6.c8) AND 
(r5.c1 <> r5.c2) AND 
(r5.c1 <> r5.c3) AND 
(r5.c1 <> r6.c2) AND 
(r5.c1 <> r6.c3) AND 
(r5.c2 <> r5.c3) AND 
(r5.c2 <> r6.c1) AND 
(r5.c2 <> r6.c3) AND 
(r5.c3 <> r6.c1) AND 
(r5.c3 <> r6.c2) AND 
(r5.c4 <> r5.c5) AND 
(r5.c4 <> r5.c6) AND 
(r5.c4 <> r6.c5) AND 
(r5.c4 <> r6.c6) AND 
(r5.c5 <> r5.c6) AND 
(r5.c5 <> r6.c4) AND 
(r5.c5 <> r6.c6) AND 
(r5.c6 <> r6.c4) AND 
(r5.c6 <> r6.c5) AND 
(r5.c7 <> r5.c8) AND 
(r5.c7 <> r5.c9) AND 
(r5.c7 <> r6.c8) AND 
(r5.c7 <> r6.c9) AND 
(r5.c8 <> r5.c9) AND 
(r5.c8 <> r6.c7) AND 
(r5.c8 <> r6.c9) AND 
(r5.c9 <> r6.c7) AND 
(r5.c9 <> r6.c8) AND 
(r6.c1 <> r6.c2) AND 
(r6.c1 <> r6.c3) AND 
(r6.c2 <> r6.c3) AND 
(r6.c4 <> r6.c5) AND 
(r6.c4 <> r6.c6) AND 
(r6.c5 <> r6.c6) AND 
(r6.c7 <> r6.c8) AND 
(r6.c7 <> r6.c9) AND 
(r6.c8 <> r6.c9) AND 
(r7.c1 <> r7.c2) AND 
(r7.c1 <> r7.c3) AND 
(r7.c1 <> r8.c2) AND 
(r7.c1 <> r8.c3) AND 
(r7.c1 <> r9.c2) AND 
(r7.c1 <> r9.c3) AND 
(r7.c2 <> r7.c3) AND 
(r7.c2 <> r8.c1) AND 
(r7.c2 <> r8.c3) AND 
(r7.c2 <> r9.c1) AND 
(r7.c2 <> r9.c3) AND 
(r7.c3 <> r8.c1) AND 
(r7.c3 <> r8.c2) AND 
(r7.c3 <> r9.c1) AND 
(r7.c3 <> r9.c2) AND 
(r7.c4 <> r7.c5) AND 
(r7.c4 <> r7.c6) AND 
(r7.c4 <> r8.c5) AND 
(r7.c4 <> r8.c6) AND 
(r7.c4 <> r9.c5) AND 
(r7.c4 <> r9.c6) AND 
(r7.c5 <> r7.c6) AND 
(r7.c5 <> r8.c4) AND 
(r7.c5 <> r8.c6) AND 
(r7.c5 <> r9.c4) AND 
(r7.c5 <> r9.c6) AND 
(r7.c6 <> r8.c4) AND 
(r7.c6 <> r8.c5) AND 
(r7.c6 <> r9.c4) AND 
(r7.c6 <> r9.c5) AND 
(r7.c7 <> r7.c8) AND 
(r7.c7 <> r7.c9) AND 
(r7.c7 <> r8.c8) AND 
(r7.c7 <> r8.c9) AND 
(r7.c7 <> r9.c8) AND 
(r7.c7 <> r9.c9) AND 
(r7.c8 <> r7.c9) AND 
(r7.c8 <> r8.c7) AND 
(r7.c8 <> r8.c9) AND 
(r7.c8 <> r9.c7) AND 
(r7.c8 <> r9.c9) AND 
(r7.c9 <> r8.c7) AND 
(r7.c9 <> r8.c8) AND 
(r7.c9 <> r9.c7) AND 
(r7.c9 <> r9.c8) AND 
(r8.c1 <> r8.c2) AND 
(r8.c1 <> r8.c3) AND 
(r8.c1 <> r9.c2) AND 
(r8.c1 <> r9.c3) AND 
(r8.c2 <> r8.c3) AND 
(r8.c2 <> r9.c1) AND 
(r8.c2 <> r9.c3) AND 
(r8.c3 <> r9.c1) AND 
(r8.c3 <> r9.c2) AND 
(r8.c4 <> r8.c5) AND 
(r8.c4 <> r8.c6) AND 
(r8.c4 <> r9.c5) AND 
(r8.c4 <> r9.c6) AND 
(r8.c5 <> r8.c6) AND 
(r8.c5 <> r9.c4) AND 
(r8.c5 <> r9.c6) AND 
(r8.c6 <> r9.c4) AND 
(r8.c6 <> r9.c5) AND 
(r8.c7 <> r8.c8) AND 
(r8.c7 <> r8.c9) AND 
(r8.c7 <> r9.c8) AND 
(r8.c7 <> r9.c9) AND 
(r8.c8 <> r8.c9) AND 
(r8.c8 <> r9.c7) AND 
(r8.c8 <> r9.c9) AND 
(r8.c9 <> r9.c7) AND 
(r8.c9 <> r9.c8) AND 
(r9.c1 <> r9.c2) AND 
(r9.c1 <> r9.c3) AND 
(r9.c2 <> r9.c3) AND 
(r9.c4 <> r9.c5) AND 
(r9.c4 <> r9.c6) AND 
(r9.c5 <> r9.c6) AND 
(r9.c7 <> r9.c8) AND 
(r9.c7 <> r9.c9) AND 
(r9.c8 <> r9.c9) AND

-- Puzzle constraints


r1.c1=5 and
r1.c2=3 and
r1.c5=7 and
r2.c1=6 and
r2.c4=1 and
r2.c5=9 and
r2.c6=5 and
r3.c2=9 and
r3.c3=8 and
r3.c8=6 and
r4.c1=8 and
r4.c5=6 and
r4.c9=3 and
r5.c1=4 and
r5.c4=8 and
r5.c6=3 and
r5.c9=1 and
r6.c1=7 and
r6.c5=2 and
r6.c9=6 and
r7.c2=6 and
r7.c7=2 and
r7.c8=8 and
r8.c4=4 and
r8.c5=1 and
r8.c6=9 and
r8.c9=5 and
r9.c5=8 and
r9.c8=7 and
r9.c9=9