186 |
r019 >= r020 |
|
187 |
r021 >= r022 |
|
188 |
r023 >= r024 + r025 |
|
189 |
r026 >= r027 |
|
190 |
r028 >= r029 + r030 + r031 |
|
192 |
r038 >= r039 + r040 |
|
194 |
r043 >= r044 + r045 + r046 + r047 |
|
195 |
r048 >= r049 + r050 + r051 + r052 |
|
196 |
r053 >= r054 + r055 + r056 + r057 |
|
197 |
r058 >= r059 + r060 |
|
199 |
r063 >= r064 + r065 + r066 |
|
200 |
r067 >= r068 + r069 + r070 |
|
201 |
r072 >= r073 |
|
204 |
r080 >= r081 + r082 |
|
207 |
r101 >= r102 |
|
210 |
r114 >= r115 |
|
431 |
v1 = v2 + v3 + v4 + v5 |
|
460 |
v2 >= v6 |
|
461 |
v3 >= v7 |
|
462 |
v4 >= v8 |
|
463 |
v5 >= v9 |
|
559 |
r113 = r013 + r032 + r041 + r062 + r079 + r088 + r095 + r096 + r104 + r112 |
|
560 |
r013 >= r001 + r004 + r005 + r006 + r007 + r008 + r009 + r010 |
|
561 |
r032 >= r014 + r015 + r016 + r019 + r021 + r023 + r026 + r028 |
|
562 |
r041 >= r033 + r034 + r035 + r036 + r037 + r038 |
|
563 |
r062 = r042 + r043 + r048 + r053 + r058 + r061 |
|
564 |
r079 = r063 + r067 + r071 + r072 + r074 + r075 + r078 |
|
565 |
r088 >= r080 + r083 + r084 + r085 + r086 + r087 |
|
566 |
r095 = r089 + r090 + r091 + r092 + r093 + r094 |
|
567 |
r104 = r097 + r098 + r099 + r100 + r101 + r103 |
|
568 |
r112 = r105 + r106 + r107 + r108 + r109 + r110 + r111 |
|
569 |
r117 = r113 + r114 + r116 |
|
600 |
r001 >= r002 + r003 |
|
601 |
r010 >= r011 + r012 |
|
602 |
r016 >= r017 + r018 |
|
603 |
r032 >= r032.1 + r032.2 |
|
604 |
r032.1 >= r017 + r020 + r022 + r024 + r025 + r027 |
|
605 |
r075 >= r076 + r077 |
|