- Code: Select all
 +---+---+---+
|..4|5..|7..|
|.2.|8..|.6.|
|.6.|.71|4..|
+---+---+---+
|...|...|..6|
|..6|417|2..|
|3..|...|...|
+---+---+---+
|..7|13.|.9.|
|.8.|..6|.5.|
|..3|..4|1..|
+---+---+---+
+---+---+---+
|..4|5..|7..|
|.2.|8..|.6.|
|.6.|.71|4..|
+---+---+---+
|...|...|..6|
|..6|417|2..|
|3..|...|...|
+---+---+---+
|..7|13.|.9.|
|.8.|..6|.5.|
|..3|..4|1..|
+---+---+---+
*--------------------------------------------*
|b19  3  4    | 5   6    2    | 7   18 c189  |
| 7   2  19-5 | 8   4    39   |d59  6   1359 |
|a59  6  8    | 39  7    1    | 4   2   39-5 |
|-------------+---------------+--------------|
| 4   17 259  | 239 2589 3589 | 589 17  6    |
| 8   59 6    | 4   1    7    | 2   3   59   |
| 3   17 259  | 6   2589 589  | 589 4   17   |
|-------------+---------------+--------------|
| 25  4  7    | 1   3    58   | 6   9   28   |
| 129 8  19   | 7   29   6    | 3   5   4    |
| 6   59 3    | 29  58   4    | 1   78  278  |
*--------------------------------------------*Resolution state after Singles and whips[1]:
   +-------------------+-------------------+-------------------+ 
   ! 19    3     4     ! 5     6     2     ! 7     18    189   ! 
   ! 7     2     159   ! 8     4     39    ! 59    6     1359  ! 
   ! 59    6     8     ! 39    7     1     ! 4     2     359   ! 
   +-------------------+-------------------+-------------------+ 
   ! 2459  14579 259   ! 239   2589  3589  ! 589   147   6     ! 
   ! 8     59    6     ! 4     1     7     ! 2     3     59    ! 
   ! 3     14579 259   ! 6     2589  589   ! 589   147   1579  ! 
   +-------------------+-------------------+-------------------+ 
   ! 245   45    7     ! 1     3     58    ! 6     9     248   ! 
   ! 1249  8     129   ! 279   29    6     ! 3     5     247   ! 
   ! 6     59    3     ! 279   2589  4     ! 1     78    278   ! 
   +-------------------+-------------------+-------------------+ 
122 candidatesbiv-chain[3]: r1n9{c1 c9} - r5c9{n9 n5} - r3n5{c9 c1} ==> r3c1≠9
w1-ttebiv-chain[3]: r2c7{n5 n9} - b2n9{r2c6 r3c4} - r3n3{c4 c9} ==> r3c9≠5
w-ttebiv-chain[3]: r2c7{n5 n9} - b2n9{r2c6 r3c4} - r3c1{n9 n5} ==> r2c3≠5, r3c9≠5
w1-tte +------------+---------------+--------------+
 | 19  3  4   | 5   6    2    | 7   18  189  | 
 | 7   2  159 | 8   4   a39   |a59  6 ab1359 | 
 | 59  6  8   | 39  7    1    | 4   2  c39-5 | 
 +------------+---------------+--------------+
 | 4   17 259 | 239 2589 3589 | 589 17  6    | 
 | 8   59 6   | 4   1    7    | 2   3   59   | 
 | 3   17 259 | 6   2589 589  | 589 4   17   | 
 +------------+---------------+--------------+
 | 25  4  7   | 1   3    58   | 6   9   28   | 
 | 129 8  19  | 7   29   6    | 3   5   4    | 
 | 6   59 3   | 29  58   4    | 1   78  278  | 
 +------------+---------------+--------------+
.------------------.-----------------.----------------.
| 19    3      4   | 5    6     2    | 7    18   189  |
| 7     2      159 | 8    4     39   | 59   6    1359 |
| 59    6      8   | 39   7     1    | 4    2    359  |
:------------------+-----------------+----------------:
| 2459  14579  259 | 239  2589  3589 | 589  147  6    |
| 8     59     6   | 4    1     7    | 2    3    59   |
| 3     14579  259 | 6    2589  589  | 589  147  1579 |
:------------------+-----------------+----------------:
| 245   45     7   | 1    3     58   | 6    9    248  |
| 1249  8      129 | 279  29    6    | 3    5    247  |
| 6     59     3   | 279  2589  4    | 1    78   278  |
'------------------'-----------------'----------------'after basics:
19    3     4     5     6     2     7     18    189            
7     2     15    8     4     39    59    6     135            
59    6     8     39    7     1     4     2     359            
4     17    259   23    2589  3589  589   17    6              
8     59    6     4     1     7     2     3     59             
3     17    259   6     2589  589   589   4     17             
25    4     7     1     3     58    6     9     28             
12    8     19    7     29    6     3     5     4              
6     59    3     29    58    4     1     78    278            
n5r4c3567 => r3c1 <> 9
 r4c3=5 - c2n5{r5 r9} - c1n5{r7 r3}
 r4c5=5 - r9n5{c5 c2} - c1n5{r7 r3}
 r4c6=5 - c6n3{r4 r2} - b2n9{r2c6 r3c4}
 r4c7=5 - r2c7{n5 n9} - r1n9{c9 c1}
 
ste.
 *-----------------------------------------------------------*
 |b19    3     4     | 5     6     2     | 7    c18   c189   |
 | 7     2     159   | 8     4     39    | 59    6     1359  |
 |b59    6     8     | 39    7     1     | 4     2     359   |
 *-------------------+-------------------+-------------------|
 | 4     17    259   | 239   2589  3589  | 589   17    6     |
 | 8     9-5   6     | 4     1     7     | 2     3    d59    |
 | 3     17    259   | 6     2589  589   | 589   4     17    |
 *-------------------+-------------------+-------------------|
 |b25    4     7     | 1     3     58    | 6     9     28    |
 | 129   8     19    | 7     29    6     | 3     5     4     |
 | 6    a59    3     | 29    58    4     | 1     78    278   |
 *-----------------------------------------------------------*
 +-------------------+----------------------+--------------------+
 |  19    3    4     |  5     6      2      |  7     18* c189*   | 
 |  7     2    159   |  8     4      39     |  59    6    1359   | 
 |  59    6    8     |  39    7      1      |  4     2    359    | 
 +-------------------+----------------------+--------------------+
 |  4     17*  259   |  239   2589   3589   |  589   17*  6      | 
 |  8    a59   6     |  4     1      7      |  2     3   b59     | 
 |  3     17*  259   |  6     2589   589    |  589   4    17*    | 
 +-------------------+----------------------+--------------------+
 |  25    4    7     |  1     3      58     |  6     9    28     | 
 |  129   8    19    |  7     29     6      |  3     5    4      | 
 |  6     5-9  3     | e29    58     4      |  1     78* d278*   | 
 +-------------------+----------------------+--------------------+