After basics
In words, either we have (9)r5c5 xor
no 5 at r19c5,r5c19, and this implies (5)r1c9=(5)r9c1 (Fireworks)
so no 5 at r9c9, which in turn implies (5)r9c1,(5)r1c9 resulting in no 5 at block b1.
Therefore, +9 r5c5; ste
- Code: Select all
.---------------------------------------------------------------------.
| 9 c1357 c157 | 8 B*1357 4 | 2 6 fd57 |
| b157 68 2 | 59 15679 159 | 5789 3 4 |
| b357 4 68 | 2359 35679 259 | 5789 59 1 |
|-----------------------+----------------------+----------------------|
| 6 57 4579 | 1 2 3 | 579 459 8 |
|B*1357 13578 15789 | 4 A59 6 | 13579 2 B*579 |
| 2 135 1459 | 7 8 59 | 1359 1459 6 |
|-----------------------+----------------------+----------------------|
| 4 1567 1567 | 359 1359 8 | 1569 159 2 |
| 8 9 156 | 25 4 125 | 156 7 3 |
|fa15 2 3 | 6 B*159 7 | 4 8 e59 |
'---------------------------------------------------------------------'
(9=5)r5c5 - (5)r5c1|r1c5|r9c5|r5c9 = [[(5)r9c1 = (5)r23c1 - (5)r1c23 = (5)r1c9] - (5)r9c9 = (5)r1c9&r9c1 - (5)r23c1|r1c23 = !]
=> +9 r5c5; ste
EDIT: as a kraken
Kraken Column (5)r159c9
(5)r1c9 - (5)r1c23|r9c9 = (5)r23c1&(9)r9c9 - (5)r9c1|(9)r9c5 = (1)r9c1 & (5)r9c5
(5)r5c9
(5)r9c9 - (5)r1c9|r9c1 = Fireworks (5)r235c1,r1c235 - (1|3|7)r5c1 & (1|3|7)r1c5
=> -5 r5c5; ste
@ ryokousha, jovi: Very Nice!