2784 |
r004 >= r005 + r006 |
|
3135 |
r015 >= r016 + r017 |
|
3136 |
r017 >= r018 |
|
3137 |
r021 >= r022 |
|
3138 |
r023 >= r024 |
|
3139 |
r025 >= r026 + r027 + r028 + r029 |
|
3140 |
r036 >= r037 + r038 |
|
3141 |
r039 >= r040 + r041 |
|
3145 |
v1 >= 0 |
r000 |
3150 |
r42 = r43 + r44 + r45 + r46 |
|
3151 |
r33 = r34 + r35 + r36 + r39 |
|
3152 |
r30 = r31 + r32 |
|
3153 |
r19 = r20 + r21 + r23 + r25 |
|
3154 |
r08 = r09 + r10 + r11 + r12 + r13 + r14 |
|
3155 |
r02 = r03 + r04 + r07 |
|
3156 |
r01 = r02 + r08 + r15 + r19 + r30 + r33 + r42 + r47 |
|
8055 |
Kui r25 > 0 siis (r26>0 või r27>0 või r28>0 või r29 >0)
|
|