1 |
v3 + v4 + v7 - v8 - v9 - v10 - v11 = v12
|
|
9112 |
if (v12>0) then v1 > 0
|
|
9113 |
if (v3>0 or v4>0) then v2>0 |
|
9114 |
if (v3>0 or v4>0) then v13>0 |
|
9115 |
v13>=v3+v4 |
|
9116 |
v4>=v6 |
|
|
R42=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 + r38 + r39 + r40 + r41 |
|