***********************************************************************************************
*** SudoRules 20.1.s based on CSP-Rules 2.1.s, config = S
*** Using CLIPS 6.32-r770
***********************************************************************************************
hidden-single-in-a-row ==> r8c7 = 7
hidden-single-in-a-row ==> r4c9 = 2
hidden-single-in-a-block ==> r6c9 = 4
244 candidates, 1797 csp-links and 1797 links. Density = 6.06%
whip[1]: r7n1{c2 .} ==> r9c3 ≠ 1, r9c1 ≠ 1, r9c2 ≠ 1
whip[1]: c3n1{r3 .} ==> r1c1 ≠ 1, r1c2 ≠ 1, r2c1 ≠ 1, r2c2 ≠ 1, r3c1 ≠ 1
whip[1]: r2n1{c6 .} ==> r1c5 ≠ 1, r1c6 ≠ 1, r3c5 ≠ 1, r3c6 ≠ 1
whip[1]: r5n9{c2 .} ==> r4c2 ≠ 9, r4c1 ≠ 9
hidden-pairs-in-a-row: r5{n7 n9}{c1 c2} ==> r5c2 ≠ 8, r5c2 ≠ 5, r5c1 ≠ 8, r5c1 ≠ 6, r5c1 ≠ 5
swordfish-in-columns: n5{c3 c8 c9}{r9 r5 r1} ==> r9c7 ≠ 5, r9c2 ≠ 5, r9c1 ≠ 5, r5c6 ≠ 5, r1c7 ≠ 5, r1c2 ≠ 5, r1c1 ≠ 5
hidden-single-in-a-block ==> r4c6 = 5
hidden-single-in-a-column ==> r2c6 = 1
swordfish-in-columns: n4{c3 c6 c8}{r8 r1 r9} ==> r9c5 ≠ 4, r9c2 ≠ 4, r9c1 ≠ 4, r8c2 ≠ 4, r8c1 ≠ 4, r1c5 ≠ 4, r1c2 ≠ 4, r1c1 ≠ 4
jellyfish-in-columns: n6{c3 c9 c6 c8}{r9 r8 r5 r1} ==> r9c7 ≠ 6, r9c5 ≠ 6, r9c4 ≠ 6, r9c1 ≠ 6, r8c1 ≠ 6, r1c7 ≠ 6, r1c5 ≠ 6, r1c4 ≠ 6
naked-quads-in-a-block: b7{r8c1 r8c2 r9c1 r9c2}{n2 n3 n8 n9} ==> r9c3 ≠ 8, r8c3 ≠ 8, r7c2 ≠ 2, r7c1 ≠ 2
hidden-quads-in-a-row: r1{n1 n4 n6 n5}{c8 c3 c6 c9} ==> r1c9 ≠ 9, r1c9 ≠ 3, r1c8 ≠ 2, r1c6 ≠ 8, r1c6 ≠ 3, r1c6 ≠ 2, r1c3 ≠ 8
hidden-quads-in-a-column: c1{n1 n5 n4 n6}{r4 r6 r2 r7} ==> r6c1 ≠ 8, r2c1 ≠ 3, r2c1 ≠ 2
hidden-quads-in-a-row: r9{n1 n5 n4 n6}{c8 c9 c3 c6} ==> r9c9 ≠ 9, r9c8 ≠ 2, r9c6 ≠ 8, r9c6 ≠ 3, r9c6 ≠ 2
naked-pairs-in-a-block: b8{r7c5 r9c6}{n4 n6} ==> r8c6 ≠ 6, r8c6 ≠ 4, r7c4 ≠ 6
stte