13170 |
length(v1) = 8 või length(v1) = 11 |
|
33156 |
V2 > 0 |
|
33157 |
v3 = 3 või v3 = 4 |
|
43173 |
length(v4) = 2 |
|
53172 |
length(v5) = 4 või length(v5) = 6 või length(v5) = 8 |
|
53201 |
v5 != 2221 |
|
53202 |
v5 != 2222 |
|
53203 |
v5 != 3231 |
|
53204 |
v5 != 1229 |
|
63158 |
v6 = 1 või v6 = 0 |
|
73159 |
v7 = 1 või v7 = 0 |
|
73174 |
kui v7 = 1 siis v6 = 0 |
|
83160 |
v8 = 1 või v8 = 2 või v8 = 3 või v8 = 4 või v8 = 5 |
|
93167 |
v9 = 1 või v9 = 2 või v9 = 3 |
|
93168 |
kui v9 = 2 siis v11 = 0 ja v12 = 0 ja v13 = 0 ja v14 = 0 ja v15 = 0 ja v16 = 0 ja v17 = 0 ja v18 = 0 ja v19 = 0 ja v20 = 0 ja v21 = 0 |
|
93175 |
kui v9 = 3 siis v10 = 0 ja v11 = 0 ja v12 = 0 ja v13 = 0 ja v14 = 0 ja v15 = 0 ja v16 = 0 ja v17 = 0 ja v18 = 0 ja v19 = 0 ja v20 = 0 ja v21 = 0 |
|
103171 |
v10 = 1 või v10 = 0 |
|
133162 |
v13 >= v14
|
|
153200 |
kui v15 > 0 siis V13 > 0 |
|
163163 |
v16 <= v15
|
|
173164 |
v17 <= v15 |
|
183165 |
v18 <= v15 |
|
193166 |
v19 <= v15 |
|
1000001 |
kui v9 != 2 ja v9 != 3 siis v11 = 40 |
|