- Code: Select all
+---+---+---+
|...|.3.|9..|
|4.1|...|...|
|5..|...|...|
+---+---+---+
|.3.|.8.|..6|
|..2|...|.4.|
|...|...|.51|
+---+---+---+
|.7.|...|2..|
|6..|4..|...|
|...|1..|...|
+---+---+---+
+---+---+---+
|...|.3.|9..|
|4.1|...|...|
|5..|...|...|
+---+---+---+
|.3.|.8.|..6|
|..2|...|.4.|
|...|...|.51|
+---+---+---+
|.7.|...|2..|
|6..|4..|...|
|...|1..|...|
+---+---+---+
*------------------------------------------------------------*
| 278 268 67 | 2568 3 124568 | 9 168 2458 |
| 4 2689 1 | 256789 25679 256789 | 56 3678 23578 |
| 5 2689 3 | 26789 124679 1246789 | 146 1678 2478 |
|------------------+-----------------------+-----------------|
|a19 3 c459 |b59 8 1459 | 7 2 6 |
| 178 d568-1 2 | 3567 1567 13567 | 38 4 9 |
| 789 468 67 | 23679 24679 234679 | 38 5 1 |
|------------------+-----------------------+-----------------|
| 139 7 4589 | 35689 569 35689 | 2 13689 3458 |
| 6 125 589 | 4 2579 235789 | 15 13789 3578 |
| 239 245 4589 | 1 25679 2356789 | 456 36789 34578 |
*------------------------------------------------------------*
+-----------------+-----------------------+-----------------+
| 278 268 67 | 2568 3 124568 | 9 168 2458 |
| 4 2689 1 | 256789 25679 256789 | 56 3678 23578 |
| 5 2689 3 | 26789 124679 1246789 | 146 1678 2478 |
+-----------------+-----------------------+-----------------+
|ab19 3 ab459 |b59 8 1459 | 7 2 6 |
| a178 1568 2 | 3567 1567 13567 | 38 4 9 |
| a789 a468 a67 | 23679 24679 234679 | 38 5 1 |
+-----------------+-----------------------+-----------------+
| 39-1 7 4589 | 35689 569 35689 | 2 13689 3458 |
| 6 125 589 | 4 2579 235789 | 15 13789 3578 |
| 239 245 4589 | 1 25679 2356789 | 456 36789 34578 |
+-----------------+-----------------------+-----------------+
278 268 67 2568 3 14 9 168 2458
4 2689 1 256789 25679 256789 56 3678 23578
5 2689 3 26789 14 26789 14 678 278
19 3 459 59 8 14 7 2 6
78 1568 2 3567 1567 3567 38 4 9
789 468 67 23679 24679 23679 38 5 1
139 7 4589 35689 569 35689 2 13689 3458
6 125 589 4 2579 235789 15 3789 3578
239 245 589 1 25679 2356789 456 36789 3578
r4n1{c1 c6} - r4n4{c6 c3} - b4n5{r4c3 r5c2} => r5c2 <> 1
ste.
+-------------------------+-------------------------+-------------------------+
| 278 268 67 | 2568 3 14 | 9 18 2458 |
| 4 289 1 | 25789 2579 25789 | 6 378 23578 |
| 5 2689 3 | 26789 14 26789 | 14 78 278 |
+-------------------------+-------------------------+-------------------------+
| 19 3 459 | 59 8 14 | 7 2 6 |
| 78 1568 2 | 3567 1567 3567 | 38 4 9 |
| 789 468 67 | 23679 24679 23679 | 38 5 1 |
+-------------------------+-------------------------+-------------------------+
| 139 7 4589 | 35689 569 35689 | 2 13689 348 |
| 6 125 589 | 4 2579 235789 | 15 3789 378 |
| 239 245 589 | 1 25679 2356789 | 45 36789 378 |
+-------------------------+-------------------------+-------------------------+
278 268 67 2568 3 14 9 18 2458
4 289 1 25789 2579 25789 6 378 23578
5 2689 3 26789 14 26789 14 78 278
19 3 459 59 8 14 7 2 6
78 1568 2 3567 1567 3567 38 4 9
789 468 67 23679 24679 23679 38 5 1
139 7 4589 35689 569 35689 2 13689 348
6 125 589 4 2579 235789 15 3789 378
239 245 589 1 25679 2356789 45 36789 378
r4n1{c1 c6} - r4n4{c6 c3} - b4n5{r4c3 r5c2} => r5c2 <> 1
ste.
+---------------------+-----------------------+-------------------+
| 278 268 67 | 2568 3 14 | 9 168 45 |
| 4 2689 1 | 26789 25679 256789 | 56 3678 23578 |
| 5 2689 3 | 26789 14 1246789 | 14 678 278 |
+---------------------+-----------------------+-------------------+
| (19) 3 4(5) | (59) 8 14 | 7 2 6 |
| 78 68(5-1) 2 | 367 1567 3567 | 38 4 9 |
| 789 468 67 | 23679 24679 23679 | 38 5 1 |
+---------------------+-----------------------+-------------------+
| 139 7 4589 | 3689 569 35689 | 2 13689 3458 |
| 6 2(1-5) 89 | 4 2579 235789 | 15 3789 3578 |
| 239 245 589 | 1 25679 2356789 | 456 36789 3578 |
+---------------------+-----------------------+-------------------+
which would be this.I found a way to prove r2c7 = 6.
+-----------------+-----------------------+----------------------+
| 278 268 67 | 2568 3 14 | 9 168 (45) |
| 4 2689 1 | 26789 25679 256789 | (+6-5) 3678 23578 |
| 5 2689 3 | 26789 14 1246789 | 1(4) 678 278 |
+-----------------+-----------------------+----------------------+
| 19 3 45 | 59 8 14 | 7 2 6 |
| 78 1568 2 | 367 1567 3567 | 38 4 9 |
| 789 468 67 | 23679 24679 23679 | 38 5 1 |
+-----------------+-----------------------+----------------------+
| 139 7 4589 | 3689 569 35689 | 2 13689 3458 |
| 6 125 89 | 4 2579 235789 | 15 3789 3578 |
| 239 245 589 | 1 25679 2356789 | 5(4-6) 36789 3578 |
+-----------------+-----------------------+----------------------+