565 |
v1 >= v2 + v3 |
|
864 |
r1.0 = r2.0 + r3.0 + r4.0 + r5.0 |
|
865 |
r2.0 = r2.1 + r2.2 + r2.3 + r2.4 + r2.5 + r2.6 + r2.7 |
|
866 |
r3.0 = r3.01 + r3.02 + r3.03 + r3.04 + r3.05 + r3.06 + r3.07 + r3.08 + r3.09 + r3.10 + r3.11 + r3.12 + r3.13 + r3.14 |
|
867 |
r4.0 = r4.01 + r4.02 + r4.03 + r4.04 + r4.05 + r4.06 + r4.07 + r4.08 + r4.09 + r4.10 |
|
868 |
r5.0 = r5.01 + r5.02 + r5.03 + r5.04 + r5.05 + r5.06 + r5.07 + r5.08 + r5.09 + r5.10 + r5.11 + r5.12 + r5.13 + r5.14 + r5.15 |
|