Kraken (Finned)Fish
Kraken (Finned)Fishは、Fishにスーパーリンクを組み合わせるアルゴリズムです。ここでの説明では、単純なFishの表現を用いていますが、Franken/Mutant
Fishでも同じです。さらに、一般化したBaseSet/CoverSetでも成立します。
Fish(左図）では、丸付きのXが真とすると、Fishを構成するCoverSetの1つを全て偽とするため、Fishが壊れます。
また、Finned Fish（右図）では、丸付きのXを真とすると、FinとFishを構成するCoverSetの1つを全て偽とするため、Fishが壊れます。
別の表現をすると、丸付きのXとFishを構成するCoverSetのXに弱いリンク関係があります。
右図のFinn付きのFishでは、さらにFinとも弱いリンク関係にあります。
Kraken (Finned)Fishは、1リンクによる効果を、リンクの連結に拡張した解析アルゴリズムです。
リンクには、スーパーリンク（セル間リンク、AIC、ALSリンク）の連結が使えます
Kraken (Finned)Fishの例 を示します。セルの反転表示した数字は、そのそれぞれでKraken Fishが成立しています。
ただし、CoverSetの構成セルやFinセルが偽となることを示すリンク列は、それ自身、あるいは他のリンク列と比較すると矛盾している場合があります。
これは、出発点とするセル・数字が偽であることによります。
.38.6...96....93..2..43...1..61..9355.3.8.1...4........8.65..13...8..5.63.59..827
Kraken F/M Xwing #1 r12/b12 r1c8/+7 is false
[W r1c8/+7 -> r5c8/-7] => [W r5c8/+4 -> r5c9/-4] => [S r5c9/-4 -> r2c9/+4] => [W r2c9/+4 -> r2c3/-4]
=> [S r2c3/-4 -> r1c1/+4] => [W r1c1/+4 -> r1c1/-1]
[W r1c8/+7 -> r5c8/-7] => [S r5c8/-7 -> r5c4/+7] => [W r5c4/+7 -> r4c6/-7] => [W r4c6/+4 -> r9c6/-4]
=> [W r9c6/+1 -> r1c6/-1]
Kraken F/M Xwing #1 r12/b12 r2c4/+2 is false
[W r2c4/+2 -> r5c4/-2] => [W r5c4/+7 -> r5c8/-7] => [W r5c8/+4 -> r1c8/-4] => [S r1c8/-4 -> r1c1/+4]
=> [W r1c1/+4 -> r1c1/-1]
[W r2c4/+2 -> r5c4/-2] => [W r5c4/+7 -> r4c6/-7] => [W r4c6/+4 -> r9c6/-4] => [W r9c6/+1 -> r1c6/-1]
Kraken F/M Xwing #1 r12/b12 r2c8/+7 is false
[W r2c8/+7 -> r5c8/-7] => [W r5c8/+4 -> r1c8/-4] => [S r1c8/-4 -> r1c1/+4] => [W r1c1/+4 -> r1c1/-1]
[W r2c8/+7 -> r5c8/-7] => [S r5c8/-7 -> r5c4/+7] => [W r5c4/+7 -> r4c6/-7] => [W r4c6/+4 -> r9c6/-4]
=> [W r9c6/+1 -> r1c6/-1]
Kraken F/M Xwing #1 r12/b12 r2c9/+4 is false
[W r2c9/+4 -> r1c8/-4] => [S r1c8/-4 -> r1c1/+4] => [W r1c1/+4 -> r1c1/-1]
[W r2c9/+4 -> r5c9/-4] => [W r5c9/+2 -> r5c4/-2] => [W r5c4/+7 -> r4c6/-7] => [W r4c6/+4 -> r9c6/-4]
=> [W r9c6/+1 -> r1c6/-1]
Kraken F/M Xwing #1 r12/b12 r3c8/+7 is false
[W r3c8/+7 -> r5c8/-7] => [W r5c8/+4 -> r1c8/-4] => [S r1c8/-4 -> r1c1/+4] => [W r1c1/+4 -> r1c1/-1]
[W r3c8/+7 -> r5c8/-7] => [S r5c8/-7 -> r5c4/+7] => [W r5c4/+7 -> r4c6/-7] => [W r4c6/+4 -> r9c6/-4]
=> [W r9c6/+1 -> r1c6/-1]
Kraken F/M Xwing #1 r12/b12 r4c2/+7 is false
[W r4c2/+7 -> r6c1/-7] => [W r6c1/+1 -> r1c1/-1]
[W r4c2/+7 -> r4c6/-7] => [W r4c6/+4 -> r9c6/-4] => [W r9c6/+1 -> r1c6/-1]
Kraken F/M Xwing #1 r12/b12 r4c5/+2 is false
[W r4c5/+2 -> r5c4/-2] => [W r5c4/+7 -> r5c8/-7] => [W r5c8/+4 -> r1c8/-4] => [S r1c8/-4 -> r1c1/+4]
=> [W r1c1/+4 -> r1c1/-1]
[W r4c5/+2 -> r4c2/-2] => [W r4c2/+7 -> r4c6/-7] => [W r4c6/+4 -> r9c6/-4] => [W r9c6/+1 -> r1c6/-1]
Kraken F/M Xwing #1 r12/b12 r5c4/+7 is false
[W r5c4/+7 -> r5c8/-7] => [W r5c8/+4 -> r1c8/-4] => [S r1c8/-4 -> r1c1/+4] => [W r1c1/+4 -> r1c1/-1]
[W r5c4/+7 -> r4c6/-7] => [W r4c6/+4 -> r9c6/-4] => [W r9c6/+1 -> r1c6/-1]
Kraken F/M Xwing #1 r12/b12 r5c8/+4 is false
[W r5c8/+4 -> r1c8/-4] => [S r1c8/-4 -> r1c1/+4] => [W r1c1/+4 -> r1c1/-1]
[W r5c8/+4 -> r5c9/-4] => [W r5c9/+2 -> r5c4/-2] => [W r5c4/+7 -> r4c6/-7] => [W r4c6/+4 -> r9c6/-4]
=> [W r9c6/+1 -> r1c6/-1]
Kraken F/M Xwing #1 r12/b12 r5c9/+2 is false
[W r5c9/+2 -> r5c4/-2] => [W r5c4/+7 -> r5c8/-7] => [W r5c8/+4 -> r1c8/-4] => [S r1c8/-4 -> r1c1/+4]
=> [W r1c1/+4 -> r1c1/-1]
[W r5c9/+2 -> r5c4/-2] => [W r5c4/+7 -> r4c6/-7] => [W r4c6/+4 -> r9c6/-4] => [W r9c6/+1 -> r1c6/-1]
Kraken F/M Xwing #1 r12/b12 r6c3/+2 is false
[W r6c3/+2 -> r4c2/-2] => [S r4c2/-2 -> r4c5/+2] => [W r4c5/+2 -> r5c4/-2] => [W r5c4/+7 -> r5c8/-7]
=> [W r5c8/+4 -> r1c8/-4] => [S r1c8/-4 -> r1c1/+4] => [W r1c1/+4 -> r1c1/-1]
[W r6c3/+2 -> r4c2/-2] => [W r4c2/+7 -> r4c6/-7] => [W r4c6/+4 -> r9c6/-4] => [W r9c6/+1 -> r1c6/-1]
Kraken F/M Xwing #1 r12/b12 r6c3/+7 is false
[W r6c3/+7 -> r6c1/-7] => [W r6c1/+1 -> r1c1/-1]
[W r6c3/+7 -> r7c3/-7] => [S r7c3/-7 -> r7c6/+7] => [S r7c6/-2 -> r1c6/+2] => [W r1c6/+2 -> r1c6/-1]
Kraken F/M Xwing #1 r12/b12 r6c7/+7 is false
[W r6c7/+7 -> r5c8/-7] => [W r5c8/+4 -> r1c8/-4] => [S r1c8/-4 -> r1c1/+4] => [W r1c1/+4 -> r1c1/-1]
[W r6c7/+7 -> r5c8/-7] => [S r5c8/-7 -> r5c4/+7] => [W r5c4/+7 -> r4c6/-7] => [W r4c6/+4 -> r9c6/-4]
=> [W r9c6/+1 -> r1c6/-1]
Kraken F/M Xwing #1 r12/b12 r6c8/+7 is false
[W r6c8/+7 -> r5c8/-7] => [W r5c8/+4 -> r1c8/-4] => [S r1c8/-4 -> r1c1/+4] => [W r1c1/+4 -> r1c1/-1]
[W r6c8/+7 -> r5c8/-7] => [S r5c8/-7 -> r5c4/+7] => [W r5c4/+7 -> r4c6/-7] => [W r4c6/+4 -> r9c6/-4]
=> [W r9c6/+1 -> r1c6/-1]
Kraken F/M Xwing #1 r12/b12 r8c1/+7 is false
[W r8c1/+7 -> r6c1/-7] => [W r6c1/+1 -> r1c1/-1]
[W r8c1/+7 -> r7c3/-7] => [S r7c3/-7 -> r7c6/+7] => [S r7c6/-2 -> r1c6/+2] => [W r1c6/+2 -> r1c6/-1]
Kraken F/M Xwing #1 r12/b12 r8c2/+2 is false
[W r8c2/+2 -> r4c2/-2] => [S r4c2/-2 -> r4c5/+2] => [W r4c5/+2 -> r5c4/-2] => [W r5c4/+7 -> r5c8/-7]
=> [W r5c8/+4 -> r1c8/-4] => [S r1c8/-4 -> r1c1/+4] => [W r1c1/+4 -> r1c1/-1]
[W r8c2/+2 -> r4c2/-2] => [W r4c2/+7 -> r4c6/-7] => [W r4c6/+4 -> r9c6/-4] => [W r9c6/+1 -> r1c6/-1]
.2...783..47.2...13..1....7....38.15...5.4...58.79....6....2..82...8.57..793...6.
Kraken Finned Xwing #1 r56/c23 r1c4/+4 is false
[W r1c4/+4 -> r1c5/-4] => [W r1c5/+6 -> r5c5/-6] => [S (ALS:r5c25) r5c5/-6 -> r5c2/+3]
=> [W r5c2/+3 -> r5c2/-1]
[W r1c4/+4 -> r1c5/-4] => [W r1c5/+6 -> r5c5/-6] => [S (ALS:r5c235) r5c5/-6 -> r5c3/+2]
=> [W r5c3/+2 -> r5c3/-1]
[W r1c4/+4 -> r7c4/-4] => [S (ALS:r7c4 r8c46) r7c4/-4 -> r8c6/+1] => [W r8c6/+1 -> r8c2/-1]
=> [S r8c2/-1 -> r5c2/+1] => [W r5c2/+1 -> r5c5/-1] => [S r5c5/-1 -> r6c6/+1]
=> [S r6c6/-6 -> r5c5/+6] => [W r5c5/+6 -> r5c5/-1]
[W r1c4/+4 -> r1c5/-4] => [W r1c5/+6 -> r5c5/-6] => [S r5c5/-6 -> r6c6/+6] => [W r6c6/+6 -> r6c6/-1]
Kraken Finned Xwing #1 r56/c23 r3c7/+9 is false
[W r3c7/+9 -> r1c9/-9] => [W r1c9/+4 -> r1c5/-4] => [W r1c5/+6 -> r5c5/-6]
=> [S (ALS:r5c25) r5c5/-6 -> r5c2/+3] => [W r5c2/+3 -> r5c2/-1]
[W r3c7/+9 -> r1c9/-9] => [W r1c9/+4 -> r1c5/-4] => [W r1c5/+6 -> r5c5/-6]
=> [S (ALS:r5c235) r5c5/-6 -> r5c3/+2] => [W r5c3/+2 -> r5c3/-1]
[W r3c7/+9 -> r5c7/-9] => [S (ALS:r5c2357) r5c7/-9 -> r5c5/+6] => [W r5c5/+6 -> r5c5/-1]
[W r3c7/+9 -> r3c6/-9] => [S (ALS:r369c6) r3c6/-9 -> r6c6/+6] => [W r6c6/+6 -> r6c6/-1]
Kraken Finned Xwing #1 r56/c23 r3c8/+9 is false
[W r3c8/+9 -> r1c9/-9] => [W r1c9/+4 -> r1c5/-4] => [W r1c5/+6 -> r5c5/-6]
=> [S (ALS:r5c25) r5c5/-6 -> r5c2/+3] => [W r5c2/+3 -> r5c2/-1]
[W r3c8/+9 -> r1c9/-9] => [W r1c9/+4 -> r1c5/-4] => [W r1c5/+6 -> r5c5/-6]
=> [S (ALS:r5c235) r5c5/-6 -> r5c3/+2] => [W r5c3/+2 -> r5c3/-1]
[W r3c8/+9 -> r7c8/-9] => [S (ALS:r7c78 r9c79) r7c8/-9 -> r7c7/+3] => [W r7c7/+3 -> r7c3/-3]
=> [W r7c3/+1 -> r6c3/-1] => [S r6c3/-1 -> r6c6/+1] => [S r6c6/-6 -> r5c5/+6]
=> [W r5c5/+6 -> r5c5/-1]
[W r3c8/+9 -> r3c6/-9] => [S (ALS:r369c6) r3c6/-9 -> r6c6/+6] => [W r6c6/+6 -> r6c6/-1]
Kraken Finned Xwing #1 r56/c23 r5c7/+3 is false
[W r5c7/+3 -> r7c7/-3] => [S r7c7/-3 -> r7c3/+3] => [S r7c3/-1 -> r8c2/+1] => [S r8c2/-3 -> r5c2/+3]
=> [W r5c2/+3 -> r5c2/-1]
[W r5c7/+3 -> r6c7/-3] => [S (ALS:r6c78) r6c7/-3 ->
[W r5c7/+3 -> r5c2/-3] => [S (ALS:r5c25) r5c2/-3 -> r5c5/+6] => [W r5c5/+6 -> r5c5/-1]
[W r5c7/+3 -> r5c2/-3] => [S r5c2/-3 -> r8c2/+3] => [S r8c2/-1 -> r8c6/+1] => [S r8c6/-6 -> r6c6/+6]
=> [W r6c6/+6 -> r6c6/-1]
Kraken Finned Xwing #1 r56/c23 r5c9/+3 is false
[W r5c9/+3 -> r8c9/-3] => [W r8c9/+9 -> r1c9/-9] => [W r1c9/+4 -> r1c5/-4] => [W r1c5/+6 -> r5c5/-6]
=> [S (ALS:r5c25) r5c5/-6 -> r5c2/+3] => [W r5c2/+3 -> r5c2/-1]
[W r5c9/+3 -> r6c7/-3] => [S (ALS:r6c78) r6c7/-3 ->
[W r5c9/+3 -> r5c2/-3] => [S (ALS:r5c25) r5c2/-3 -> r5c5/+6] => [W r5c5/+6 -> r5c5/-1]
[W r5c9/+3 -> r8c9/-3] => [W r8c9/+9 -> r1c9/-9] => [S r1c9/-9 -> r1c4/+9] => [W r1c4/+9 -> r3c6/-9]
=> [S (ALS:r369c6) r3c6/-9 -> r6c6/+6] => [W r6c6/+6 -> r6c6/-1]
Kraken Finned Xwing #1 r56/c23 r5c9/+9 is false
[W r5c9/+9 -> r8c9/-9] => [W r8c9/+3 -> r8c2/-3] => [S r8c2/-3 -> r5c2/+3] => [W r5c2/+3 -> r5c2/-1]
[W r5c9/+9 -> r1c9/-9] => [W r1c9/+4 -> r1c5/-4] => [W r1c5/+6 -> r5c5/-6] => [S (ALS:r5c235) r5c5/-6 -> r5c3/+2]
=> [W r5c3/+2 -> r5c3/-1]
[W r5c9/+9 -> r5c7/-9] => [S (ALS:r5c2357) r5c7/-9 -> r5c5/+6] => [W r5c5/+6 -> r5c5/-1]
[W r5c9/+9 -> r1c9/-9] => [S r1c9/-9 -> r1c4/+9] => [W r1c4/+9 -> r3c6/-9] => [S (ALS:r369c6) r3c6/-9 -> r6c6/+6]
=> [W r6c6/+6 -> r6c6/-1]
Kraken Finned Xwing #1 r56/c23 r6c9/+3 is false
[W r6c9/+3 -> r8c9/-3] => [W r8c9/+9 -> r1c9/-9] => [W r1c9/+4 -> r1c5/-4] => [W r1c5/+6 -> r5c5/-6]
=> [S (ALS:r5c25) r5c5/-6 -> r5c2/+3] => [W r5c2/+3 -> r5c2/-1]
[W r6c9/+3 -> r6c7/-3] => [S (ALS:r6c78) r6c7/-3 ->
[W r6c9/+3 -> r8c9/-3] => [S r8c9/-3 -> r7c7/+3] => [S r7c7/-1 -> r7c3/+1] => [W r7c3/+1 -> r6c3/-1]
=> [S r6c3/-1 -> r6c6/+1] => [S r6c6/-6 -> r5c5/+6] => [W r5c5/+6 -> r5c5/-1]
[W r6c9/+3 -> r8c9/-3] => [W r8c9/+9 -> r1c9/-9] => [S r1c9/-9 -> r1c4/+9] => [W r1c4/+9 -> r3c6/-9]
=> [S (ALS:r369c6) r3c6/-9 -> r6c6/+6] => [W r6c6/+6 -> r6c6/-1]
Kraken Finned Xwing #1 r56/c23 r7c3/+1 is false
[W r7c3/+1 -> r6c3/-1] => [S r6c3/-1 -> r6c6/+1] => [S r6c6/-6 -> r8c6/+6] => [S r8c6/-1 -> r8c2/+1]
=> [S r8c2/-3 -> r5c2/+3] => [W r5c2/+3 -> r5c2/-1]
[W r7c3/+1 -> r7c7/-1] => [W r7c7/+3 -> r6c7/-3] => [S (ALS:r6c78) r6c7/-3 ->
[W r7c3/+1 -> r6c3/-1] => [S r6c3/-1 -> r6c6/+1] => [S r6c6/-6 -> r5c5/+6] => [W r5c5/+6 -> r5c5/-1]
[W r7c3/+1 -> r8c2/-1] => [S r8c2/-1 -> r8c6/+1] => [S r8c6/-6 -> r6c6/+6] => [W r6c6/+6 -> r6c6/-1]
Kraken Finned Xwing #1 r56/c23 r7c4/+9 is false
[W r7c4/+9 -> r1c4/-9] => [S r1c4/-9 -> r1c9/+9] => [W r1c9/+9 -> r8c9/-9] => [W r8c9/+3 -> r8c2/-3]
=> [S r8c2/-3 -> r5c2/+3] => [W r5c2/+3 -> r5c2/-1]
[W r7c4/+9 -> r7c8/-9] => [W r7c8/+4 -> r6c8/-4] => [W r6c8/+2 -> r6c3/-2] => [S r6c3/-2 -> r5c3/+2]
=> [W r5c3/+2 -> r5c3/-1]
[W r7c4/+9 -> r7c8/-9] => [S (ALS:r7c78 r9c79) r7c8/-9 -> r7c7/+3] => [W r7c7/+3 -> r7c3/-3] => [W r7c3/+1 -> r6c3/-1]
=> [S r6c3/-1 -> r6c6/+1] => [S r6c6/-6 -> r5c5/+6] => [W r5c5/+6 -> r5c5/-1]
[W r7c4/+9 -> r8c4/-9] => [W r8c4/+6 -> r8c6/-6] => [S r8c6/-6 -> r6c6/+6] => [W r6c6/+6 -> r6c6/-1]
Kraken Finned Xwing #1 r56/c23 r7c7/+3 is false
[W r7c7/+3 -> r8c9/-3] => [W r8c9/+9 -> r1c9/-9] => [W r1c9/+4 -> r1c5/-4] => [W r1c5/+6 -> r5c5/-6]
=> [S (ALS:r5c25) r5c5/-6 -> r5c2/+3] => [W r5c2/+3 -> r5c2/-1]
[W r7c7/+3 -> r6c7/-3] => [S (ALS:r6c78) r6c7/-3 ->
[W r7c7/+3 -> r7c3/-3] => [W r7c3/+1 -> r6c3/-1] => [S r6c3/-1 -> r6c6/+1] => [S r6c6/-6 -> r5c5/+6]
=> [W r5c5/+6 -> r5c5/-1]
[W r7c7/+3 -> r8c9/-3] => [W r8c9/+9 -> r1c9/-9] => [S r1c9/-9 -> r1c4/+9] => [W r1c4/+9 -> r3c6/-9]
=> [S (ALS:r369c6) r3c6/-9 -> r6c6/+6] => [W r6c6/+6 -> r6c6/-1]
Kraken Finned Xwing #1 r56/c23 r7c8/+4 is false
[W r7c8/+4 -> r7c4/-4] => [S r7c4/-4 -> r1c4/+4] => [S r1c4/-9 -> r1c9/+9] => [W r1c9/+9 -> r8c9/-9]
=> [W r8c9/+3 -> r8c2/-3] => [S r8c2/-3 -> r5c2/+3] => [W r5c2/+3 -> r5c2/-1]
[W r7c8/+4 -> r6c8/-4] => [W r6c8/+2 -> r6c3/-2] => [S r6c3/-2 -> r5c3/+2] => [W r5c3/+2 -> r5c3/-1]
[W r7c8/+4 -> r7c4/-4] => [S (ALS:r7c4 r8c46) r7c4/-4 -> r8c6/+1] => [W r8c6/+1 -> r8c2/-1]
=> [S r8c2/-1 -> r5c2/+1] => [W r5c2/+1 -> r5c5/-1] => [S r5c5/-1 -> r6c6/+1]
=> [S r6c6/-6 -> r5c5/+6] => [W r5c5/+6 -> r5c5/-1]
[W r7c8/+4 -> r7c4/-4] => [S r7c4/-4 -> r9c5/+4] => [S r9c5/-1 -> r5c5/+1] => [S r5c5/-6 -> r6c6/+6] => [W r6c6/+6 -> r6c6/-1]
Kraken Finned Xwing #1 r56/c23 r8c2/+3 is false
[W r8c2/+3 -> r8c9/-3] => [W r8c9/+9 -> r1c9/-9] => [W r1c9/+4 -> r1c5/-4] => [W r1c5/+6 -> r5c5/-6]
=> [S (ALS:r5c25) r5c5/-6 -> r5c2/+3] => [W r5c2/+3 -> r5c2/-1]
[W r8c2/+3 -> r8c9/-3] => [W r8c9/+9 -> r1c9/-9] => [W r1c9/+4 -> r1c5/-4] => [W r1c5/+6 -> r5c5/-6]
=> [S (ALS:r5c235) r5c5/-6 -> r5c3/+2] => [W r5c3/+2 -> r5c3/-1]
[W r8c2/+3 -> r5c2/-3] => [S (ALS:r5c25) r5c2/-3 -> r5c5/+6] => [W r5c5/+6 -> r5c5/-1]
[W r8c2/+3 -> r8c9/-3] => [W r8c9/+9 -> r1c9/-9] => [S r1c9/-9 -> r1c4/+9] => [W r1c4/+9 -> r3c6/-9]
=> [S (ALS:r369c6) r3c6/-9 -> r6c6/+6] => [W r6c6/+6 -> r6c6/-1]
Kraken Finned Xwing #1 r56/c23 r8c6/+1 is false
[W r8c6/+1 -> r6c6/-1] => [S r6c6/-1 -> r5c5/+1] => [W r5c5/+1 -> r5c2/-1] => [S r5c2/-1 -> r8c2/+1]
=> [S r8c2/-3 -> r5c2/+3] => [W r5c2/+3 -> r5c2/-1]
[W r8c6/+1 -> r6c6/-1] => [S r6c6/-1 -> r6c3/+1] => [S r6c3/-2 -> r5c3/+2] => [W r5c3/+2 -> r5c3/-1]
[W r8c6/+1 -> r8c2/-1] => [S r8c2/-1 -> r5c2/+1] => [W r5c2/+1 -> r5c5/-1] => [S r5c5/-1 -> r6c6/+1]
=> [S r6c6/-6 -> r5c5/+6] => [W r5c5/+6 -> r5c5/-1]
[W r8c6/+1 -> r6c6/-1]
Kraken Finned Xwing #1 r56/c23 r8c9/+9 is false
[W r8c9/+9 -> r1c9/-9] => [W r1c9/+4 -> r1c5/-4] => [W r1c5/+6 -> r5c5/-6] => [S (ALS:r5c25) r5c5/-6 -> r5c2/+3]
=> [W r5c2/+3 -> r5c2/-1]
[W r8c9/+9 -> r1c9/-9] => [W r1c9/+4 -> r1c5/-4] => [W r1c5/+6 -> r5c5/-6] => [S (ALS:r5c235) r5c5/-6 -> r5c3/+2]
=> [W r5c3/+2 -> r5c3/-1]
[W r8c9/+9 -> r7c8/-9] => [S (ALS:r7c78 r9c79) r7c8/-9 -> r7c7/+3] => [W r7c7/+3 -> r7c3/-3] => [W r7c3/+1 -> r6c3/-1]
=> [S r6c3/-1 -> r6c6/+1] => [S r6c6/-6 -> r5c5/+6] => [W r5c5/+6 -> r5c5/-1]
[W r8c9/+9 -> r8c4/-9] => [W r8c4/+6 -> r8c6/-6] => [S r8c6/-6 -> r6c6/+6] => [W r6c6/+6 -> r6c6/-1]
Kraken Finned Xwing #1 r56/c23 r9c5/+4 is false
[W r9c5/+4 -> r1c5/-4] => [W r1c5/+6 -> r5c5/-6] => [S (ALS:r5c25) r5c5/-6 -> r5c2/+3] => [W r5c2/+3 -> r5c2/-1]
[W r9c5/+4 -> r1c5/-4] => [W r1c5/+6 -> r5c5/-6] => [S (ALS:r5c235) r5c5/-6 -> r5c3/+2] => [W r5c3/+2 -> r5c3/-1]
[W r9c5/+4 -> r7c4/-4] => [S (ALS:r7c4 r8c46) r7c4/-4 -> r8c6/+1] => [W r8c6/+1 -> r8c2/-1] => [S r8c2/-1 -> r5c2/+1]
=> [W r5c2/+1 -> r5c5/-1] => [S r5c5/-1 -> r6c6/+1] => [S r6c6/-6 -> r5c5/+6] => [W r5c5/+6 -> r5c5/-1]
[W r9c5/+4 -> r1c5/-4] => [W r1c5/+6 -> r5c5/-6] => [S r5c5/-6 -> r6c6/+6] => [W r6c6/+6 -> r6c6/-1]
Kraken Finned Xwing #1 r56/c23 r9c7/+1 is false
[W r9c7/+1 -> r9c5/-1] => [S r9c5/-1 -> r5c5/+1] => [W r5c5/+1 -> r5c2/-1] => [S r5c2/-1 -> r8c2/+1]
=> [S r8c2/-3 -> r5c2/+3] => [W r5c2/+3 -> r5c2/-1]
[W r9c7/+1 -> r7c7/-1] => [W r7c7/+3 -> r6c7/-3] => [S (ALS:r6c78) r6c7/-3 ->
[W r9c7/+1 -> r7c7/-1] => [S r7c7/-1 -> r7c3/+1] => [W r7c3/+1 -> r6c3/-1] => [S r6c3/-1 -> r6c6/+1]
=> [S r6c6/-6 -> r5c5/+6] => [W r5c5/+6 -> r5c5/-1]
[W r9c7/+1 -> r9c5/-1] => [S r9c5/-1 -> r5c5/+1] => [S r5c5/-6 -> r6c6/+6] => [W r6c6/+6 -> r6c6/-1