- Code: Select all
+---+---+---+
|.5.|3.6|.2.|
|4..|9.1|..3|
|...|...|...|
+---+---+---+
|...|...|...|
|6..|873|..2|
|.9.|.6.|.8.|
+---+---+---+
|.6.|.3.|.4.|
|..7|...|5..|
|.14|.8.|36.|
+---+---+---+
+---+---+---+
|.5.|3.6|.2.|
|4..|9.1|..3|
|...|...|...|
+---+---+---+
|...|...|...|
|6..|873|..2|
|.9.|.6.|.8.|
+---+---+---+
|.6.|.3.|.4.|
|..7|...|5..|
|.14|.8.|36.|
+---+---+---+
+-------------+--------------+-------------+
| 7 5 d19 | 3 4 6 | 8 2 e19 |
| 4 8 2 | 9 5 1 | 6 7 3 |
|c19 3 6 | 7 2 8 | 149 159 45 |
+-------------+--------------+-------------+
| 1258 7 158 | 1245 19 259 | 14 3 6 |
| 6 4 15 | 8 7 3 | 19 159 2 |
|b125 9 3 |a1245 6 25 | 7 8 45 |
+-------------+--------------+-------------+
| 589 6 589 |*5-1 3 579 | 2 4 f179 |
| 3 2 7 | 6 19 4 | 5 19 8 |
| 59 1 4 | 25 8 2579 | 3 6 79 |
+-------------+--------------+-------------+
after singles and intersection:
7 5 b-19 3 4 6 8 2 a+1p+9
4 8 2 9 5 1 6 7 3
b+19 3 6 7 2 8 149 159 1459
1258 7 158 1245 ×19 259 14 3 6
6 4 15 8 7 3 19 159 2
c-125 9 3 c+1245 6 25 7 8 145
589 6 589 ×15 3 579 2 4 r+179
3 2 7 6 s+19 4 5 s-19 8
59 1 4 25 8 2579 3 6 q+79
19r1c9 => r4c5 r7c4 <> 1
r1c9=1 - b1n1{r1c3 r3c1} - r6n1{c1 c4}
r1c9=9 - r9c9{n9 n7} - r7c9{n79 n1} - r8n1{c8 c4}
ste.
also:
r1c9=1 - b1n1{r1c3 r3c1} - r6n1{c1 c4} => r4c5 <> 1
r1c9=1 - b9n1{r7c9 r8c8} - c5n1{r8 r4} => r4c5 = 1 => r1c9 <> 1 ste.
+--------------------+---------------------+--------------------+
| 7 5 *19 | 3 4 6 | 8 2 19 |
| 4 8 2 | 9 5 1 | 6 7 3 |
| *19 3 6 | 7 2 8 | *149 #159a 45 |
+--------------------+---------------------+--------------------+
| 1258 7 #158b | 1245 19c 259 | #14b 3 6 |
| 6 4 *15 | 8 7 3 | *19 #159a 2 |
| 125 9 3 | 1245 6 25 | 7 8 45 |
+--------------------+---------------------+--------------------+
| 589 6 589 | 15 3 579 | 2 4 179 |
| 3 2 7 | 6 19d 4 | 5 9-1 8 |
| 59 1 4 | 25 8 2579 | 3 6 79 |
+--------------------+---------------------+--------------------+
*---------------------------------------------*
| 7 5 B19 | 3 4 6 | 8 2 A19 |
| 4 8 2 | 9 5 1 | 6 7 3 |
|A19 3 6 | 7 2 8 | 149 159 45 |
|-------------+---------------+---------------|
| 1258 7 58 | 1245 A19 259 | 14 3 6 |
| 6 4 5-1 | 8 7 3 |A19 159 2 |
| 125 9 3-1 | 1245 6 25 | 7 8 45 |
|-------------+---------------+---------------|
| 589 6 589 | 15 3 579 | 2 4 179 |
| 3 2 7 | 6 B19 4 | 5 A19 8 |
| 59 1 4 | 25 8 2579 | 3 6 79 |
*---------------------------------------------*
Resolution state after Singles and whips[1]:
+----------------+----------------+----------------+
! 7 5 19 ! 3 4 6 ! 8 2 19 !
! 4 8 2 ! 9 5 1 ! 6 7 3 !
! 19 3 6 ! 7 2 8 ! 149 159 1459 !
+----------------+----------------+----------------+
! 1258 7 158 ! 1245 19 259 ! 14 3 6 !
! 6 4 15 ! 8 7 3 ! 19 159 2 !
! 125 9 3 ! 1245 6 25 ! 7 8 145 !
+----------------+----------------+----------------+
! 589 6 589 ! 15 3 579 ! 2 4 179 !
! 3 2 7 ! 6 19 4 ! 5 19 8 !
! 59 1 4 ! 25 8 2579 ! 3 6 79 !
+----------------+----------------+----------------+
finned-swordfish-in-rows: n1{r6 r7 r3}{c1 c4 c9} ==> r1c9≠1
stte
finned-swordfish-in-rows: n1{r7 r6 r1}{c9 c4 c1} ==> r3c1≠1
stte
finned-swordfish-in-rows: n1{r7 r1 r6}{c4 c9 c3} ==> r5c3≠1, r4c3≠1
stte
*-----------------------------------------------------------*
| 7 5 h19 | 3 4 6 | 8 2 g19 |
| 4 8 2 | 9 5 1 | 6 7 3 |
| 19 3 6 | 7 2 8 | 149 159 45 |
*-------------------+-------------------+-------------------|
| 1258 7 158 | 1245 c19 259 |b14 3 6 |
| 6 4 5-1 | 8 7 3 |a19 a159 2 |
| 125 9 3 | 1245 6 25 | 7 8 45 |
*-------------------+-------------------+-------------------|
| 589 6 589 | 15 3 579 | 2 4 f179 |
| 3 2 7 | 6 d19 4 | 5 e19 8 |
| 59 1 4 | 25 8 2579 | 3 6 79 |
*-----------------------------------------------------------*