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 |
|
1405 |
r38 >= r38.1 |
|
1406 |
r39 >= r39.1 + r39.2 + r39.3 |
|
1407 |
r40 = r42 + r43 + r44 + r45 + r46 + r47 + r48 + r49 + r50 + r51 + r52 + r53 + r54 + r55 + r56 + r57 + r58 + r59 |
|
1408 |
r54 >= r54.1 + r54.2 |
|
1409 |
r60 >= r60.1 |
|
1410 |
r66 = r01 + r37 + r39 + r40 + r60 + r61 + r62 + r63 + r64 + r65 |
|
2820 |
r02 >= r02.1 |
|
3133 |
Kui v3 > 0 siis v1 > 0 |
|
3134 |
Kui v4 > 0 siis v2 > 0 |
|