| 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 |
|
| 3133 |
Kui v3 > 0 siis v1 > 0 |
|
| 3134 |
Kui v4 > 0 siis v2 > 0 |
|
| 8007 |
r39 = r40 + r41 + r42 + r43 + r44 + r45 + r46 + r47 + r48 + r49 + r50 + r51 + r52 + r53 + r54 + r55 + r56 + r57 + r58 |
|
| 8008 |
r68 = r01 + r38 + r39 + r60 + r61 + r62 + r63 + r64 + r65 +r66 + r67 |
|
| 8009 |
r02.1 <= r02 |
|
| 8010 |
r37.1 <= r37 |
|
| 8011 |
r38.7 <= r38 |
|
| 8012 |
r39.1 <= r39 |
|
| 8013 |
r49.1 <= r49 |
|
| 8014 |
r60.1 <= r60 |
|
| 8015 |
r64.1 <= r64 |
|
| 8016 |
r38 >= r38.1 + r38.2 + r38.3 + r38.4 + r38.5 + r38.6 |
|
| 8051 |
r59 <= r39 |
|
| 8090 |
R37 <= r01 |
|
