***********************************************************************************************

*** SudoRules 20.1.s based on CSP-Rules 2.1.s, config = W+SFin

*** Using CLIPS 6.32-r779

***********************************************************************************************

167 candidates, 1085 csp-links and 1085 links. Density = 7.83%

x-wing-in-columns: n5{c4 c7}{r4 r9} ==> r9c6 ≠ 5, r9c3 ≠ 5, r4c9 ≠ 5, r4c8 ≠ 5, r4c6 ≠ 5, r4c5 ≠ 5

x-wing-in-rows: n5{r2 r8}{c3 c8} ==> r7c3 ≠ 5, r3c8 ≠ 5, r3c3 ≠ 5, r1c3 ≠ 5

biv-chain[3]: r1c5{n2 n5} - b3n5{r1c9 r2c8} - r2n2{c8 c3} ==> r1c1 ≠ 2, r1c2 ≠ 2, r1c3 ≠ 2

biv-chain[3]: r1c5{n2 n5} - b8n5{r7c5 r9c4} - c4n2{r9 r4} ==> r4c5 ≠ 2, r5c5 ≠ 2, r6c5 ≠ 2

z-chain-bn[3]: b5n2{r4c6 r5c6} - b2n2{r3c6 r1c5} - b3n2{r1c9 .} ==> r4c8 ≠ 2

z-chain-bn[3]: b1n2{r3c3 r3c2} - b2n2{r3c6 r1c5} - b8n2{r7c5 .} ==> r9c3 ≠ 2

z-chain-rc[3]: r6c7{n6 n8} - r6c2{n8 n2} - r5c2{n2 .} ==> r6c3 ≠ 6

z-chain-rc[3]: r8c1{n6 n7} - r5c1{n7 n2} - r5c2{n2 .} ==> r4c1 ≠ 6

biv-chain[4]: r2c3{n2 n5} - b3n5{r2c8 r1c9} - b6n5{r5c9 r4c7} - r4c4{n5 n2} ==> r4c3 ≠ 2

z-chain[5]: c6n5{r5 r3} - r1c5{n5 n2} - r1c9{n2 n8} - b9n8{r7c9 r9c7} - c7n5{r9 .} ==> r5c9 ≠ 5

singles ==> r4c7 = 5, r4c4 = 2, r9c4 = 5, r9c7 = 8, r6c7 = 6

biv-chain-rc[3]: r1c5{n5 n2} - r7c5{n2 n7} - r7c9{n7 n5} ==> r1c9 ≠ 5

singles ==> r2c8 = 5, r2c3 = 2, r8c8 = 7, r7c9 = 5, r8c1 = 6, r8c3 = 5

biv-chain[3]: r5c1{n7 n2} - r9n2{c1 c6} - b8n7{r9c6 r7c5} ==> r7c1 ≠ 7, r5c5 ≠ 7

biv-chain[3]: r7n7{c3 c5} - r6c5{n7 n1} - r5n1{c5 c3} ==> r5c3 ≠ 7

biv-chain[3]: b3n8{r1c9 r3c8} - c8n2{r3 r6} - r6c2{n2 n8} ==> r6c9 ≠ 8, r1c2 ≠ 8

biv-chain[3]: c9n8{r4 r1} - r1c1{n8 n3} - c2n3{r1 r4} ==> r4c2 ≠ 8

biv-chain[4]: r6c5{n1 n7} - r7c5{n7 n2} - c6n2{r9 r3} - c8n2{r3 r6} ==> r6c8 ≠ 1

hidden-single-in-a-block ==> r4c8 = 1

naked-pairs-in-a-row: r6{c2 c8}{n2 n8} ==> r6c9 ≠ 2, r6c3 ≠ 8

finned-swordfish-in-rows: n2{r3 r6 r9}{c6 c8 c2} ==> r7c2 ≠ 2

whip[1]: b7n2{r9c1 .} ==> r5c1 ≠ 2

naked-single ==> r5c1 = 7

biv-chain-rc[3]: r6c3{n9 n1} - r6c5{n1 n7} - r4c6{n7 n9} ==> r4c3 ≠ 9

hidden-pairs-in-a-block: b4{r5c3 r6c3}{n1 n9} ==> r5c3 ≠ 6

biv-chain[4]: r9c3{n3 n7} - r7n7{c3 c5} - r4c5{n7 n6} - c3n6{r4 r1} ==> r1c3 ≠ 3

biv-chain[4]: b8n2{r7c5 r9c6} - r9c1{n2 n3} - r1n3{c1 c2} - r1n5{c2 c5} ==> r1c5 ≠ 2

stte