1252 |
v1 >= v2 |
|
1253 |
v3 >= v4 |
|
1254 |
v1 >= v3 |
|
1255 |
v2 >= v4 |
|
1465 |
r01.0 = r02.0 + r03.0 + r04.0 + r05.0 + r06.0 + r07.0 + r08.0 + r09.0 + r10.0 + r11.0 + r12.0 + r13.0 + r14.0 + r15.0 + r16.0 + r17.0 |
|
1466 |
r02.0 >= r02.1 + r02.2 + r02.3 + r02.4 |
|
1467 |
r03.0 >= r03.1 |
|
1468 |
r04.0 >= r04.1 + r04.2 |
|
1470 |
r07.0 >= r07.1 |
|
1471 |
r08.0 >= r08.1 + r08.2 + r08.3 |
|
1472 |
r08.1 >= r08.1.1 + r08.1.2 + r08.1.3 |
|
1473 |
r09.0 >= r09.1 + r09.2 + r09.3 + r09.4 |
|
1474 |
r10.0 >= r10.1 + r10.2 + r10.3 + r10.4 + r10.5 + r10.6 |
|
1475 |
r10.1 >= r10.1.1 + r10.1.2 + r10.1.3 + r10.1.4 |
|
1476 |
r10.3 >= r10.3.1 + r10.3.2 + r10.3.3 + r10.3.4 |
|
1477 |
r11.0 >= r11.01 + r11.02 + r11.03 + r11.04 + r11.05 + r11.06 + r11.07 + r11.08 + r11.09 + r11.10 + r11.11 + r11.12 + r11.13 |
|
1478 |
r12.0 >= r12.1 + r12.2 + r12.3 + r12.4 + r12.5 |
|
1479 |
r12.1 >= r12.1.1 + r12.1.2 + r12.1.3 + r12.1.4 + r12.1.5 |
|
1480 |
r13.0 >= r13.1 + r13.2 |
|
1481 |
r15.0 >= r15.1 + r15.2 |
|
1482 |
r15.1 >= r15.1.1 + r15.1.2 + r15.1.3 |
|
1483 |
r15.2 >= r15.21 + r15.220 + r15.240 |
|
1484 |
r17.0 >= r17.1 + r17.2 + r17.3 |
|
1485 |
r18.0 <= r01.0 |
|
1583 |
r19.0 <= r01.0 |
|
1584 |
r15.240 >= r15.241 |
|
1585 |
r10.2 >= r10.2.1 + r10.2.2 + r10.2.3 + r10.2.4 |
|
1586 |
r15.21 >= r15.211 + r15.212 + r15.213 + r15.214 |
|
1593 |
r05.0 >= r05.1 + r05.2 + r05.3 + r05.4 + r05.5 |
|
1685 |
r15.212 >= r15.213 |
|