***********************************************************************************************
*** SudoRules 20.1.s based on CSP-Rules 2.1.s, config = S
*** Using CLIPS 6.32-r770
***********************************************************************************************
hidden-single-in-a-row ==> r9c6 = 8
hidden-single-in-a-row ==> r7c4 = 2
228 candidates, 1616 csp-links and 1616 links. Density = 6.24%
whip[1]: c8n2{r3 .} ==> r3c9 ≠ 2, r1c9 ≠ 2, r2c9 ≠ 2
whip[1]: c3n2{r3 .} ==> r3c1 ≠ 2, r1c1 ≠ 2, r2c1 ≠ 2
hidden-single-in-a-row ==> r2c8 = 2
whip[1]: c7n3{r2 .} ==> r3c9 ≠ 3, r1c9 ≠ 3, r2c9 ≠ 3
jellyfish-in-columns: n9{c3 c6 c4 c8}{r9 r8 r5 r3} ==> r9c9 ≠ 9, r9c5 ≠ 9, r9c1 ≠ 9, r8c9 ≠ 9, r5c9 ≠ 9, r5c7 ≠ 9, r5c1 ≠ 9, r3c9 ≠ 9
jellyfish-in-columns: n5{c3 c6 c4 c8}{r9 r8 r1 r5} ==> r9c9 ≠ 5, r9c5 ≠ 5, r9c1 ≠ 5, r8c9 ≠ 5, r5c9 ≠ 5, r5c2 ≠ 5, r5c1 ≠ 5, r1c5 ≠ 5, r1c1 ≠ 5
jellyfish-in-columns: n1{c3 c8 c4 c6}{r8 r5 r3 r1} ==> r5c9 ≠ 1, r5c2 ≠ 1, r5c1 ≠ 1, r3c9 ≠ 1, r3c2 ≠ 1, r3c1 ≠ 1, r1c9 ≠ 1, r1c5 ≠ 1, r1c1 ≠ 1
hidden-triplets-in-a-block: b6{r5c8 r4c9 r6c9}{n1 n2 n5} ==> r6c9 ≠ 9, r6c9 ≠ 4, r5c8 ≠ 9, r5c8 ≠ 6, r5c8 ≠ 4, r4c9 ≠ 9, r4c9 ≠ 8
whip[1]: b6n9{r6c7 .} ==> r2c7 ≠ 9, r7c7 ≠ 9
naked-quads-in-a-column: c1{r1 r3 r9 r5}{n3 n4 n6 n7} ==> r7c1 ≠ 7, r7c1 ≠ 6, r2c1 ≠ 4, r2c1 ≠ 3
hidden-quads-in-a-column: c9{n1 n2 n5 n9}{r2 r4 r6 r7} ==> r7c9 ≠ 7, r7c9 ≠ 6, r2c9 ≠ 4
naked-pairs-in-a-block: b9{r7c9 r8c8}{n5 n9} ==> r9c8 ≠ 9, r9c8 ≠ 5
hidden-pairs-in-a-row: r9{n5 n9}{c3 c4} ==> r9c4 ≠ 3, r9c3 ≠ 7
x-wing-in-rows: n4{r2 r6}{c5 c7} ==> r5c7 ≠ 4, r1c7 ≠ 4, r1c5 ≠ 4
stte