thank you for your many wonderful solutions!
what i initially aimed to make was the following:
- Code: Select all
.---------------------.----------------------.-----------------------.
| 46 468 368 | 7 #C1349 5 |C1468 2 #1469 |
| 47 1 2378 | 2489 6 389 | 478 4789 5 |
| 4567 24568 9 | 1248 124 18 | 3 4678 C146 |
:---------------------+----------------------+-----------------------:
| 2 5689 1568 | 3 *159 4 | 156 569 7 |
|#C14569 7 156 |*129 8 *19 | 12456 34569 #C123469 |
| 3 459 15 | 6 *12579 #19-7 | 1245 459 8 |
:---------------------+----------------------+-----------------------:
| C1567 256 4 | 18 137 13678 | 9 35678 236 |
| 8 2569 2567 | 49 3479 3679 | 24567 1 2346 |
| #1679 3 C167 | 5 #C1479 2 | 4678 4678 46 |
'---------------------'----------------------'-----------------------'
9r1c9 = 9r1c5 & 9r5c9 - 9b5p2468 = 9b5p9
9r9c1 = 9r5c1 & 9r9c5 - 9b5p2468 = 9b5p9
therefore
9b5p9 == (9-1)r1c9 & r9c1 = [CNL: 1r1c5 = r1c7 - r3c9 = r5c9 - r5c1 = r7c1 - r9c3 = r9c5 - r1c5 loop] - 1b5p2468 = 1b5p9
=> -7b5p9 lcstte
since this is also a loop because of the weak link from 1 to 9 in b5p9, there are a lot of additional eliminations, but theyre not any more useful
=> -46r1c9, -67r9c1, -1r37c5, -1r5c37
the T&L representation covers these extra elims
10 Truths = {1R19 9R19 1C19 9C19 19B5}
9 Links = {19r5 19c5 9n1 6n6 1n9 1b37}
here is another solution i found later, inspired by all of your responses (particularly, eleven and ttt)
(1=9)r5c6 - 9r5c1&r5c9 = (9-1)r1c9&r9c1 = [swordfish: 1s in c149 covered by r357] - 1r5c6 loop
=> -9r5c48, -46r1c9, -67r9c1, -1r3c56, -1r5c37, -1r7c56 stte
6 Truths = {1C149 9C19 5N6}
6 Links = {1r357 9r5 9n1 1n9}
effective eliminations for stte: -1r3c6, -9r5c4, -1r7c56