***********************************************************************************************
*** SudoRules 20.1.s based on CSP-Rules 2.1.s, config = Z+SFin
*** Using CLIPS 6.32-r770
***********************************************************************************************
hidden-single-in-a-column ==> r2c4 = 8
228 candidates, 1603 csp-links and 1603 links. Density = 6.19%
naked-pairs-in-a-row: r2{c1 c7}{n7 n9} ==> r2c8 ≠ 9, r2c8 ≠ 7, r2c5 ≠ 9, r2c5 ≠ 7, r2c2 ≠ 7
naked-pairs-in-a-block: b1{r1c3 r2c1}{n7 n9} ==> r3c3 ≠ 9, r3c3 ≠ 7, r3c1 ≠ 9, r3c1 ≠ 7, r1c2 ≠ 7
hidden-pairs-in-a-block: b8{r8c5 r9c6}{n2 n3} ==> r9c6 ≠ 9, r9c6 ≠ 7, r9c6 ≠ 6, r8c5 ≠ 9, r8c5 ≠ 7
hidden-pairs-in-a-block: b4{r5c2 r6c3}{n1 n3} ==> r6c3 ≠ 7, r5c2 ≠ 7, r5c2 ≠ 6
x-wing-in-columns: n8{c1 c7}{r5 r8} ==> r8c8 ≠ 8, r5c8 ≠ 8
naked-triplets-in-a-row: r8{c1 c4 c7}{n8 n9 n7} ==> r8c8 ≠ 9, r8c8 ≠ 7, r8c2 ≠ 7
naked-triplets-in-a-column: c2{r2 r5 r8}{n2 n3 n1} ==> r9c2 ≠ 2, r9c2 ≠ 1
hidden-pairs-in-a-block: b7{r8c2 r9c3}{n1 n2} ==> r9c3 ≠ 9, r9c3 ≠ 7
naked-triplets-in-a-column: c9{r1 r4 r7}{n9 n8 n7} ==> r9c9 ≠ 9, r9c9 ≠ 7, r6c9 ≠ 7, r3c9 ≠ 9, r3c9 ≠ 7
naked-pairs-in-a-block: b3{r2c8 r3c9}{n1 n2} ==> r3c8 ≠ 2, r3c8 ≠ 1
naked-pairs-in-a-block: b9{r8c8 r9c9}{n1 n3} ==> r9c8 ≠ 3, r9c8 ≠ 1
naked-triplets-in-a-column: c6{r1 r4 r7}{n9 n7 n6} ==> r5c6 ≠ 9, r5c6 ≠ 7, r5c6 ≠ 6, r3c6 ≠ 9, r3c6 ≠ 7, r3c6 ≠ 6
naked-pairs-in-a-block: b2{r2c5 r3c6}{n1 n3} ==> r3c5 ≠ 3, r3c5 ≠ 1
swordfish-in-columns: n4{c1 c4 c7}{r9 r6 r3} ==> r9c8 ≠ 4, r9c2 ≠ 4, r6c5 ≠ 4, r3c8 ≠ 4, r3c5 ≠ 4
swordfish-in-columns: n9{c3 c6 c9}{r7 r1 r4} ==> r7c8 ≠ 9, r7c5 ≠ 9, r4c8 ≠ 9, r4c5 ≠ 9, r1c8 ≠ 9, r1c5 ≠ 9
swordfish-in-columns: n7{c3 c6 c9}{r7 r4 r1} ==> r7c8 ≠ 7, r7c5 ≠ 7, r7c2 ≠ 7, r4c8 ≠ 7, r4c5 ≠ 7, r4c2 ≠ 7, r1c8 ≠ 7, r1c5 ≠ 7
hidden-single-in-a-column ==> r9c2 = 7
naked-pairs-in-a-block: b7{r7c3 r8c1}{n8 n9} ==> r9c1 ≠ 9
naked-triplets-in-a-column: c5{r1 r4 r7}{n6 n4 n5} ==> r6c5 ≠ 6, r6c5 ≠ 5, r5c5 ≠ 6, r3c5 ≠ 6
hidden-pairs-in-a-block: b5{r4c5 r6c4}{n4 n5} ==> r6c4 ≠ 7, r6c4 ≠ 6, r4c5 ≠ 6
swordfish-in-columns: n6{c2 c5 c6}{r4 r1 r7} ==> r7c8 ≠ 6, r4c8 ≠ 6
whip[1]: b9n6{r9c8 .} ==> r9c4 ≠ 6
naked-triplets-in-a-column: c8{r1 r4 r7}{n4 n5 n8} ==> r6c8 ≠ 5, r3c8 ≠ 5
naked-pairs-in-a-block: b3{r2c7 r3c8}{n7 n9} ==> r3c7 ≠ 9, r3c7 ≠ 7, r1c9 ≠ 9, r1c9 ≠ 7
naked-single ==> r1c9 = 8
naked-pairs-in-a-row: r3{c5 c8}{n7 n9} ==> r3c4 ≠ 9, r3c4 ≠ 7
naked-pairs-in-a-block: b2{r1c5 r3c4}{n4 n6} ==> r1c6 ≠ 6
biv-chain[2]: c5n9{r5 r3} - b3n9{r3c8 r2c7} ==> r5c7 ≠ 9
swordfish-in-columns: n3{c3 c6 c9}{r6 r3 r9} ==> r6c8 ≠ 3
finned-swordfish-in-columns: n1{c2 c8 c6}{r5 r8 r2} ==> r2c5 ≠ 1
stte
724835916
583691472
247356189
835912764
691478523
358169247
916724835
472583691