***********************************************************************************************
*** SudoRules 20.1.s based on CSP-Rules 2.1.s, config = W+SFin
*** Using CLIPS 6.32-r779
***********************************************************************************************
158 candidates, 839 csp-links and 839 links. Density = 6.76%
z-chain[3]: r1n5{c2 c6} - c6n9{r1 r2} - r2n7{c6 .} ==> r1c2 ≠ 7
z-chain[3]: r1n5{c2 c6} - c6n9{r1 r2} - r2n8{c6 .} ==> r1c2 ≠ 8
z-chain[3]: b3n8{r1c8 r3c8} - c5n8{r3 r9} - c2n8{r9 .} ==> r1c1 ≠ 8
z-chain[3]: r1c1{n7 n4} - r3n4{c3 c8} - b3n7{r3c8 .} ==> r1c6 ≠ 7
z-chain[3]: c2n6{r2 r4} - c2n2{r4 r1} - r2c3{n2 .} ==> r2c2 ≠ 7
t-whip[3]: r9n2{c9 c8} - r5c8{n2 n4} - c9n4{r6 .} ==> r1c9 ≠ 2
t-whip[3]: r3n4{c8 c3} - r1c1{n4 n7} - b3n7{r1c8 .} ==> r3c8 ≠ 8
whip[1]: b3n8{r1c8 .} ==> r1c6 ≠ 8
biv-chain-rc[3]: r1c9{n9 n4} - r3c8{n4 n7} - r8c8{n7 n9} ==> r1c8 ≠ 9, r8c9 ≠ 9
hidden-single-in-a-block ==> r8c8 = 9
t-whip[3]: r3c8{n7 n4} - r5c8{n4 n2} - c7n2{r6 .} ==> r1c7 ≠ 7
whip[1]: c7n7{r8 .} ==> r7c8 ≠ 7, r9c8 ≠ 7
biv-chain[3]: r1n7{c1 c8} - c8n8{r1 r6} - r6c4{n8 n7} ==> r6c1 ≠ 7
t-whip[3]: r5c8{n4 n2} - c7n2{r6 r1} - r1n8{c7 .} ==> r1c8 ≠ 4
biv-chain-rc[4]: r1c1{n7 n4} - r1c9{n4 n9} - r2c9{n9 n2} - r2c3{n2 n7} ==> r2c1 ≠ 7, r3c2 ≠ 7, r3c3 ≠ 7
finned-x-wing-in-rows: n7{r2 r6}{c3 c6} ==> r4c6 ≠ 7
whip[1]: b5n7{r6c6 .} ==> r6c3 ≠ 7
whip[3]: r2c3{n7 n2} - c2n2{r2 r4} - c2n7{r4 .} ==> r9c3 ≠ 7
whip[3]: r2c3{n7 n2} - c2n2{r2 r4} - c2n7{r4 .} ==> r7c3 ≠ 7
biv-chain-rn[4]: r2n7{c6 c3} - r1n7{c1 c8} - r1n8{c8 c7} - r4n8{c7 c6} ==> r2c6 ≠ 8
whip[1]: b2n8{r3c6 .} ==> r3c2 ≠ 8
hidden-pairs-in-a-block: b1{n6 n8}{r2c1 r2c2} ==> r2c2 ≠ 2
finned-x-wing-in-columns: n2{c2 c7}{r1 r4} ==> r4c9 ≠ 2
biv-chain-rc[3]: r4c9{n1 n4} - r5c8{n4 n2} - r9c8{n2 n1} ==> r6c8 ≠ 1, r9c9 ≠ 1
biv-chain[3]: c2n2{r4 r1} - r1c7{n2 n8} - r4n8{c7 c6} ==> r4c6 ≠ 2
biv-chain[4]: r2c9{n9 n2} - b9n2{r9c9 r9c8} - r5c8{n2 n4} - b3n4{r3c8 r1c9} ==> r1c9 ≠ 9
stte