***********************************************************************************************
*** SudoRules 20.1.s based on CSP-Rules 2.1.s, config = W+SFin
*** Using CLIPS 6.32-r779
*** Download from:
https://github.com/denis-berthier/CSP-Rules-V2.1***********************************************************************************************
6 singles
201 candidates, 1185 csp-links and 1185 links. Density = 5.9%
whip[1]: c8n7{r9 .} ==> r9c7 ≠ 7
whip[1]: c8n5{r9 .} ==> r9c7 ≠ 5, r8c7 ≠ 5
whip[1]: r2n9{c3 .} ==> r3c3 ≠ 9, r1c1 ≠ 9, r3c2 ≠ 9
whip[1]: c1n9{r9 .} ==> r7c2 ≠ 9, r9c2 ≠ 9, r9c3 ≠ 9
whip[1]: r2n8{c3 .} ==> r3c3 ≠ 8, r1c1 ≠ 8, r3c2 ≠ 8
whip[1]: r1n8{c6 .} ==> r3c4 ≠ 8, r3c6 ≠ 8
whip[1]: b6n6{r6c7 .} ==> r9c7 ≠ 6, r3c7 ≠ 6, r8c7 ≠ 6
Entering_relation_bivalue_with_<Fact-13376>
Entering_level_S2_with_<Fact-13489>
hidden-pairs-in-a-column: c3{n1 n5}{r8 r9} ==> r9c3 ≠ 7, r9c3 ≠ 4, r9c3 ≠ 3, r8c3 ≠ 8, r8c3 ≠ 4, r8c3 ≠ 3
biv-chain[3]: r1c1{n7 n6} - r1c9{n6 n9} - r7n9{c9 c1} ==> r7c1 ≠ 7
z-chain[3]: r7n7{c2 c8} - r7n8{c8 c1} - r8c1{n8 .} ==> r7c2 ≠ 3
biv-chain[4]: r8c1{n3 n8} - c7n8{r8 r3} - b3n9{r3c7 r1c9} - r7n9{c9 c1} ==> r7c1 ≠ 3
z-chain[4]: c2n2{r8 r9} - c2n4{r9 r7} - r7n7{c2 c8} - r7n8{c8 .} ==> r8c2 ≠ 8
biv-chain[5]: r3c8{n6 n8} - c7n8{r3 r8} - r8n4{c7 c2} - r8n2{c2 c5} - b8n6{r8c5 r9c4} ==> r9c8 ≠ 6
biv-chain[4]: r9n6{c4 c9} - r1c9{n6 n9} - r3n9{c7 c6} - b2n2{r3c6 r3c4} ==> r9c4 ≠ 2
z-chain[5]: r7n7{c2 c8} - r7n8{c8 c1} - c1n9{r7 r9} - r9c7{n9 n4} - r8n4{c7 .} ==> r7c2 ≠ 4
whip[1]: r7n4{c6 .} ==> r9c4 ≠ 4, r9c6 ≠ 4
hidden-pairs-in-a-block: b7{n2 n4}{r8c2 r9c2} ==> r9c2 ≠ 7, r9c2 ≠ 3, r8c2 ≠ 3
whip[1]: b7n3{r9c1 .} ==> r6c1 ≠ 3
biv-chain[4]: r3c6{n2 n9} - c7n9{r3 r9} - r9n4{c7 c2} - r9n2{c2 c6} ==> r5c6 ≠ 2
z-chain-rc[6]: r1c9{n9 n6} - r1c1{n6 n7} - r9c1{n7 n3} - r8c1{n3 n8} - r8c7{n8 n4} - r9c7{n4 .} ==> r9c9 ≠ 9
z-chain[4]: r9n2{c6 c2} - r9n4{c2 c7} - b9n9{r9c7 r7c9} - r7n3{c9 .} ==> r9c6 ≠ 3
z-chain[4]: r9n2{c6 c2} - r9n4{c2 c7} - b9n9{r9c7 r7c9} - r7n1{c9 .} ==> r9c6 ≠ 1
z-chain[5]: r6n1{c6 c4} - r6n4{c4 c3} - r6n3{c3 c5} - c6n3{r4 r7} - c6n1{r7 .} ==> r6c6 ≠ 8
z-chain[5]: r6c7{n6 n7} - r6c1{n7 n8} - r8c1{n8 n3} - r9n3{c1 c9} - r9n6{c9 .} ==> r6c4 ≠ 6
t-whip[5]: r9n6{c4 c9} - r9n3{c9 c1} - r8c1{n3 n8} - r8c8{n8 n5} - c3n5{r8 .} ==> r9c4 ≠ 5
t-whip[5]: c6n4{r6 r7} - c6n1{r7 r6} - c6n3{r6 r4} - b4n3{r4c2 r6c3} - r6n4{c3 .} ==> r5c4 ≠ 4
t-whip[5]: c6n3{r6 r7} - c6n1{r7 r6} - c6n4{r6 r5} - c3n4{r5 r6} - r6n3{c3 .} ==> r4c5 ≠ 3
whip[5]: c6n1{r7 r6} - c6n4{r6 r5} - c3n4{r5 r6} - r6n3{c3 c5} - r7c5{n3 .} ==> r7c6 ≠ 5
z-chain[6]: c4n4{r6 r7} - c4n1{r7 r9} - r9n6{c4 c9} - r9n3{c9 c1} - c1n7{r9 r1} - c5n7{r1 .} ==> r6c4 ≠ 7
t-whip[6]: r3n9{c6 c7} - r1c9{n9 n6} - r3n6{c8 c2} - r1c1{n6 n7} - b7n7{r9c1 r7c2} - r5c2{n7 .} ==> r5c6 ≠ 9
z-chain[5]: r5n9{c3 c5} - r5n2{c5 c4} - r3c4{n2 n7} - r3c3{n7 n3} - c2n3{r3 .} ==> r4c2 ≠ 9
t-whip[6]: r8c1{n8 n3} - r9n3{c1 c9} - r9n6{c9 c4} - r9n1{c4 c3} - r8n1{c3 c9} - r8n6{c9 .} ==> r8c8 ≠ 8
biv-chain[3]: r3n6{c2 c8} - c8n8{r3 r7} - r7n7{c8 c2} ==> r3c2 ≠ 7
biv-chain[3]: b1n7{r3c3 r1c1} - c1n6{r1 r6} - r6c7{n6 n7} ==> r6c3 ≠ 7
biv-chain[4]: r1c1{n7 n6} - b3n6{r1c9 r3c8} - r8c8{n6 n5} - r9c8{n5 n7} ==> r9c1 ≠ 7
hidden-single-in-a-block ==> r7c2 = 7
hidden-single-in-a-block ==> r9c8 = 7
whip[1]: b7n8{r8c1 .} ==> r6c1 ≠ 8
naked-pairs-in-a-row: r6{c1 c7}{n6 n7} ==> r6c5 ≠ 7, r6c5 ≠ 6
stte
