## ams_version=1.0 Model Main_color_lab3_3x0 { Variable objvar; Variable b2 { Range: binary; } Variable b3 { Range: binary; } Variable b4 { Range: binary; } Variable b5 { Range: binary; } Variable b6 { Range: binary; } Variable b7 { Range: binary; } Variable b8 { Range: binary; } Variable b9 { Range: binary; } Variable b10 { Range: binary; } Variable b11 { Range: binary; } Variable b12 { Range: binary; } Variable b13 { Range: binary; } Variable b14 { Range: binary; } Variable b15 { Range: binary; } Variable b16 { Range: binary; } Variable b17 { Range: binary; } Variable b18 { Range: binary; } Variable b19 { Range: binary; } Variable b20 { Range: binary; } Variable b21 { Range: binary; } Variable b22 { Range: binary; } Variable b23 { Range: binary; } Variable b24 { Range: binary; } Variable b25 { Range: binary; } Variable b26 { Range: binary; } Variable b27 { Range: binary; } Variable b28 { Range: binary; } Variable b29 { Range: binary; } Variable b30 { Range: binary; } Variable b31 { Range: binary; } Variable b32 { Range: binary; } Variable b33 { Range: binary; } Variable b34 { Range: binary; } Variable b35 { Range: binary; } Variable b36 { Range: binary; } Variable b37 { Range: binary; } Variable b38 { Range: binary; } Variable b39 { Range: binary; } Variable b40 { Range: binary; } Variable b41 { Range: binary; } Variable b42 { Range: binary; } Variable b43 { Range: binary; } Variable b44 { Range: binary; } Variable b45 { Range: binary; } Variable b46 { Range: binary; } Variable b47 { Range: binary; } Variable b48 { Range: binary; } Variable b49 { Range: binary; } Variable b50 { Range: binary; } Variable b51 { Range: binary; } Variable b52 { Range: binary; } Variable b53 { Range: binary; } Variable b54 { Range: binary; } Variable b55 { Range: binary; } Variable b56 { Range: binary; } Variable b57 { Range: binary; } Variable b58 { Range: binary; } Variable b59 { Range: binary; } Variable b60 { Range: binary; } Variable b61 { Range: binary; } Variable b62 { Range: binary; } Variable b63 { Range: binary; } Variable b64 { Range: binary; } Variable b65 { Range: binary; } Variable b66 { Range: binary; } Variable b67 { Range: binary; } Variable b68 { Range: binary; } Variable b69 { Range: binary; } Variable b70 { Range: binary; } Variable b71 { Range: binary; } Variable b72 { Range: binary; } Variable b73 { Range: binary; } Variable b74 { Range: binary; } Variable b75 { Range: binary; } Variable b76 { Range: binary; } Variable b77 { Range: binary; } Variable b78 { Range: binary; } Variable b79 { Range: binary; } Variable b80 { Range: binary; } Variable b81 { Range: binary; } Variable b82 { Range: binary; } Variable b83 { Range: binary; } Variable b84 { Range: binary; } Variable b85 { Range: binary; } Variable b86 { Range: binary; } Variable b87 { Range: binary; } Variable b88 { Range: binary; } Variable b89 { Range: binary; } Variable b90 { Range: binary; } Variable b91 { Range: binary; } Variable b92 { Range: binary; } Variable b93 { Range: binary; } Variable b94 { Range: binary; } Variable b95 { Range: binary; } Variable b96 { Range: binary; } Variable b97 { Range: binary; } Variable b98 { Range: binary; } Variable b99 { Range: binary; } Variable b100 { Range: binary; } Variable b101 { Range: binary; } Variable b102 { Range: binary; } Variable b103 { Range: binary; } Variable b104 { Range: binary; } Variable b105 { Range: binary; } Variable b106 { Range: binary; } Variable b107 { Range: binary; } Variable b108 { Range: binary; } Variable b109 { Range: binary; } Variable b110 { Range: binary; } Variable b111 { Range: binary; } Variable b112 { Range: binary; } Variable b113 { Range: binary; } Variable b114 { Range: binary; } Variable b115 { Range: binary; } Variable b116 { Range: binary; } Variable b117 { Range: binary; } Variable b118 { Range: binary; } Variable b119 { Range: binary; } Variable b120 { Range: binary; } Variable b121 { Range: binary; } Variable b122 { Range: binary; } Variable b123 { Range: binary; } Variable b124 { Range: binary; } Variable b125 { Range: binary; } Variable b126 { Range: binary; } Variable b127 { Range: binary; } Variable b128 { Range: binary; } Variable b129 { Range: binary; } Variable b130 { Range: binary; } Variable b131 { Range: binary; } Variable b132 { Range: binary; } Variable b133 { Range: binary; } Variable b134 { Range: binary; } Variable b135 { Range: binary; } Variable b136 { Range: binary; } Variable b137 { Range: binary; } Variable b138 { Range: binary; } Variable b139 { Range: binary; } Variable b140 { Range: binary; } Variable b141 { Range: binary; } Variable b142 { Range: binary; } Variable b143 { Range: binary; } Variable b144 { Range: binary; } Variable b145 { Range: binary; } Variable b146 { Range: binary; } Variable b147 { Range: binary; } Variable b148 { Range: binary; } Variable b149 { Range: binary; } Variable b150 { Range: binary; } Variable b151 { Range: binary; } Variable b152 { Range: binary; } Variable b153 { Range: binary; } Variable b154 { Range: binary; } Variable b155 { Range: binary; } Variable b156 { Range: binary; } Variable b157 { Range: binary; } Variable b158 { Range: binary; } Variable b159 { Range: binary; } Variable b160 { Range: binary; } Variable b161 { Range: binary; } Variable b162 { Range: binary; } Variable b163 { Range: binary; } Variable b164 { Range: binary; } Variable b165 { Range: binary; } Variable b166 { Range: binary; } Variable b167 { Range: binary; } Variable b168 { Range: binary; } Variable b169 { Range: binary; } Variable b170 { Range: binary; } Variable b171 { Range: binary; } Variable b172 { Range: binary; } Variable b173 { Range: binary; } Variable b174 { Range: binary; } Variable b175 { Range: binary; } Variable b176 { Range: binary; } Variable b177 { Range: binary; } Variable b178 { Range: binary; } Variable b179 { Range: binary; } Variable b180 { Range: binary; } Variable b181 { Range: binary; } Variable b182 { Range: binary; } Variable b183 { Range: binary; } Variable b184 { Range: binary; } Variable b185 { Range: binary; } Variable b186 { Range: binary; } Variable b187 { Range: binary; } Variable b188 { Range: binary; } Variable b189 { Range: binary; } Variable b190 { Range: binary; } Variable b191 { Range: binary; } Variable b192 { Range: binary; } Variable b193 { Range: binary; } Variable b194 { Range: binary; } Variable b195 { Range: binary; } Variable b196 { Range: binary; } Variable b197 { Range: binary; } Variable b198 { Range: binary; } Variable b199 { Range: binary; } Variable b200 { Range: binary; } Variable b201 { Range: binary; } Variable b202 { Range: binary; } Variable b203 { Range: binary; } Variable b204 { Range: binary; } Variable b205 { Range: binary; } Variable b206 { Range: binary; } Variable b207 { Range: binary; } Variable b208 { Range: binary; } Variable b209 { Range: binary; } Variable b210 { Range: binary; } Variable b211 { Range: binary; } Variable b212 { Range: binary; } Variable b213 { Range: binary; } Variable b214 { Range: binary; } Variable b215 { Range: binary; } Variable b216 { Range: binary; } Variable b217 { Range: binary; } Variable b218 { Range: binary; } Variable b219 { Range: binary; } Variable b220 { Range: binary; } Variable b221 { Range: binary; } Variable b222 { Range: binary; } Variable b223 { Range: binary; } Variable b224 { Range: binary; } Variable b225 { Range: binary; } Variable b226 { Range: binary; } Variable b227 { Range: binary; } Variable b228 { Range: binary; } Variable b229 { Range: binary; } Variable b230 { Range: binary; } Variable b231 { Range: binary; } Variable b232 { Range: binary; } Variable b233 { Range: binary; } Variable b234 { Range: binary; } Variable b235 { Range: binary; } Variable b236 { Range: binary; } Variable b237 { Range: binary; } Variable b238 { Range: binary; } Variable b239 { Range: binary; } Variable b240 { Range: binary; } Variable b241 { Range: binary; } Variable b242 { Range: binary; } Variable b243 { Range: binary; } Variable b244 { Range: binary; } Variable b245 { Range: binary; } Variable b246 { Range: binary; } Variable b247 { Range: binary; } Variable b248 { Range: binary; } Variable b249 { Range: binary; } Variable b250 { Range: binary; } Variable b251 { Range: binary; } Variable b252 { Range: binary; } Variable b253 { Range: binary; } Variable b254 { Range: binary; } Variable b255 { Range: binary; } Variable b256 { Range: binary; } Variable b257 { Range: binary; } Variable b258 { Range: binary; } Variable b259 { Range: binary; } Variable b260 { Range: binary; } Variable b261 { Range: binary; } Variable b262 { Range: binary; } Variable b263 { Range: binary; } Variable b264 { Range: binary; } Variable b265 { Range: binary; } Variable b266 { Range: binary; } Variable b267 { Range: binary; } Variable b268 { Range: binary; } Variable b269 { Range: binary; } Variable b270 { Range: binary; } Variable b271 { Range: binary; } Variable b272 { Range: binary; } Variable b273 { Range: binary; } Variable b274 { Range: binary; } Variable b275 { Range: binary; } Variable b276 { Range: binary; } Variable b277 { Range: binary; } Variable b278 { Range: binary; } Variable b279 { Range: binary; } Variable b280 { Range: binary; } Variable b281 { Range: binary; } Variable b282 { Range: binary; } Variable b283 { Range: binary; } Variable b284 { Range: binary; } Variable b285 { Range: binary; } Variable b286 { Range: binary; } Variable b287 { Range: binary; } Variable b288 { Range: binary; } Variable b289 { Range: binary; } Variable b290 { Range: binary; } Variable b291 { Range: binary; } Variable b292 { Range: binary; } Variable b293 { Range: binary; } Variable b294 { Range: binary; } Variable b295 { Range: binary; } Variable b296 { Range: binary; } Variable b297 { Range: binary; } Variable b298 { Range: binary; } Variable b299 { Range: binary; } Variable b300 { Range: binary; } Variable b301 { Range: binary; } Variable b302 { Range: binary; } Variable b303 { Range: binary; } Variable b304 { Range: binary; } Variable b305 { Range: binary; } Variable b306 { Range: binary; } Variable b307 { Range: binary; } Variable b308 { Range: binary; } Variable b309 { Range: binary; } Variable b310 { Range: binary; } Variable b311 { Range: binary; } Variable b312 { Range: binary; } Variable b313 { Range: binary; } Variable b314 { Range: binary; } Variable b315 { Range: binary; } Variable b316 { Range: binary; } Variable b317 { Range: binary; } Constraint e1 { Definition: { b2*b3 + 0.33*b2*b4 + 0.66*b2*b5 + 0.5*b2*b6 + 0.165*b2*b7 + 0.33*b2*b8 + 0.8*b2*b9 + 0.264*b2*b10 + 0.528*b2*b11 + 0.8*b2*b12 + 0.264*b2*b13 + 0.528*b2*b14 + 0.3*b2*b15 + 0.099*b2*b16 + 0.198*b2*b17 + b3*b6 + 0.33*b3* b7 + 0.66*b3*b8 + 0.8*b3*b9 + 0.264*b3*b10 + 0.528*b3*b11 + 0.8*b3*b12 + 0.264*b3*b13 + 0.528*b3*b14 + 0.33*b3*b18 + 0.66*b3*b19 + 0.5*b3*b20 + 0.165*b3*b21 + 0.33*b3*b22 + 0.8*b3*b23 + 0.264*b3*b24 + 0.528*b3*b25 + 0.33*b4*b6 + b4*b7 + 0.33*b4*b8 + 0.264*b4*b9 + 0.8*b4*b10 + 0.264*b4*b11 + 0.264*b4*b12 + 0.8*b4*b13 + 0.264*b4*b14 + b4*b18 + 0.33*b4*b19 + 0.165 *b4*b20 + 0.5*b4*b21 + 0.165*b4*b22 + 0.264*b4*b23 + 0.8*b4*b24 + 0.264*b4 *b25 + 0.66*b5*b6 + 0.33*b5*b7 + b5*b8 + 0.528*b5*b9 + 0.264*b5*b10 + 0.8* b5*b11 + 0.528*b5*b12 + 0.264*b5*b13 + 0.8*b5*b14 + 0.33*b5*b18 + b5*b19 + 0.33*b5*b20 + 0.165*b5*b21 + 0.5*b5*b22 + 0.528*b5*b23 + 0.264*b5*b24 + 0.8*b5*b25 + 0.8*b6*b12 + 0.264*b6*b13 + 0.528*b6*b14 + 0.165*b6*b18 + 0.33*b6*b19 + b6*b20 + 0.33*b6*b21 + 0.66*b6*b22 + 0.8*b6*b23 + 0.264*b6* b24 + 0.528*b6*b25 + 0.8*b6*b26 + 0.264*b6*b27 + 0.528*b6*b28 + 0.264*b7* b12 + 0.8*b7*b13 + 0.264*b7*b14 + 0.5*b7*b18 + 0.165*b7*b19 + 0.33*b7*b20 + b7*b21 + 0.33*b7*b22 + 0.264*b7*b23 + 0.8*b7*b24 + 0.264*b7*b25 + 0.264 *b7*b26 + 0.8*b7*b27 + 0.264*b7*b28 + 0.528*b8*b12 + 0.264*b8*b13 + 0.8*b8 *b14 + 0.165*b8*b18 + 0.5*b8*b19 + 0.66*b8*b20 + 0.33*b8*b21 + b8*b22 + 0.528*b8*b23 + 0.264*b8*b24 + 0.8*b8*b25 + 0.528*b8*b26 + 0.264*b8*b27 + 0.8*b8*b28 + b9*b12 + 0.33*b9*b13 + 0.66*b9*b14 + 0.264*b9*b18 + 0.528*b9* b19 + 0.5*b9*b23 + 0.165*b9*b24 + 0.33*b9*b25 + 0.3*b9*b29 + 0.099*b9*b30 + 0.198*b9*b31 + 0.3*b9*b32 + 0.099*b9*b33 + 0.198*b9*b34 + 0.3*b9*b35 + 0.099*b9*b36 + 0.198*b9*b37 + 0.33*b10*b12 + b10*b13 + 0.33*b10*b14 + 0.8* b10*b18 + 0.264*b10*b19 + 0.165*b10*b23 + 0.5*b10*b24 + 0.165*b10*b25 + 0.099*b10*b29 + 0.3*b10*b30 + 0.099*b10*b31 + 0.099*b10*b32 + 0.3*b10*b33 + 0.099*b10*b34 + 0.099*b10*b35 + 0.3*b10*b36 + 0.099*b10*b37 + 0.66*b11* b12 + 0.33*b11*b13 + b11*b14 + 0.264*b11*b18 + 0.8*b11*b19 + 0.33*b11*b23 + 0.165*b11*b24 + 0.5*b11*b25 + 0.198*b11*b29 + 0.099*b11*b30 + 0.3*b11* b31 + 0.198*b11*b32 + 0.099*b11*b33 + 0.3*b11*b34 + 0.198*b11*b35 + 0.099* b11*b36 + 0.3*b11*b37 + 0.264*b12*b18 + 0.528*b12*b19 + b12*b23 + 0.33*b12 *b24 + 0.66*b12*b25 + 0.5*b12*b26 + 0.165*b12*b27 + 0.33*b12*b28 + 0.3*b12 *b29 + 0.099*b12*b30 + 0.198*b12*b31 + 0.3*b12*b32 + 0.099*b12*b33 + 0.198 *b12*b34 + 0.3*b12*b38 + 0.099*b12*b39 + 0.198*b12*b40 + 0.8*b13*b18 + 0.264*b13*b19 + 0.33*b13*b23 + b13*b24 + 0.33*b13*b25 + 0.165*b13*b26 + 0.5*b13*b27 + 0.165*b13*b28 + 0.099*b13*b29 + 0.3*b13*b30 + 0.099*b13*b31 + 0.099*b13*b32 + 0.3*b13*b33 + 0.099*b13*b34 + 0.099*b13*b38 + 0.3*b13* b39 + 0.099*b13*b40 + 0.264*b14*b18 + 0.8*b14*b19 + 0.66*b14*b23 + 0.33* b14*b24 + b14*b25 + 0.33*b14*b26 + 0.165*b14*b27 + 0.5*b14*b28 + 0.198*b14 *b29 + 0.099*b14*b30 + 0.3*b14*b31 + 0.198*b14*b32 + 0.099*b14*b33 + 0.3* b14*b34 + 0.198*b14*b38 + 0.099*b14*b39 + 0.3*b14*b40 + 0.099*b15*b18 + 0.198*b15*b19 + 0.8*b15*b35 + 0.264*b15*b36 + 0.528*b15*b37 + 0.3*b15*b41 + 0.099*b15*b42 + 0.198*b15*b43 + 0.5*b15*b44 + 0.165*b15*b45 + 0.33*b15* b46 + 0.3*b15*b47 + 0.099*b15*b48 + 0.198*b15*b49 + b15*b50 + 0.33*b15*b51 + 0.66*b15*b52 + 0.8*b15*b53 + 0.264*b15*b54 + 0.528*b15*b55 + 0.3*b16* b18 + 0.099*b16*b19 + 0.264*b16*b35 + 0.8*b16*b36 + 0.264*b16*b37 + 0.099* b16*b41 + 0.3*b16*b42 + 0.099*b16*b43 + 0.165*b16*b44 + 0.5*b16*b45 + 0.165*b16*b46 + 0.099*b16*b47 + 0.3*b16*b48 + 0.099*b16*b49 + 0.33*b16*b50 + b16*b51 + 0.33*b16*b52 + 0.264*b16*b53 + 0.8*b16*b54 + 0.264*b16*b55 + 0.099*b17*b18 + 0.3*b17*b19 + 0.528*b17*b35 + 0.264*b17*b36 + 0.8*b17*b37 + 0.198*b17*b41 + 0.099*b17*b42 + 0.3*b17*b43 + 0.33*b17*b44 + 0.165*b17* b45 + 0.5*b17*b46 + 0.198*b17*b47 + 0.099*b17*b48 + 0.3*b17*b49 + 0.66*b17 *b50 + 0.33*b17*b51 + b17*b52 + 0.528*b17*b53 + 0.264*b17*b54 + 0.8*b17* b55 + 0.8*b20*b23 + 0.264*b20*b24 + 0.528*b20*b25 + 0.8*b20*b26 + 0.264* b20*b27 + 0.528*b20*b28 + 0.264*b21*b23 + 0.8*b21*b24 + 0.264*b21*b25 + 0.264*b21*b26 + 0.8*b21*b27 + 0.264*b21*b28 + 0.528*b22*b23 + 0.264*b22* b24 + 0.8*b22*b25 + 0.528*b22*b26 + 0.264*b22*b27 + 0.8*b22*b28 + b23*b26 + 0.33*b23*b27 + 0.66*b23*b28 + 0.3*b23*b32 + 0.099*b23*b33 + 0.198*b23* b34 + 0.3*b23*b38 + 0.099*b23*b39 + 0.198*b23*b40 + 0.3*b23*b56 + 0.099* b23*b57 + 0.198*b23*b58 + 0.33*b24*b26 + b24*b27 + 0.33*b24*b28 + 0.099* b24*b32 + 0.3*b24*b33 + 0.099*b24*b34 + 0.099*b24*b38 + 0.3*b24*b39 + 0.099*b24*b40 + 0.099*b24*b56 + 0.3*b24*b57 + 0.099*b24*b58 + 0.66*b25*b26 + 0.33*b25*b27 + b25*b28 + 0.198*b25*b32 + 0.099*b25*b33 + 0.3*b25*b34 + 0.198*b25*b38 + 0.099*b25*b39 + 0.3*b25*b40 + 0.198*b25*b56 + 0.099*b25* b57 + 0.3*b25*b58 + 0.3*b26*b38 + 0.099*b26*b39 + 0.198*b26*b40 + 0.3*b26* b56 + 0.099*b26*b57 + 0.198*b26*b58 + 0.099*b27*b38 + 0.3*b27*b39 + 0.099* b27*b40 + 0.099*b27*b56 + 0.3*b27*b57 + 0.099*b27*b58 + 0.198*b28*b38 + 0.099*b28*b39 + 0.3*b28*b40 + 0.198*b28*b56 + 0.099*b28*b57 + 0.3*b28*b58 + b29*b32 + 0.33*b29*b33 + 0.66*b29*b34 + 0.5*b29*b38 + 0.165*b29*b39 + 0.33*b29*b40 + 0.8*b29*b59 + 0.264*b29*b60 + 0.528*b29*b61 + 0.8*b29*b62 + 0.264*b29*b63 + 0.528*b29*b64 + 0.3*b29*b65 + 0.099*b29*b66 + 0.198*b29 *b67 + 0.33*b30*b32 + b30*b33 + 0.33*b30*b34 + 0.165*b30*b38 + 0.5*b30*b39 + 0.165*b30*b40 + 0.264*b30*b59 + 0.8*b30*b60 + 0.264*b30*b61 + 0.264*b30 *b62 + 0.8*b30*b63 + 0.264*b30*b64 + 0.099*b30*b65 + 0.3*b30*b66 + 0.099* b30*b67 + 0.66*b31*b32 + 0.33*b31*b33 + b31*b34 + 0.33*b31*b38 + 0.165*b31 *b39 + 0.5*b31*b40 + 0.528*b31*b59 + 0.264*b31*b60 + 0.8*b31*b61 + 0.528* b31*b62 + 0.264*b31*b63 + 0.8*b31*b64 + 0.198*b31*b65 + 0.099*b31*b66 + 0.3*b31*b67 + b32*b38 + 0.33*b32*b39 + 0.66*b32*b40 + 0.5*b32*b56 + 0.165* b32*b57 + 0.33*b32*b58 + 0.8*b32*b59 + 0.264*b32*b60 + 0.528*b32*b61 + 0.8 *b32*b62 + 0.264*b32*b63 + 0.528*b32*b64 + 0.8*b32*b68 + 0.264*b32*b69 + 0.528*b32*b70 + 0.33*b33*b38 + b33*b39 + 0.33*b33*b40 + 0.165*b33*b56 + 0.5*b33*b57 + 0.165*b33*b58 + 0.264*b33*b59 + 0.8*b33*b60 + 0.264*b33*b61 + 0.264*b33*b62 + 0.8*b33*b63 + 0.264*b33*b64 + 0.264*b33*b68 + 0.8*b33* b69 + 0.264*b33*b70 + 0.66*b34*b38 + 0.33*b34*b39 + b34*b40 + 0.33*b34*b56 + 0.165*b34*b57 + 0.5*b34*b58 + 0.528*b34*b59 + 0.264*b34*b60 + 0.8*b34* b61 + 0.528*b34*b62 + 0.264*b34*b63 + 0.8*b34*b64 + 0.528*b34*b68 + 0.264* b34*b69 + 0.8*b34*b70 + 0.8*b35*b50 + 0.264*b35*b51 + 0.528*b35*b52 + b35* b53 + 0.33*b35*b54 + 0.66*b35*b55 + 0.3*b35*b65 + 0.099*b35*b66 + 0.198* b35*b67 + 0.5*b35*b71 + 0.165*b35*b72 + 0.33*b35*b73 + 0.3*b35*b74 + 0.099 *b35*b75 + 0.198*b35*b76 + 0.264*b36*b50 + 0.8*b36*b51 + 0.264*b36*b52 + 0.33*b36*b53 + b36*b54 + 0.33*b36*b55 + 0.099*b36*b65 + 0.3*b36*b66 + 0.099*b36*b67 + 0.165*b36*b71 + 0.5*b36*b72 + 0.165*b36*b73 + 0.099*b36* b74 + 0.3*b36*b75 + 0.099*b36*b76 + 0.528*b37*b50 + 0.264*b37*b51 + 0.8* b37*b52 + 0.66*b37*b53 + 0.33*b37*b54 + b37*b55 + 0.198*b37*b65 + 0.099* b37*b66 + 0.3*b37*b67 + 0.33*b37*b71 + 0.165*b37*b72 + 0.5*b37*b73 + 0.198 *b37*b74 + 0.099*b37*b75 + 0.3*b37*b76 + b38*b56 + 0.33*b38*b57 + 0.66*b38 *b58 + 0.8*b38*b62 + 0.264*b38*b63 + 0.528*b38*b64 + 0.8*b38*b68 + 0.264* b38*b69 + 0.528*b38*b70 + 0.8*b38*b77 + 0.264*b38*b78 + 0.528*b38*b79 + 0.33*b39*b56 + b39*b57 + 0.33*b39*b58 + 0.264*b39*b62 + 0.8*b39*b63 + 0.264*b39*b64 + 0.264*b39*b68 + 0.8*b39*b69 + 0.264*b39*b70 + 0.264*b39* b77 + 0.8*b39*b78 + 0.264*b39*b79 + 0.66*b40*b56 + 0.33*b40*b57 + b40*b58 + 0.528*b40*b62 + 0.264*b40*b63 + 0.8*b40*b64 + 0.528*b40*b68 + 0.264*b40 *b69 + 0.8*b40*b70 + 0.528*b40*b77 + 0.264*b40*b78 + 0.8*b40*b79 + 0.3*b41 *b44 + 0.099*b41*b45 + 0.198*b41*b46 + b41*b47 + 0.33*b41*b48 + 0.66*b41* b49 + 0.3*b41*b50 + 0.099*b41*b51 + 0.198*b41*b52 + 0.5*b41*b80 + b41*b81 + 0.33*b41*b82 + 0.66*b41*b83 + 0.165*b41*b84 + 0.33*b41*b85 + 0.099*b42* b44 + 0.3*b42*b45 + 0.099*b42*b46 + 0.33*b42*b47 + b42*b48 + 0.33*b42*b49 + 0.099*b42*b50 + 0.3*b42*b51 + 0.099*b42*b52 + 0.165*b42*b80 + 0.33*b42* b81 + b42*b82 + 0.33*b42*b83 + 0.5*b42*b84 + 0.165*b42*b85 + 0.198*b43*b44 + 0.099*b43*b45 + 0.3*b43*b46 + 0.66*b43*b47 + 0.33*b43*b48 + b43*b49 + 0.198*b43*b50 + 0.099*b43*b51 + 0.3*b43*b52 + 0.33*b43*b80 + 0.66*b43*b81 + 0.33*b43*b82 + b43*b83 + 0.165*b43*b84 + 0.5*b43*b85 + b44*b50 + 0.33* b44*b51 + 0.66*b44*b52 + 0.8*b44*b53 + 0.264*b44*b54 + 0.528*b44*b55 + 0.8 *b44*b71 + 0.264*b44*b72 + 0.528*b44*b73 + 0.3*b44*b80 + 0.3*b44*b81 + 0.099*b44*b82 + 0.198*b44*b83 + 0.099*b44*b84 + 0.198*b44*b85 + b44*b86 + 0.33*b44*b87 + 0.66*b44*b88 + 0.8*b44*b89 + 0.264*b44*b90 + 0.528*b44*b91 + 0.33*b45*b50 + b45*b51 + 0.33*b45*b52 + 0.264*b45*b53 + 0.8*b45*b54 + 0.264*b45*b55 + 0.264*b45*b71 + 0.8*b45*b72 + 0.264*b45*b73 + 0.099*b45* b80 + 0.099*b45*b81 + 0.3*b45*b82 + 0.099*b45*b83 + 0.3*b45*b84 + 0.099* b45*b85 + 0.33*b45*b86 + b45*b87 + 0.33*b45*b88 + 0.264*b45*b89 + 0.8*b45* b90 + 0.264*b45*b91 + 0.66*b46*b50 + 0.33*b46*b51 + b46*b52 + 0.528*b46* b53 + 0.264*b46*b54 + 0.8*b46*b55 + 0.528*b46*b71 + 0.264*b46*b72 + 0.8* b46*b73 + 0.198*b46*b80 + 0.198*b46*b81 + 0.099*b46*b82 + 0.3*b46*b83 + 0.099*b46*b84 + 0.3*b46*b85 + 0.66*b46*b86 + 0.33*b46*b87 + b46*b88 + 0.528*b46*b89 + 0.264*b46*b90 + 0.8*b46*b91 + 0.3*b47*b50 + 0.099*b47*b51 + 0.198*b47*b52 + 0.5*b47*b81 + 0.165*b47*b82 + 0.33*b47*b83 + 0.099*b48* b50 + 0.3*b48*b51 + 0.099*b48*b52 + 0.165*b48*b81 + 0.5*b48*b82 + 0.165* b48*b83 + 0.198*b49*b50 + 0.099*b49*b51 + 0.3*b49*b52 + 0.33*b49*b81 + 0.165*b49*b82 + 0.5*b49*b83 + 0.8*b50*b53 + 0.264*b50*b54 + 0.528*b50*b55 + 0.8*b50*b71 + 0.264*b50*b72 + 0.528*b50*b73 + 0.3*b50*b81 + 0.099*b50* b82 + 0.198*b50*b83 + 0.5*b50*b86 + 0.165*b50*b87 + 0.33*b50*b88 + 0.264* b51*b53 + 0.8*b51*b54 + 0.264*b51*b55 + 0.264*b51*b71 + 0.8*b51*b72 + 0.264*b51*b73 + 0.099*b51*b81 + 0.3*b51*b82 + 0.099*b51*b83 + 0.165*b51* b86 + 0.5*b51*b87 + 0.165*b51*b88 + 0.528*b52*b53 + 0.264*b52*b54 + 0.8* b52*b55 + 0.528*b52*b71 + 0.264*b52*b72 + 0.8*b52*b73 + 0.198*b52*b81 + 0.099*b52*b82 + 0.3*b52*b83 + 0.33*b52*b86 + 0.165*b52*b87 + 0.5*b52*b88 + 0.3*b53*b65 + 0.099*b53*b66 + 0.198*b53*b67 + b53*b71 + 0.33*b53*b72 + 0.66*b53*b73 + 0.3*b53*b74 + 0.099*b53*b75 + 0.198*b53*b76 + 0.5*b53*b89 + 0.165*b53*b90 + 0.33*b53*b91 + 0.3*b53*b92 + 0.099*b53*b93 + 0.198*b53* b94 + 0.099*b54*b65 + 0.3*b54*b66 + 0.099*b54*b67 + 0.33*b54*b71 + b54*b72 + 0.33*b54*b73 + 0.099*b54*b74 + 0.3*b54*b75 + 0.099*b54*b76 + 0.165*b54* b89 + 0.5*b54*b90 + 0.165*b54*b91 + 0.099*b54*b92 + 0.3*b54*b93 + 0.099* b54*b94 + 0.198*b55*b65 + 0.099*b55*b66 + 0.3*b55*b67 + 0.66*b55*b71 + 0.33*b55*b72 + b55*b73 + 0.198*b55*b74 + 0.099*b55*b75 + 0.3*b55*b76 + 0.33*b55*b89 + 0.165*b55*b90 + 0.5*b55*b91 + 0.198*b55*b92 + 0.099*b55*b93 + 0.3*b55*b94 + 0.8*b56*b68 + 0.264*b56*b69 + 0.528*b56*b70 + 0.8*b56*b77 + 0.264*b56*b78 + 0.528*b56*b79 + 0.264*b57*b68 + 0.8*b57*b69 + 0.264*b57 *b70 + 0.264*b57*b77 + 0.8*b57*b78 + 0.264*b57*b79 + 0.528*b58*b68 + 0.264 *b58*b69 + 0.8*b58*b70 + 0.528*b58*b77 + 0.264*b58*b78 + 0.8*b58*b79 + b59 *b62 + 0.33*b59*b63 + 0.66*b59*b64 + 0.5*b59*b68 + 0.165*b59*b69 + 0.33* b59*b70 + 0.3*b59*b95 + 0.099*b59*b96 + 0.198*b59*b97 + 0.3*b59*b98 + 0.099*b59*b99 + 0.198*b59*b100 + 0.33*b60*b62 + b60*b63 + 0.33*b60*b64 + 0.165*b60*b68 + 0.5*b60*b69 + 0.165*b60*b70 + 0.099*b60*b95 + 0.3*b60*b96 + 0.099*b60*b97 + 0.099*b60*b98 + 0.3*b60*b99 + 0.099*b60*b100 + 0.66*b61 *b62 + 0.33*b61*b63 + b61*b64 + 0.33*b61*b68 + 0.165*b61*b69 + 0.5*b61*b70 + 0.198*b61*b95 + 0.099*b61*b96 + 0.3*b61*b97 + 0.198*b61*b98 + 0.099*b61 *b99 + 0.3*b61*b100 + b62*b68 + 0.33*b62*b69 + 0.66*b62*b70 + 0.5*b62*b77 + 0.165*b62*b78 + 0.33*b62*b79 + 0.3*b62*b95 + 0.099*b62*b96 + 0.198*b62* b97 + 0.33*b63*b68 + b63*b69 + 0.33*b63*b70 + 0.165*b63*b77 + 0.5*b63*b78 + 0.165*b63*b79 + 0.099*b63*b95 + 0.3*b63*b96 + 0.099*b63*b97 + 0.66*b64* b68 + 0.33*b64*b69 + b64*b70 + 0.33*b64*b77 + 0.165*b64*b78 + 0.5*b64*b79 + 0.198*b64*b95 + 0.099*b64*b96 + 0.3*b64*b97 + b65*b74 + 0.33*b65*b75 + 0.66*b65*b76 + 0.5*b65*b92 + 0.165*b65*b93 + 0.33*b65*b94 + 0.8*b65*b98 + 0.264*b65*b99 + 0.528*b65*b100 + 0.8*b65*b101 + 0.264*b65*b102 + 0.528*b65 *b103 + 0.33*b66*b74 + b66*b75 + 0.33*b66*b76 + 0.165*b66*b92 + 0.5*b66* b93 + 0.165*b66*b94 + 0.264*b66*b98 + 0.8*b66*b99 + 0.264*b66*b100 + 0.264 *b66*b101 + 0.8*b66*b102 + 0.264*b66*b103 + 0.66*b67*b74 + 0.33*b67*b75 + b67*b76 + 0.33*b67*b92 + 0.165*b67*b93 + 0.5*b67*b94 + 0.528*b67*b98 + 0.264*b67*b99 + 0.8*b67*b100 + 0.528*b67*b101 + 0.264*b67*b102 + 0.8*b67* b103 + b68*b77 + 0.33*b68*b78 + 0.66*b68*b79 + 0.3*b68*b104 + 0.099*b68* b105 + 0.198*b68*b106 + 0.33*b69*b77 + b69*b78 + 0.33*b69*b79 + 0.099*b69* b104 + 0.3*b69*b105 + 0.099*b69*b106 + 0.66*b70*b77 + 0.33*b70*b78 + b70* b79 + 0.198*b70*b104 + 0.099*b70*b105 + 0.3*b70*b106 + 0.3*b71*b74 + 0.099 *b71*b75 + 0.198*b71*b76 + 0.8*b71*b86 + 0.264*b71*b87 + 0.528*b71*b88 + b71*b89 + 0.33*b71*b90 + 0.66*b71*b91 + 0.3*b71*b92 + 0.099*b71*b93 + 0.198*b71*b94 + 0.3*b71*b107 + 0.099*b71*b108 + 0.198*b71*b109 + 0.099*b72 *b74 + 0.3*b72*b75 + 0.099*b72*b76 + 0.264*b72*b86 + 0.8*b72*b87 + 0.264* b72*b88 + 0.33*b72*b89 + b72*b90 + 0.33*b72*b91 + 0.099*b72*b92 + 0.3*b72* b93 + 0.099*b72*b94 + 0.099*b72*b107 + 0.3*b72*b108 + 0.099*b72*b109 + 0.198*b73*b74 + 0.099*b73*b75 + 0.3*b73*b76 + 0.528*b73*b86 + 0.264*b73* b87 + 0.8*b73*b88 + 0.66*b73*b89 + 0.33*b73*b90 + b73*b91 + 0.198*b73*b92 + 0.099*b73*b93 + 0.3*b73*b94 + 0.198*b73*b107 + 0.099*b73*b108 + 0.3*b73 *b109 + b74*b92 + 0.33*b74*b93 + 0.66*b74*b94 + 0.8*b74*b98 + 0.264*b74* b99 + 0.528*b74*b100 + 0.8*b74*b101 + 0.264*b74*b102 + 0.528*b74*b103 + 0.5*b74*b107 + 0.165*b74*b108 + 0.33*b74*b109 + 0.8*b74*b110 + 0.264*b74* b111 + 0.528*b74*b112 + 0.33*b75*b92 + b75*b93 + 0.33*b75*b94 + 0.264*b75* b98 + 0.8*b75*b99 + 0.264*b75*b100 + 0.264*b75*b101 + 0.8*b75*b102 + 0.264 *b75*b103 + 0.165*b75*b107 + 0.5*b75*b108 + 0.165*b75*b109 + 0.264*b75* b110 + 0.8*b75*b111 + 0.264*b75*b112 + 0.66*b76*b92 + 0.33*b76*b93 + b76* b94 + 0.528*b76*b98 + 0.264*b76*b99 + 0.8*b76*b100 + 0.528*b76*b101 + 0.264*b76*b102 + 0.8*b76*b103 + 0.33*b76*b107 + 0.165*b76*b108 + 0.5*b76* b109 + 0.528*b76*b110 + 0.264*b76*b111 + 0.8*b76*b112 + 0.3*b77*b104 + 0.099*b77*b105 + 0.198*b77*b106 + 0.099*b78*b104 + 0.3*b78*b105 + 0.099* b78*b106 + 0.198*b79*b104 + 0.099*b79*b105 + 0.3*b79*b106 + b80*b81 + 0.33 *b80*b82 + 0.66*b80*b83 + 0.3*b80*b86 + 0.099*b80*b87 + 0.198*b80*b88 + 0.33*b81*b84 + 0.66*b81*b85 + 0.3*b81*b86 + 0.099*b81*b87 + 0.198*b81*b88 + b82*b84 + 0.33*b82*b85 + 0.099*b82*b86 + 0.3*b82*b87 + 0.099*b82*b88 + 0.33*b83*b84 + b83*b85 + 0.198*b83*b86 + 0.099*b83*b87 + 0.3*b83*b88 + 0.099*b84*b86 + 0.3*b84*b87 + 0.099*b84*b88 + 0.198*b85*b86 + 0.099*b85* b87 + 0.3*b85*b88 + 0.8*b86*b89 + 0.264*b86*b90 + 0.528*b86*b91 + 0.264* b87*b89 + 0.8*b87*b90 + 0.264*b87*b91 + 0.528*b88*b89 + 0.264*b88*b90 + 0.8*b88*b91 + 0.3*b89*b92 + 0.099*b89*b93 + 0.198*b89*b94 + 0.3*b89*b107 + 0.099*b89*b108 + 0.198*b89*b109 + 0.099*b90*b92 + 0.3*b90*b93 + 0.099* b90*b94 + 0.099*b90*b107 + 0.3*b90*b108 + 0.099*b90*b109 + 0.198*b91*b92 + 0.099*b91*b93 + 0.3*b91*b94 + 0.198*b91*b107 + 0.099*b91*b108 + 0.3*b91 *b109 + 0.8*b92*b101 + 0.264*b92*b102 + 0.528*b92*b103 + b92*b107 + 0.33* b92*b108 + 0.66*b92*b109 + 0.8*b92*b110 + 0.264*b92*b111 + 0.528*b92*b112 + 0.8*b92*b113 + 0.264*b92*b114 + 0.528*b92*b115 + 0.264*b93*b101 + 0.8* b93*b102 + 0.264*b93*b103 + 0.33*b93*b107 + b93*b108 + 0.33*b93*b109 + 0.264*b93*b110 + 0.8*b93*b111 + 0.264*b93*b112 + 0.264*b93*b113 + 0.8*b93* b114 + 0.264*b93*b115 + 0.528*b94*b101 + 0.264*b94*b102 + 0.8*b94*b103 + 0.66*b94*b107 + 0.33*b94*b108 + b94*b109 + 0.528*b94*b110 + 0.264*b94*b111 + 0.8*b94*b112 + 0.528*b94*b113 + 0.264*b94*b114 + 0.8*b94*b115 + 0.8*b95 *b116 + 0.264*b95*b117 + 0.528*b95*b118 + 0.8*b95*b119 + 0.264*b95*b120 + 0.528*b95*b121 + 0.3*b95*b122 + 0.099*b95*b123 + 0.198*b95*b124 + 0.264* b96*b116 + 0.8*b96*b117 + 0.264*b96*b118 + 0.264*b96*b119 + 0.8*b96*b120 + 0.264*b96*b121 + 0.099*b96*b122 + 0.3*b96*b123 + 0.099*b96*b124 + 0.528 *b97*b116 + 0.264*b97*b117 + 0.8*b97*b118 + 0.528*b97*b119 + 0.264*b97* b120 + 0.8*b97*b121 + 0.198*b97*b122 + 0.099*b97*b123 + 0.3*b97*b124 + b98 *b101 + 0.33*b98*b102 + 0.66*b98*b103 + 0.5*b98*b110 + 0.165*b98*b111 + 0.33*b98*b112 + 0.3*b98*b122 + 0.099*b98*b123 + 0.198*b98*b124 + 0.3*b98* b125 + 0.099*b98*b126 + 0.198*b98*b127 + 0.33*b99*b101 + b99*b102 + 0.33* b99*b103 + 0.165*b99*b110 + 0.5*b99*b111 + 0.165*b99*b112 + 0.099*b99*b122 + 0.3*b99*b123 + 0.099*b99*b124 + 0.099*b99*b125 + 0.3*b99*b126 + 0.099* b99*b127 + 0.66*b100*b101 + 0.33*b100*b102 + b100*b103 + 0.33*b100*b110 + 0.165*b100*b111 + 0.5*b100*b112 + 0.198*b100*b122 + 0.099*b100*b123 + 0.3* b100*b124 + 0.198*b100*b125 + 0.099*b100*b126 + 0.3*b100*b127 + b101*b110 + 0.33*b101*b111 + 0.66*b101*b112 + 0.5*b101*b113 + 0.165*b101*b114 + 0.33*b101*b115 + 0.3*b101*b122 + 0.099*b101*b123 + 0.198*b101*b124 + 0.3* b101*b125 + 0.099*b101*b126 + 0.198*b101*b127 + 0.3*b101*b128 + 0.099*b101 *b129 + 0.198*b101*b130 + 0.33*b102*b110 + b102*b111 + 0.33*b102*b112 + 0.165*b102*b113 + 0.5*b102*b114 + 0.165*b102*b115 + 0.099*b102*b122 + 0.3* b102*b123 + 0.099*b102*b124 + 0.099*b102*b125 + 0.3*b102*b126 + 0.099*b102 *b127 + 0.099*b102*b128 + 0.3*b102*b129 + 0.099*b102*b130 + 0.66*b103*b110 + 0.33*b103*b111 + b103*b112 + 0.33*b103*b113 + 0.165*b103*b114 + 0.5* b103*b115 + 0.198*b103*b122 + 0.099*b103*b123 + 0.3*b103*b124 + 0.198*b103 *b125 + 0.099*b103*b126 + 0.3*b103*b127 + 0.198*b103*b128 + 0.099*b103* b129 + 0.3*b103*b130 + 0.8*b104*b131 + 0.264*b104*b132 + 0.528*b104*b133 + 0.8*b104*b134 + 0.264*b104*b135 + 0.528*b104*b136 + 0.264*b105*b131 + 0.8*b105*b132 + 0.264*b105*b133 + 0.264*b105*b134 + 0.8*b105*b135 + 0.264* b105*b136 + 0.528*b106*b131 + 0.264*b106*b132 + 0.8*b106*b133 + 0.528*b106 *b134 + 0.264*b106*b135 + 0.8*b106*b136 + 0.8*b107*b110 + 0.264*b107*b111 + 0.528*b107*b112 + 0.8*b107*b113 + 0.264*b107*b114 + 0.528*b107*b115 + 0.264*b108*b110 + 0.8*b108*b111 + 0.264*b108*b112 + 0.264*b108*b113 + 0.8* b108*b114 + 0.264*b108*b115 + 0.528*b109*b110 + 0.264*b109*b111 + 0.8*b109 *b112 + 0.528*b109*b113 + 0.264*b109*b114 + 0.8*b109*b115 + b110*b113 + 0.33*b110*b114 + 0.66*b110*b115 + 0.3*b110*b125 + 0.099*b110*b126 + 0.198* b110*b127 + 0.3*b110*b128 + 0.099*b110*b129 + 0.198*b110*b130 + 0.3*b110* b137 + 0.099*b110*b138 + 0.198*b110*b139 + 0.33*b111*b113 + b111*b114 + 0.33*b111*b115 + 0.099*b111*b125 + 0.3*b111*b126 + 0.099*b111*b127 + 0.099 *b111*b128 + 0.3*b111*b129 + 0.099*b111*b130 + 0.099*b111*b137 + 0.3*b111* b138 + 0.099*b111*b139 + 0.66*b112*b113 + 0.33*b112*b114 + b112*b115 + 0.198*b112*b125 + 0.099*b112*b126 + 0.3*b112*b127 + 0.198*b112*b128 + 0.099*b112*b129 + 0.3*b112*b130 + 0.198*b112*b137 + 0.099*b112*b138 + 0.3* b112*b139 + 0.3*b113*b128 + 0.099*b113*b129 + 0.198*b113*b130 + 0.3*b113* b137 + 0.099*b113*b138 + 0.198*b113*b139 + 0.099*b114*b128 + 0.3*b114*b129 + 0.099*b114*b130 + 0.099*b114*b137 + 0.3*b114*b138 + 0.099*b114*b139 + 0.198*b115*b128 + 0.099*b115*b129 + 0.3*b115*b130 + 0.198*b115*b137 + 0.099*b115*b138 + 0.3*b115*b139 + b116*b119 + 0.33*b116*b120 + 0.66*b116* b121 + 0.5*b116*b134 + 0.165*b116*b135 + 0.33*b116*b136 + 0.3*b116*b140 + 0.099*b116*b141 + 0.198*b116*b142 + 0.3*b116*b143 + 0.099*b116*b144 + 0.198*b116*b145 + 0.3*b116*b146 + 0.099*b116*b147 + 0.198*b116*b148 + 0.33 *b117*b119 + b117*b120 + 0.33*b117*b121 + 0.165*b117*b134 + 0.5*b117*b135 + 0.165*b117*b136 + 0.099*b117*b140 + 0.3*b117*b141 + 0.099*b117*b142 + 0.099*b117*b143 + 0.3*b117*b144 + 0.099*b117*b145 + 0.099*b117*b146 + 0.3* b117*b147 + 0.099*b117*b148 + 0.66*b118*b119 + 0.33*b118*b120 + b118*b121 + 0.33*b118*b134 + 0.165*b118*b135 + 0.5*b118*b136 + 0.198*b118*b140 + 0.099*b118*b141 + 0.3*b118*b142 + 0.198*b118*b143 + 0.099*b118*b144 + 0.3* b118*b145 + 0.198*b118*b146 + 0.099*b118*b147 + 0.3*b118*b148 + 0.5*b119* b131 + 0.165*b119*b132 + 0.33*b119*b133 + b119*b134 + 0.33*b119*b135 + 0.66*b119*b136 + 0.3*b119*b140 + 0.099*b119*b141 + 0.198*b119*b142 + 0.3* b119*b143 + 0.099*b119*b144 + 0.198*b119*b145 + 0.3*b119*b149 + 0.099*b119 *b150 + 0.198*b119*b151 + 0.165*b120*b131 + 0.5*b120*b132 + 0.165*b120* b133 + 0.33*b120*b134 + b120*b135 + 0.33*b120*b136 + 0.099*b120*b140 + 0.3 *b120*b141 + 0.099*b120*b142 + 0.099*b120*b143 + 0.3*b120*b144 + 0.099* b120*b145 + 0.099*b120*b149 + 0.3*b120*b150 + 0.099*b120*b151 + 0.33*b121* b131 + 0.165*b121*b132 + 0.5*b121*b133 + 0.66*b121*b134 + 0.33*b121*b135 + b121*b136 + 0.198*b121*b140 + 0.099*b121*b141 + 0.3*b121*b142 + 0.198* b121*b143 + 0.099*b121*b144 + 0.3*b121*b145 + 0.198*b121*b149 + 0.099*b121 *b150 + 0.3*b121*b151 + b122*b125 + 0.33*b122*b126 + 0.66*b122*b127 + 0.5* b122*b128 + 0.165*b122*b129 + 0.33*b122*b130 + 0.8*b122*b146 + 0.264*b122* b147 + 0.528*b122*b148 + 0.8*b122*b152 + 0.264*b122*b153 + 0.528*b122*b154 + 0.33*b123*b125 + b123*b126 + 0.33*b123*b127 + 0.165*b123*b128 + 0.5* b123*b129 + 0.165*b123*b130 + 0.264*b123*b146 + 0.8*b123*b147 + 0.264*b123 *b148 + 0.264*b123*b152 + 0.8*b123*b153 + 0.264*b123*b154 + 0.66*b124*b125 + 0.33*b124*b126 + b124*b127 + 0.33*b124*b128 + 0.165*b124*b129 + 0.5* b124*b130 + 0.528*b124*b146 + 0.264*b124*b147 + 0.8*b124*b148 + 0.528*b124 *b152 + 0.264*b124*b153 + 0.8*b124*b154 + b125*b128 + 0.33*b125*b129 + 0.66*b125*b130 + 0.5*b125*b137 + 0.165*b125*b138 + 0.33*b125*b139 + 0.8* b125*b146 + 0.264*b125*b147 + 0.528*b125*b148 + 0.8*b125*b152 + 0.264*b125 *b153 + 0.528*b125*b154 + 0.8*b125*b155 + 0.264*b125*b156 + 0.528*b125* b157 + 0.33*b126*b128 + b126*b129 + 0.33*b126*b130 + 0.165*b126*b137 + 0.5 *b126*b138 + 0.165*b126*b139 + 0.264*b126*b146 + 0.8*b126*b147 + 0.264* b126*b148 + 0.264*b126*b152 + 0.8*b126*b153 + 0.264*b126*b154 + 0.264*b126 *b155 + 0.8*b126*b156 + 0.264*b126*b157 + 0.66*b127*b128 + 0.33*b127*b129 + b127*b130 + 0.33*b127*b137 + 0.165*b127*b138 + 0.5*b127*b139 + 0.528* b127*b146 + 0.264*b127*b147 + 0.8*b127*b148 + 0.528*b127*b152 + 0.264*b127 *b153 + 0.8*b127*b154 + 0.528*b127*b155 + 0.264*b127*b156 + 0.8*b127*b157 + b128*b137 + 0.33*b128*b138 + 0.66*b128*b139 + 0.8*b128*b152 + 0.264* b128*b153 + 0.528*b128*b154 + 0.8*b128*b155 + 0.264*b128*b156 + 0.528*b128 *b157 + 0.8*b128*b158 + 0.264*b128*b159 + 0.528*b128*b160 + 0.33*b129*b137 + b129*b138 + 0.33*b129*b139 + 0.264*b129*b152 + 0.8*b129*b153 + 0.264* b129*b154 + 0.264*b129*b155 + 0.8*b129*b156 + 0.264*b129*b157 + 0.264*b129 *b158 + 0.8*b129*b159 + 0.264*b129*b160 + 0.66*b130*b137 + 0.33*b130*b138 + b130*b139 + 0.528*b130*b152 + 0.264*b130*b153 + 0.8*b130*b154 + 0.528* b130*b155 + 0.264*b130*b156 + 0.8*b130*b157 + 0.528*b130*b158 + 0.264*b130 *b159 + 0.8*b130*b160 + b131*b134 + 0.33*b131*b135 + 0.66*b131*b136 + 0.3* b131*b149 + 0.099*b131*b150 + 0.198*b131*b151 + 0.3*b131*b161 + 0.099*b131 *b162 + 0.198*b131*b163 + 0.33*b132*b134 + b132*b135 + 0.33*b132*b136 + 0.099*b132*b149 + 0.3*b132*b150 + 0.099*b132*b151 + 0.099*b132*b161 + 0.3* b132*b162 + 0.099*b132*b163 + 0.66*b133*b134 + 0.33*b133*b135 + b133*b136 + 0.198*b133*b149 + 0.099*b133*b150 + 0.3*b133*b151 + 0.198*b133*b161 + 0.099*b133*b162 + 0.3*b133*b163 + 0.3*b134*b140 + 0.099*b134*b141 + 0.198* b134*b142 + 0.3*b134*b149 + 0.099*b134*b150 + 0.198*b134*b151 + 0.3*b134* b161 + 0.099*b134*b162 + 0.198*b134*b163 + 0.099*b135*b140 + 0.3*b135*b141 + 0.099*b135*b142 + 0.099*b135*b149 + 0.3*b135*b150 + 0.099*b135*b151 + 0.099*b135*b161 + 0.3*b135*b162 + 0.099*b135*b163 + 0.198*b136*b140 + 0.099*b136*b141 + 0.3*b136*b142 + 0.198*b136*b149 + 0.099*b136*b150 + 0.3* b136*b151 + 0.198*b136*b161 + 0.099*b136*b162 + 0.3*b136*b163 + 0.8*b137* b155 + 0.264*b137*b156 + 0.528*b137*b157 + 0.8*b137*b158 + 0.264*b137*b159 + 0.528*b137*b160 + 0.264*b138*b155 + 0.8*b138*b156 + 0.264*b138*b157 + 0.264*b138*b158 + 0.8*b138*b159 + 0.264*b138*b160 + 0.528*b139*b155 + 0.264*b139*b156 + 0.8*b139*b157 + 0.528*b139*b158 + 0.264*b139*b159 + 0.8* b139*b160 + b140*b143 + 0.33*b140*b144 + 0.66*b140*b145 + b140*b149 + 0.33 *b140*b150 + 0.66*b140*b151 + 0.5*b140*b161 + 0.165*b140*b162 + 0.33*b140* b163 + 0.8*b140*b164 + 0.264*b140*b165 + 0.528*b140*b166 + 0.8*b140*b167 + 0.264*b140*b168 + 0.528*b140*b169 + 0.8*b140*b170 + 0.264*b140*b171 + 0.528*b140*b172 + 0.33*b141*b143 + b141*b144 + 0.33*b141*b145 + 0.33*b141* b149 + b141*b150 + 0.33*b141*b151 + 0.165*b141*b161 + 0.5*b141*b162 + 0.165*b141*b163 + 0.264*b141*b164 + 0.8*b141*b165 + 0.264*b141*b166 + 0.264*b141*b167 + 0.8*b141*b168 + 0.264*b141*b169 + 0.264*b141*b170 + 0.8* b141*b171 + 0.264*b141*b172 + 0.66*b142*b143 + 0.33*b142*b144 + b142*b145 + 0.66*b142*b149 + 0.33*b142*b150 + b142*b151 + 0.33*b142*b161 + 0.165* b142*b162 + 0.5*b142*b163 + 0.528*b142*b164 + 0.264*b142*b165 + 0.8*b142* b166 + 0.528*b142*b167 + 0.264*b142*b168 + 0.8*b142*b169 + 0.528*b142*b170 + 0.264*b142*b171 + 0.8*b142*b172 + 0.5*b143*b149 + 0.165*b143*b150 + 0.33*b143*b151 + 0.8*b143*b164 + 0.264*b143*b165 + 0.528*b143*b166 + 0.8* b143*b170 + 0.264*b143*b171 + 0.528*b143*b172 + 0.3*b143*b173 + 0.099*b143 *b174 + 0.198*b143*b175 + 0.165*b144*b149 + 0.5*b144*b150 + 0.165*b144* b151 + 0.264*b144*b164 + 0.8*b144*b165 + 0.264*b144*b166 + 0.264*b144*b170 + 0.8*b144*b171 + 0.264*b144*b172 + 0.099*b144*b173 + 0.3*b144*b174 + 0.099*b144*b175 + 0.33*b145*b149 + 0.165*b145*b150 + 0.5*b145*b151 + 0.528 *b145*b164 + 0.264*b145*b165 + 0.8*b145*b166 + 0.528*b145*b170 + 0.264* b145*b171 + 0.8*b145*b172 + 0.198*b145*b173 + 0.099*b145*b174 + 0.3*b145* b175 + b146*b152 + 0.33*b146*b153 + 0.66*b146*b154 + 0.5*b146*b155 + 0.165 *b146*b156 + 0.33*b146*b157 + 0.3*b146*b173 + 0.099*b146*b174 + 0.198*b146 *b175 + 0.3*b146*b176 + 0.099*b146*b177 + 0.198*b146*b178 + 0.33*b147*b152 + b147*b153 + 0.33*b147*b154 + 0.165*b147*b155 + 0.5*b147*b156 + 0.165* b147*b157 + 0.099*b147*b173 + 0.3*b147*b174 + 0.099*b147*b175 + 0.099*b147 *b176 + 0.3*b147*b177 + 0.099*b147*b178 + 0.66*b148*b152 + 0.33*b148*b153 + b148*b154 + 0.33*b148*b155 + 0.165*b148*b156 + 0.5*b148*b157 + 0.198* b148*b173 + 0.099*b148*b174 + 0.3*b148*b175 + 0.198*b148*b176 + 0.099*b148 *b177 + 0.3*b148*b178 + b149*b161 + 0.33*b149*b162 + 0.66*b149*b163 + 0.8* b149*b164 + 0.264*b149*b165 + 0.528*b149*b166 + 0.8*b149*b167 + 0.264*b149 *b168 + 0.528*b149*b169 + 0.8*b149*b179 + 0.264*b149*b180 + 0.528*b149* b181 + 0.33*b150*b161 + b150*b162 + 0.33*b150*b163 + 0.264*b150*b164 + 0.8 *b150*b165 + 0.264*b150*b166 + 0.264*b150*b167 + 0.8*b150*b168 + 0.264* b150*b169 + 0.264*b150*b179 + 0.8*b150*b180 + 0.264*b150*b181 + 0.66*b151* b161 + 0.33*b151*b162 + b151*b163 + 0.528*b151*b164 + 0.264*b151*b165 + 0.8*b151*b166 + 0.528*b151*b167 + 0.264*b151*b168 + 0.8*b151*b169 + 0.528* b151*b179 + 0.264*b151*b180 + 0.8*b151*b181 + b152*b155 + 0.33*b152*b156 + 0.66*b152*b157 + 0.5*b152*b158 + 0.165*b152*b159 + 0.33*b152*b160 + 0.3 *b152*b173 + 0.099*b152*b174 + 0.198*b152*b175 + 0.3*b152*b176 + 0.099* b152*b177 + 0.198*b152*b178 + 0.3*b152*b182 + 0.099*b152*b183 + 0.198*b152 *b184 + 0.33*b153*b155 + b153*b156 + 0.33*b153*b157 + 0.165*b153*b158 + 0.5*b153*b159 + 0.165*b153*b160 + 0.099*b153*b173 + 0.3*b153*b174 + 0.099* b153*b175 + 0.099*b153*b176 + 0.3*b153*b177 + 0.099*b153*b178 + 0.099*b153 *b182 + 0.3*b153*b183 + 0.099*b153*b184 + 0.66*b154*b155 + 0.33*b154*b156 + b154*b157 + 0.33*b154*b158 + 0.165*b154*b159 + 0.5*b154*b160 + 0.198* b154*b173 + 0.099*b154*b174 + 0.3*b154*b175 + 0.198*b154*b176 + 0.099*b154 *b177 + 0.3*b154*b178 + 0.198*b154*b182 + 0.099*b154*b183 + 0.3*b154*b184 + b155*b158 + 0.33*b155*b159 + 0.66*b155*b160 + 0.3*b155*b176 + 0.099* b155*b177 + 0.198*b155*b178 + 0.3*b155*b182 + 0.099*b155*b183 + 0.198*b155 *b184 + 0.3*b155*b185 + 0.099*b155*b186 + 0.198*b155*b187 + 0.33*b156*b158 + b156*b159 + 0.33*b156*b160 + 0.099*b156*b176 + 0.3*b156*b177 + 0.099* b156*b178 + 0.099*b156*b182 + 0.3*b156*b183 + 0.099*b156*b184 + 0.099*b156 *b185 + 0.3*b156*b186 + 0.099*b156*b187 + 0.66*b157*b158 + 0.33*b157*b159 + b157*b160 + 0.198*b157*b176 + 0.099*b157*b177 + 0.3*b157*b178 + 0.198* b157*b182 + 0.099*b157*b183 + 0.3*b157*b184 + 0.198*b157*b185 + 0.099*b157 *b186 + 0.3*b157*b187 + 0.3*b158*b182 + 0.099*b158*b183 + 0.198*b158*b184 + 0.3*b158*b185 + 0.099*b158*b186 + 0.198*b158*b187 + 0.099*b159*b182 + 0.3*b159*b183 + 0.099*b159*b184 + 0.099*b159*b185 + 0.3*b159*b186 + 0.099* b159*b187 + 0.198*b160*b182 + 0.099*b160*b183 + 0.3*b160*b184 + 0.198*b160 *b185 + 0.099*b160*b186 + 0.3*b160*b187 + 0.8*b161*b167 + 0.264*b161*b168 + 0.528*b161*b169 + 0.8*b161*b179 + 0.264*b161*b180 + 0.528*b161*b181 + 0.264*b162*b167 + 0.8*b162*b168 + 0.264*b162*b169 + 0.264*b162*b179 + 0.8* b162*b180 + 0.264*b162*b181 + 0.528*b163*b167 + 0.264*b163*b168 + 0.8*b163 *b169 + 0.528*b163*b179 + 0.264*b163*b180 + 0.8*b163*b181 + b164*b167 + 0.33*b164*b168 + 0.66*b164*b169 + b164*b170 + 0.33*b164*b171 + 0.66*b164* b172 + 0.5*b164*b179 + 0.165*b164*b180 + 0.33*b164*b181 + 0.33*b165*b167 + b165*b168 + 0.33*b165*b169 + 0.33*b165*b170 + b165*b171 + 0.33*b165* b172 + 0.165*b165*b179 + 0.5*b165*b180 + 0.165*b165*b181 + 0.66*b166*b167 + 0.33*b166*b168 + b166*b169 + 0.66*b166*b170 + 0.33*b166*b171 + b166* b172 + 0.33*b166*b179 + 0.165*b166*b180 + 0.5*b166*b181 + 0.5*b167*b170 + 0.165*b167*b171 + 0.33*b167*b172 + b167*b179 + 0.33*b167*b180 + 0.66*b167* b181 + 0.165*b168*b170 + 0.5*b168*b171 + 0.165*b168*b172 + 0.33*b168*b179 + b168*b180 + 0.33*b168*b181 + 0.33*b169*b170 + 0.165*b169*b171 + 0.5* b169*b172 + 0.66*b169*b179 + 0.33*b169*b180 + b169*b181 + 0.3*b170*b188 + 0.099*b170*b189 + 0.198*b170*b190 + 0.099*b171*b188 + 0.3*b171*b189 + 0.099*b171*b190 + 0.198*b172*b188 + 0.099*b172*b189 + 0.3*b172*b190 + b173 *b176 + 0.33*b173*b177 + 0.66*b173*b178 + 0.5*b173*b182 + 0.165*b173*b183 + 0.33*b173*b184 + 0.8*b173*b188 + 0.264*b173*b189 + 0.528*b173*b190 + 0.8*b173*b191 + 0.264*b173*b192 + 0.528*b173*b193 + 0.33*b174*b176 + b174* b177 + 0.33*b174*b178 + 0.165*b174*b182 + 0.5*b174*b183 + 0.165*b174*b184 + 0.264*b174*b188 + 0.8*b174*b189 + 0.264*b174*b190 + 0.264*b174*b191 + 0.8*b174*b192 + 0.264*b174*b193 + 0.66*b175*b176 + 0.33*b175*b177 + b175* b178 + 0.33*b175*b182 + 0.165*b175*b183 + 0.5*b175*b184 + 0.528*b175*b188 + 0.264*b175*b189 + 0.8*b175*b190 + 0.528*b175*b191 + 0.264*b175*b192 + 0.8*b175*b193 + b176*b182 + 0.33*b176*b183 + 0.66*b176*b184 + 0.5*b176* b185 + 0.165*b176*b186 + 0.33*b176*b187 + 0.8*b176*b188 + 0.264*b176*b189 + 0.528*b176*b190 + 0.8*b176*b191 + 0.264*b176*b192 + 0.528*b176*b193 + 0.8*b176*b194 + 0.264*b176*b195 + 0.528*b176*b196 + 0.33*b177*b182 + b177* b183 + 0.33*b177*b184 + 0.165*b177*b185 + 0.5*b177*b186 + 0.165*b177*b187 + 0.264*b177*b188 + 0.8*b177*b189 + 0.264*b177*b190 + 0.264*b177*b191 + 0.8*b177*b192 + 0.264*b177*b193 + 0.264*b177*b194 + 0.8*b177*b195 + 0.264* b177*b196 + 0.66*b178*b182 + 0.33*b178*b183 + b178*b184 + 0.33*b178*b185 + 0.165*b178*b186 + 0.5*b178*b187 + 0.528*b178*b188 + 0.264*b178*b189 + 0.8*b178*b190 + 0.528*b178*b191 + 0.264*b178*b192 + 0.8*b178*b193 + 0.528* b178*b194 + 0.264*b178*b195 + 0.8*b178*b196 + b182*b185 + 0.33*b182*b186 + 0.66*b182*b187 + 0.8*b182*b191 + 0.264*b182*b192 + 0.528*b182*b193 + 0.8*b182*b194 + 0.264*b182*b195 + 0.528*b182*b196 + 0.8*b182*b197 + 0.264* b182*b198 + 0.528*b182*b199 + 0.33*b183*b185 + b183*b186 + 0.33*b183*b187 + 0.264*b183*b191 + 0.8*b183*b192 + 0.264*b183*b193 + 0.264*b183*b194 + 0.8*b183*b195 + 0.264*b183*b196 + 0.264*b183*b197 + 0.8*b183*b198 + 0.264* b183*b199 + 0.66*b184*b185 + 0.33*b184*b186 + b184*b187 + 0.528*b184*b191 + 0.264*b184*b192 + 0.8*b184*b193 + 0.528*b184*b194 + 0.264*b184*b195 + 0.8*b184*b196 + 0.528*b184*b197 + 0.264*b184*b198 + 0.8*b184*b199 + 0.8* b185*b194 + 0.264*b185*b195 + 0.528*b185*b196 + 0.8*b185*b197 + 0.264*b185 *b198 + 0.528*b185*b199 + 0.264*b186*b194 + 0.8*b186*b195 + 0.264*b186* b196 + 0.264*b186*b197 + 0.8*b186*b198 + 0.264*b186*b199 + 0.528*b187*b194 + 0.264*b187*b195 + 0.8*b187*b196 + 0.528*b187*b197 + 0.264*b187*b198 + 0.8*b187*b199 + b188*b191 + 0.33*b188*b192 + 0.66*b188*b193 + 0.5*b188* b194 + 0.165*b188*b195 + 0.33*b188*b196 + 0.33*b189*b191 + b189*b192 + 0.33*b189*b193 + 0.165*b189*b194 + 0.5*b189*b195 + 0.165*b189*b196 + 0.66* b190*b191 + 0.33*b190*b192 + b190*b193 + 0.33*b190*b194 + 0.165*b190*b195 + 0.5*b190*b196 + b191*b194 + 0.33*b191*b195 + 0.66*b191*b196 + 0.5*b191* b197 + 0.165*b191*b198 + 0.33*b191*b199 + 0.33*b192*b194 + b192*b195 + 0.33*b192*b196 + 0.165*b192*b197 + 0.5*b192*b198 + 0.165*b192*b199 + 0.66* b193*b194 + 0.33*b193*b195 + b193*b196 + 0.33*b193*b197 + 0.165*b193*b198 + 0.5*b193*b199 + b194*b197 + 0.33*b194*b198 + 0.66*b194*b199 + 0.33*b195 *b197 + b195*b198 + 0.33*b195*b199 + 0.66*b196*b197 + 0.33*b196*b198 + b196*b199 + b200*b201 + 0.33*b200*b202 + 0.66*b200*b203 + 0.85*b200*b204 + 0.2805*b200*b205 + 0.561*b200*b206 + b201*b204 + 0.33*b201*b205 + 0.66* b201*b206 + 0.33*b201*b207 + 0.66*b201*b208 + 0.85*b201*b209 + 0.2805*b201 *b210 + 0.561*b201*b211 + 0.33*b202*b204 + b202*b205 + 0.33*b202*b206 + b202*b207 + 0.33*b202*b208 + 0.2805*b202*b209 + 0.85*b202*b210 + 0.2805* b202*b211 + 0.66*b203*b204 + 0.33*b203*b205 + b203*b206 + 0.33*b203*b207 + b203*b208 + 0.561*b203*b209 + 0.2805*b203*b210 + 0.85*b203*b211 + 0.2805*b204*b207 + 0.561*b204*b208 + b204*b209 + 0.33*b204*b210 + 0.66* b204*b211 + 0.85*b204*b212 + 0.2805*b204*b213 + 0.561*b204*b214 + 0.85* b205*b207 + 0.2805*b205*b208 + 0.33*b205*b209 + b205*b210 + 0.33*b205*b211 + 0.2805*b205*b212 + 0.85*b205*b213 + 0.2805*b205*b214 + 0.2805*b206*b207 + 0.85*b206*b208 + 0.66*b206*b209 + 0.33*b206*b210 + b206*b211 + 0.561* b206*b212 + 0.2805*b206*b213 + 0.85*b206*b214 + b209*b212 + 0.33*b209*b213 + 0.66*b209*b214 + 0.85*b209*b215 + 0.2805*b209*b216 + 0.561*b209*b217 + 0.33*b210*b212 + b210*b213 + 0.33*b210*b214 + 0.2805*b210*b215 + 0.85*b210 *b216 + 0.2805*b210*b217 + 0.66*b211*b212 + 0.33*b211*b213 + b211*b214 + 0.561*b211*b215 + 0.2805*b211*b216 + 0.85*b211*b217 + b212*b215 + 0.33* b212*b216 + 0.66*b212*b217 + 0.85*b212*b218 + 0.2805*b212*b219 + 0.561* b212*b220 + 0.33*b213*b215 + b213*b216 + 0.33*b213*b217 + 0.2805*b213*b218 + 0.85*b213*b219 + 0.2805*b213*b220 + 0.66*b214*b215 + 0.33*b214*b216 + b214*b217 + 0.561*b214*b218 + 0.2805*b214*b219 + 0.85*b214*b220 + b215* b218 + 0.33*b215*b219 + 0.66*b215*b220 + 0.85*b215*b221 + 0.2805*b215*b222 + 0.561*b215*b223 + 0.33*b216*b218 + b216*b219 + 0.33*b216*b220 + 0.2805* b216*b221 + 0.85*b216*b222 + 0.2805*b216*b223 + 0.66*b217*b218 + 0.33*b217 *b219 + b217*b220 + 0.561*b217*b221 + 0.2805*b217*b222 + 0.85*b217*b223 + b218*b221 + 0.33*b218*b222 + 0.66*b218*b223 + 0.85*b218*b224 + 0.2805*b218 *b225 + 0.561*b218*b226 + 0.33*b219*b221 + b219*b222 + 0.33*b219*b223 + 0.2805*b219*b224 + 0.85*b219*b225 + 0.2805*b219*b226 + 0.66*b220*b221 + 0.33*b220*b222 + b220*b223 + 0.561*b220*b224 + 0.2805*b220*b225 + 0.85* b220*b226 + b221*b224 + 0.33*b221*b225 + 0.66*b221*b226 + 0.85*b221*b227 + 0.2805*b221*b228 + 0.561*b221*b229 + 0.33*b222*b224 + b222*b225 + 0.33* b222*b226 + 0.2805*b222*b227 + 0.85*b222*b228 + 0.2805*b222*b229 + 0.66* b223*b224 + 0.33*b223*b225 + b223*b226 + 0.561*b223*b227 + 0.2805*b223* b228 + 0.85*b223*b229 + b224*b227 + 0.33*b224*b228 + 0.66*b224*b229 + 0.85 *b224*b230 + 0.2805*b224*b231 + 0.561*b224*b232 + 0.33*b225*b227 + b225* b228 + 0.33*b225*b229 + 0.2805*b225*b230 + 0.85*b225*b231 + 0.2805*b225* b232 + 0.66*b226*b227 + 0.33*b226*b228 + b226*b229 + 0.561*b226*b230 + 0.2805*b226*b231 + 0.85*b226*b232 + b227*b230 + 0.33*b227*b231 + 0.66*b227 *b232 + 0.85*b227*b233 + 0.2805*b227*b234 + 0.561*b227*b235 + 0.33*b228* b230 + b228*b231 + 0.33*b228*b232 + 0.2805*b228*b233 + 0.85*b228*b234 + 0.2805*b228*b235 + 0.66*b229*b230 + 0.33*b229*b231 + b229*b232 + 0.561* b229*b233 + 0.2805*b229*b234 + 0.85*b229*b235 + b230*b233 + 0.33*b230*b234 + 0.66*b230*b235 + 0.85*b230*b236 + 0.2805*b230*b237 + 0.561*b230*b238 + 0.33*b231*b233 + b231*b234 + 0.33*b231*b235 + 0.2805*b231*b236 + 0.85*b231 *b237 + 0.2805*b231*b238 + 0.66*b232*b233 + 0.33*b232*b234 + b232*b235 + 0.561*b232*b236 + 0.2805*b232*b237 + 0.85*b232*b238 + b233*b236 + 0.33* b233*b237 + 0.66*b233*b238 + 0.33*b234*b236 + b234*b237 + 0.33*b234*b238 + 0.66*b235*b236 + 0.33*b235*b237 + b235*b238 - objvar = 0 } } Constraint e2 { Definition: b2 + b18 + b19 + b239 = 1; } Constraint e3 { Definition: b3 + b4 + b5 + b240 = 1; } Constraint e4 { Definition: b6 + b7 + b8 + b241 = 1; } Constraint e5 { Definition: b20 + b21 + b22 + b242 = 1; } Constraint e6 { Definition: b9 + b10 + b11 + b243 = 1; } Constraint e7 { Definition: b12 + b13 + b14 + b244 = 1; } Constraint e8 { Definition: b23 + b24 + b25 + b245 = 1; } Constraint e9 { Definition: b26 + b27 + b28 + b246 = 1; } Constraint e10 { Definition: b29 + b30 + b31 + b247 = 1; } Constraint e11 { Definition: b32 + b33 + b34 + b248 = 1; } Constraint e12 { Definition: b56 + b57 + b58 + b249 = 1; } Constraint e13 { Definition: b38 + b39 + b40 + b250 = 1; } Constraint e14 { Definition: b59 + b60 + b61 + b251 = 1; } Constraint e15 { Definition: b62 + b63 + b64 + b252 = 1; } Constraint e16 { Definition: b68 + b69 + b70 + b253 = 1; } Constraint e17 { Definition: b77 + b78 + b79 + b254 = 1; } Constraint e18 { Definition: b104 + b105 + b106 + b255 = 1; } Constraint e19 { Definition: b95 + b96 + b97 + b256 = 1; } Constraint e20 { Definition: b116 + b117 + b118 + b257 = 1; } Constraint e21 { Definition: b119 + b120 + b121 + b258 = 1; } Constraint e22 { Definition: b161 + b162 + b163 + b259 = 1; } Constraint e23 { Definition: b131 + b132 + b133 + b260 = 1; } Constraint e24 { Definition: b143 + b144 + b145 + b261 = 1; } Constraint e25 { Definition: b140 + b141 + b142 + b262 = 1; } Constraint e26 { Definition: b149 + b150 + b151 + b263 = 1; } Constraint e27 { Definition: b134 + b135 + b136 + b264 = 1; } Constraint e28 { Definition: b170 + b171 + b172 + b265 = 1; } Constraint e29 { Definition: b164 + b165 + b166 + b266 = 1; } Constraint e30 { Definition: b167 + b168 + b169 + b267 = 1; } Constraint e31 { Definition: b179 + b180 + b181 + b268 = 1; } Constraint e32 { Definition: b200 + b207 + b208 + b269 = 1; } Constraint e33 { Definition: b201 + b202 + b203 + b270 = 1; } Constraint e34 { Definition: b204 + b205 + b206 + b271 = 1; } Constraint e35 { Definition: b209 + b210 + b211 + b272 = 1; } Constraint e36 { Definition: b212 + b213 + b214 + b273 = 1; } Constraint e37 { Definition: b215 + b216 + b217 + b274 = 1; } Constraint e38 { Definition: b218 + b219 + b220 + b275 = 1; } Constraint e39 { Definition: b221 + b222 + b223 + b276 = 1; } Constraint e40 { Definition: b224 + b225 + b226 + b277 = 1; } Constraint e41 { Definition: b227 + b228 + b229 + b278 = 1; } Constraint e42 { Definition: b230 + b231 + b232 + b279 = 1; } Constraint e43 { Definition: b233 + b234 + b235 + b280 = 1; } Constraint e44 { Definition: b236 + b237 + b238 + b281 = 1; } Constraint e45 { Definition: b80 + b84 + b85 + b282 = 1; } Constraint e46 { Definition: b81 + b82 + b83 + b283 = 1; } Constraint e47 { Definition: b41 + b42 + b43 + b284 = 1; } Constraint e48 { Definition: b47 + b48 + b49 + b285 = 1; } Constraint e49 { Definition: b86 + b87 + b88 + b286 = 1; } Constraint e50 { Definition: b44 + b45 + b46 + b287 = 1; } Constraint e51 { Definition: b50 + b51 + b52 + b288 = 1; } Constraint e52 { Definition: b15 + b16 + b17 + b289 = 1; } Constraint e53 { Definition: b89 + b90 + b91 + b290 = 1; } Constraint e54 { Definition: b71 + b72 + b73 + b291 = 1; } Constraint e55 { Definition: b53 + b54 + b55 + b292 = 1; } Constraint e56 { Definition: b35 + b36 + b37 + b293 = 1; } Constraint e57 { Definition: b107 + b108 + b109 + b294 = 1; } Constraint e58 { Definition: b92 + b93 + b94 + b295 = 1; } Constraint e59 { Definition: b74 + b75 + b76 + b296 = 1; } Constraint e60 { Definition: b65 + b66 + b67 + b297 = 1; } Constraint e61 { Definition: b113 + b114 + b115 + b298 = 1; } Constraint e62 { Definition: b110 + b111 + b112 + b299 = 1; } Constraint e63 { Definition: b101 + b102 + b103 + b300 = 1; } Constraint e64 { Definition: b98 + b99 + b100 + b301 = 1; } Constraint e65 { Definition: b137 + b138 + b139 + b302 = 1; } Constraint e66 { Definition: b128 + b129 + b130 + b303 = 1; } Constraint e67 { Definition: b125 + b126 + b127 + b304 = 1; } Constraint e68 { Definition: b122 + b123 + b124 + b305 = 1; } Constraint e69 { Definition: b158 + b159 + b160 + b306 = 1; } Constraint e70 { Definition: b155 + b156 + b157 + b307 = 1; } Constraint e71 { Definition: b152 + b153 + b154 + b308 = 1; } Constraint e72 { Definition: b146 + b147 + b148 + b309 = 1; } Constraint e73 { Definition: b185 + b186 + b187 + b310 = 1; } Constraint e74 { Definition: b182 + b183 + b184 + b311 = 1; } Constraint e75 { Definition: b176 + b177 + b178 + b312 = 1; } Constraint e76 { Definition: b173 + b174 + b175 + b313 = 1; } Constraint e77 { Definition: b197 + b198 + b199 + b314 = 1; } Constraint e78 { Definition: b194 + b195 + b196 + b315 = 1; } Constraint e79 { Definition: b191 + b192 + b193 + b316 = 1; } Constraint e80 { Definition: b188 + b189 + b190 + b317 = 1; } Constraint e81 { Definition: { b239 + b240 + b241 + b242 + b243 + b244 + b245 + b246 + b247 + b248 + b249 + b250 + b251 + b252 + b253 + b254 + b255 + b256 + b257 + b258 + b259 + b260 + b261 + b262 + b263 + b264 + b265 + b266 + b267 + b268 + b269 + b270 + b271 + b272 + b273 + b274 + b275 + b276 + b277 + b278 + b279 + b280 + b281 + b282 + b283 + b284 + b285 + b286 + b287 + b288 + b289 + b290 + b291 + b292 + b293 + b294 + b295 + b296 + b297 + b298 + b299 + b300 + b301 + b302 + b303 + b304 + b305 + b306 + b307 + b308 + b309 + b310 + b311 + b312 + b313 + b314 + b315 + b316 + b317 = 0 } } Procedure MainInitialization; MathematicalProgram color_lab3_3x0 { Objective: objvar; Direction: minimize; Constraints: AllConstraints; Variables: AllVariables; Type: MINLP; } ElementParameter myGMP { Range: AllGeneratedMathematicalPrograms; } Procedure MainExecution { Body: { solve color_lab3_3x0; } } Procedure MainTermination { Body: { return 1; } } }