- Code: Select all
+----------------------+--------------------+---------------------+
| 79 5 79 | 3 4 6 | V12 12 8 |
| 8 1 3 | 5 2 7 | 4 69 69 |
| 46 2 46 | 9 1 8 | 5 3 7 |
+----------------------+--------------------+---------------------+
| X146 8 1456 | 146 3 a159* | WAb169* 7 2 |
| 37 3467 1467 | 1246 8 zB129* | TB169* B15 B569 |
| 2 9 156 | 16 7 15 | 8 4 3 |
+----------------------+--------------------+---------------------+
|Ye146 e46 8 |Zf12 9 3 | 7 25 456 |
| 379 367 2 | 8 5 4 | 369 69 1 |
| 5 e34 149 | 7 6 1-2 | Udc239 8 49 |
+----------------------+--------------------+---------------------+
UR(19)r45c67 using internals
(5-9)r4c6 = r4c7 - r9c7 = [(2*=3)r9c7-(3=
461)b7p128-(1=2)r7c4]
(6)r4c7 - (6=
1592)r5c6789
(2)r5c6
(6-1)r5c7 = [(2)r9c7=(2-1)r1c7*=r4c7-r4c1=r7c1-(1=2)r7c4]
=> -2 r9c6; ste
As a net and a TM:
- Code: Select all
(5-9)r4c6 = r4c7 - (9)r9c7
|| ||
|| (2)r9c7
|| ||
|| (3)r9c7 - (3=461)b7p128 - (1=2)r7c4
||
(6)r4c7 - (6=1592)r5c6789
||
(2)r5c6
||
(6-1)r5c7
||
(1-2)r1c7 = (2)r9c7
||
(1)r4c7 - r4c1 = r7c1 - (1=2)r7c4
------------
=> -2 r9c6; ste
- Code: Select all
2r7c4 1r7c4
1r7c1 46r7c12
4r9c2 3r9c2
2r9c7 3r9c7 9r9c7
9r4c7 9r4c6
2r9c7 2r1c7
1r7c1 1r4c1
1r1c7 1r4c7 1r5c7
2r5c6 1569r5c6789
2r5c6 5r4c6 6r5c7 6r4c7
=> -2 r9c6; ste