000007016050200000000000000002040500000006080030010000000700200604000000100000000
Had trouble finding one which was sufficiently interesting.
*---------------------------------------------------------------------*
| 2 489 389 | 3489 5 7 | 3489 1 6 |
| 34789 5 a136789 | 2 b3689 13489 | 34789 3479 34789 |
| 34789 14789-6 136789 | 134689 3689 13489 | 34789 2 5 |
|-----------------------+----------------------+----------------------|
| 789 f16789 2 | 389 4 389 | 5 e3679 1379 |
| 459 149 159 | 359 7 6 | 1349 8 2 |
| 45789 3 5789-6 | 589 1 2 | 4679 4679 479 |
|-----------------------+----------------------+----------------------|
| 3589 89 3589 | 7 c3689 134589 | 2 d34569 13489 |
| 6 2789 4 | 1389 2389 13589 | 13789 3579 13789 |
| 1 2789 35789 | 34689 23689 34589 | 346789 345679 34789 |
*---------------------------------------------------------------------*
2 489 389 3489 5 7 3489 1 6
34789 5 136789 2 3689 13489 34789 3479 34789
34789 146789 136789 134689 3689 13489 34789 2 5
789 16789 2 389 4 389 5 3679 1379
459 149 159 359 7 6 1349 8 2
45789 3 56789 589 1 2 4679 4679 479
3589 89 3589 7 3689 134589 2 34569 13489
6 2789 4 1389 2389 13589 13789 3579 13789
1 2789 35789 34689 23689 34589 346789 345679 34789
***********************************************************************************************
*** SudoRules 20.1.s based on CSP-Rules 2.1.s, config = W+SFin
*** Using CLIPS 6.32-r779
***********************************************************************************************
finned-swordfish-in-columns: n6{c4 c7 c2}{r3 r9 r6} ==> r6c3 ≠ 6
singles and a whip[1] to the end