2000 |
r01 = r02 + r03 + r04 + r13 |
|
2001 |
r04 = r05 + r06 + r07 + r10 |
|
2003 |
r07 = r08 + r09 |
|
2004 |
r10 = r11 + r12 |
|
2005 |
r14 = r15 + r16 + r19 + r20 + r23 |
|
2006 |
r15 = r17 + r18 |
|
2007 |
r20 = r21 + r22 |
|
2008 |
r23 = r24 + r25 |
|
2009 |
r33 = r01 + r14 + r26 + r27 + r28 + r29 + r30 + r31 + r32 |
|
2804 |
r35 <= r34 |
v2; v3 |
2805 |
v3 <= v2 |
R34; R35; R36.1; R36.2; R36.3; R36.4; R36.5; R36.6; R36.7; R37; R38; R39.1; R39.2 |
8032 |
v2 <= v1 |
R34; R35; R36.1; R36.2; R36.3; R36.4; R36.5; R36.6; R36.7; R37; R38; R39.1; R39.2 |
8033 |
(r36.1 = 1 või r36.1 = 0) |
V2; V3 |
8034 |
(r36.2 = 1 või r36.2 = 0) |
v2; v3 |
8035 |
(r36.3 = 1 või r36.3 = 0) |
V2;V3 |
8036 |
(r36.4 = 1 või r36.4 = 0) |
V2;V3 |
8037 |
r36.5 = 1 või r36.5 = 0 |
V2;V3 |
8038 |
r36.6 = 1 või r36.6 = 0
|
V2;V3 |
8039 |
r36.7 = 1 või r36.7 = 0 |
V2;V3 |
8040 |
kui r35 > 0 siis (r36.1 > 0 või r36.2 > 0 või r36.3 > 0 või r36.4 > 0 või r36.5 > 0 või r36.6 > 0või r36.7 > 0) |
V2;V3 |
8041 |
kui (r36.1 > 0 või r36.2 > 0 või r36.3 > 0 või r36.4 > 0 või r36.5 > 0 või r36.6 > 0 või r36.7 > 0) siis r35 > 0
|
V2;V3 |