| 1213 |
v1 >= v2 |
|
| 1214 |
v3 >= v4 |
|
| 1403 |
r01 = r02 + r03 + r04 + r05 + r06 + r07 + r08 + r09 + r10 + r11 + r12 + r13 + r14 + r15 + r16 + r17 + r18 + r19 + r20 + r21 + r22 + r23 + r24 + r25 + r26 + r27 + r28 + r29 + r30 + r31 + r32 + r33 + r34 + r35 + r36 + r37 |
|
| 3133 |
Kui v3 > 0 siis v1 > 0 |
|
| 3134 |
Kui v4 > 0 siis v2 > 0 |
|
| 8008 |
r70 = r01 + r39 + r40 + r62 + r63 + r64 + r65 + r66 +r67 + r68 + r69 |
|
| 8009 |
r02.1 <= r02 |
|
| 8010 |
r38.1 <= r38 |
|
| 8011 |
r39.7 <= r39 |
|
| 8012 |
r40.1 <= r40 |
|
| 8013 |
r50.1 <= r50 |
|
| 8016 |
r39 >= r39.1 + r39.2 + r39.3 + r39.4 + r39.5 + r39.6 |
|
| 8051 |
r61 <= r40 |
|
| 8090 |
R38 <= r01 |
|
| 9007 |
r40 = r41 + r42 + r43 + r44 + r45 + r46 + r47 + r48 + r49 + r50 + r51 + r52 + r53 + r54 + r55 + r56 + r57 + r58 + r59 + r60 |
|
| 9014 |
r62.1 <= r62 |
|
| 9015 |
r66.1 <= r66 |
|
