252 |
v1 >= v2 |
|
253 |
v3 >= v4 |
|
254 |
v1 >= v3 |
|
255 |
v2 >= v4 |
|
465 |
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 |
|
466 |
r02.0 >= r02.1 + r02.2 + r02.3 + r02.4 |
|
467 |
r03.0 >= r03.1 |
|
468 |
r04.0 >= r04.1 + r04.2 |
|
470 |
r07.0 >= r07.1 |
|
471 |
r08.0 >= r08.1 + r08.2 + r08.3 |
|
472 |
r08.1 >= r08.1.1 + r08.1.2 + r08.1.3 |
|
473 |
r09.0 >= r09.1 + r09.2 + r09.3 + r09.4 |
|
474 |
r10.0 >= r10.1 + r10.2 + r10.3 + r10.4 + r10.5 + r10.6 |
|
475 |
r10.1 >= r10.1.1 + r10.1.2 + r10.1.3 + r10.1.4 |
|
476 |
r10.3 >= r10.3.1 + r10.3.2 + r10.3.3 + r10.3.4 |
|
477 |
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 |
|
478 |
r12.0 >= r12.1 + r12.2 + r12.3 + r12.4 + r12.5 |
|
479 |
r12.1 >= r12.1.1 + r12.1.2 + r12.1.3 + r12.1.4 + r12.1.5 |
|
480 |
r13.0 >= r13.1 + r13.2 |
|
481 |
r15.0 >= r15.1 + r15.2 |
|
482 |
r15.1 >= r15.1.1 + r15.1.2 + r15.1.3 |
|
483 |
r15.2 >= r15.21 + r15.220 + r15.240 |
|
484 |
r17.0 >= r17.1 + r17.2 + r17.3 |
|
485 |
r18.0 <= r01.0 |
|
583 |
r19.0 <= r01.0 |
|
584 |
r15.240 >= r15.241 |
|
585 |
r10.2 >= r10.2.1 + r10.2.2 + r10.2.3 + r10.2.4 |
|
586 |
r15.21 >= r15.211 + r15.212 + r15.213 + r15.214 |
|
593 |
r05.0 >= r05.1 + r05.2 + r05.3 + r05.4 + r05.5 |
|
685 |
r15.212 >= r15.213 |
|