- Code: Select all
+---+---+---+
|.34|.7.|..1|
|.9.|4..|...|
|8..|23.|...|
+---+---+---+
|.6.|9..|..7|
|.2.|...|.6.|
|1..|..6|.5.|
+---+---+---+
|...|.97|..6|
|...|..5|.1.|
|9..|.4.|58.|
+---+---+---+
+---+---+---+
|.34|.7.|..1|
|.9.|4..|...|
|8..|23.|...|
+---+---+---+
|.6.|9..|..7|
|.2.|...|.6.|
|1..|..6|.5.|
+---+---+---+
|...|.97|..6|
|...|..5|.1.|
|9..|.4.|58.|
+---+---+---+
+-----------------------+-----------------------+-----------------------+
| b256 3 4 |Gc56 7 F89 | F268 F29 1 |
| 2567 9 12567 | 4 Hd56 18 | 2368 237 E2358 |
| 8 157 1567 | 2 3 19 | 46 479 45 |
+-----------------------+-----------------------+-----------------------+
| a345 6 358 | 9 15-28 a234 | 12348 a234 7 |
| 3457 2 35789 | 3578 15-8 34 | 13489 6 348 |
| 1 478 3789 | 378 IAd28* 6 | 23489 5 348-2 |
+-----------------------+-----------------------+-----------------------+
| 235 158 12358 | 138 9 7 | 234 234 6 |
| 2346 48 2368 | 368 IBd268* 5 | 7 1 9 |
| 9 17 167 | 16 4 C23* | 5 8 D23* |
+-----------------------+-----------------------+-----------------------+
+------------------------+-------------------+-----------------------+
| 26 3 4 | 5 7 89 | 268 29 1 |
| 257 9 1257 | 4 6 18 | 238 237 D358-2 |
| 8 B157 1567 | 2 3 19 | 46 479 C45 |
+------------------------+-------------------+-----------------------+
| 345 6 x358 | 9 15 234 | y12348 234 7 |
| 3457 2 35789 | 378 15 34 | 13489 6 z348 |
| 1 wAa478 3789 | 378 28 6 | 23489 5 z348 |
+------------------------+-------------------+-----------------------+
| 235 158 12358 | 138 9 7 | 234 234 6 |
| 2346 b48 2368 | 368 b28 5 | 7 1 9 |
| 9 B17 167 | 16 4 c23 | 5 8 zd23 |
+------------------------+-------------------+-----------------------+
+---------------------+-----------------+-----------------+
| a26 3 4 | 5 7 89 | a68 29 1 |
| 257 9 d157-2 | 4 6 c18 | b38 27 35 |
| 8 157 1567 | 2 3 19 | 46 79 45 |
+---------------------+-----------------+-----------------+
| 34 6 8 | 9 5 2 | 1 34 7 |
| 357 2 357 | 37 1 4 | 9 6 8 |
| 1 47 9 | 37 8 6 | 2 5 34 |
+---------------------+-----------------+-----------------+
| 25 158 125 | 18 9 7 | 34 34 6 |
| 346 48 36 | 68 2 5 | 7 1 9 |
| 9 17 167 | 16 4 3 | 5 8 2 |
+---------------------+-----------------+-----------------+
256 3 4 56 7 89 268 29 1
2567 9 12567 4 56 18 2368 237 2358
8 157 1567 2 3 19 46 479 45
345 6 358 9 1258 234 12348 234 7
3457 2 35789 3578 158 34 13489 6 348
1 478 3789 378 28 6 23489 5 2348
235 158 12358 138 9 7 234 234 6
2346 48 2368 368 268 5 7 1 9
9 17 167 16 4 23 5 8 23
n8r7c4 OR n8r8c45 => r1c1 <> 2 and r6c9 <> 2
intersection:
((((2 0) (2 1 1) (2 5 6 7)) ((2 0) (2 3 1) (1 2 5 6 7)))
ste.
256 3 4 56 7 89 28 29 1
2567 9 1257 4 56 18 238 237 2358
8 15 157 2 3 19 6 479 45
345 6 358 9 1258 234 12348 234 7
3457 2 35789 357 158 34 13489 6 348
1 48 3789 37 28 6 23489 5 2348
235 15 1235 8 9 7 234 234 6
234 48 238 36 26 5 7 1 9
9 7 6 1 4 23 5 8 23
2r6c9 => r8c2 == 4 and 8
r6c9=2 - r6c5{n2 n8} - c2n8{r6 r8}
r6c9=2 - r9c9{n2 n3} - b8n3{r9c6 r8c4} - 57r56c4 - r1n5{c4 c1} - r3c2{n5 n1} - 27r23c3 - r8c3{n23 n8} - r8c2{n8 n4}
=> r6c9 <> 2
2r1c1 => r1c7 <> 2,8
r1c1=2 - r1c8{n2 n9} - r1c6{n9 n8}
=> r1c1 <> 2
256 3 4 56 7 89 268 29 1
2567 9 12567 4 56 18 2368 237 2358
8 157 1567 2 3 19 46 479 45
345 6 358 9 1258 234 1238 23 7
3457 2 35789 3578 158 34 1389 6 38
1 78 3789 378 28 6 23489 5 2348
235 158 12358 13 9 7 234 234 6
236 4 236 368 268 5 7 1 9
9 17 167 16 4 23 5 8 23
2r6c9 => r1c4 <> 5,6
r6c9=2 - r9n2{c9 c6} - r4n2{c6 c5} - c5n1{r4 r5} - c5n5{r5 r2}
r6c9=2 - r6c5{n2 n8} - r6c2{n8 n7} - r9c2{n7 n1} - r9c4{n1 n6}
=> r6c9 <> 2
2r1c1 => r4c357 <> 8
let A be r1c1=2 - r1c8{n2 n9} - r1c6{n9 n8} - r1c7{n28 n6} - 45r3c79 - c2n5{r3 r7}
A - r7n8{c2 c3}
A - r7c1{n25 n3} - r8n3{c13 c4} - r8n8{c4 c5}
A - r7c1{n25 n3} - b9n3{r7c78 r9c9} - r5c9{n3 n8}
=> r1c1 <> 2