## ams_version=1.0 Model Main_sonet25v6 { 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; } Variable b318 { Range: binary; } Variable b319 { Range: binary; } Variable b320 { Range: binary; } Variable b321 { Range: binary; } Variable b322 { Range: binary; } Variable b323 { Range: binary; } Variable b324 { Range: binary; } Variable b325 { Range: binary; } Constraint e1 { Definition: { (-970*b2*b3) - 430*b2 - 620*b3 - 820*b2*b4 - 240*b4 - 540*b2*b5 - 450*b5 - 90*b2*b6 - 210*b6 - 920*b2*b7 - 600*b7 - 550*b2*b8 - 120*b8 - 780*b2*b9 - 660*b9 - 870*b2*b10 - 530*b10 - 690*b2*b11 - 50*b11 - 20*b2*b12 - 810* b12 - 320*b2*b13 - 610*b13 - 420*b2*b14 - 100*b14 - 140*b2*b15 - 880*b15 - 450*b2*b16 - 770*b16 - 600*b2*b17 - 340*b17 - 670*b2*b18 - 20*b18 - 20* b2*b19 - 820*b19 - 420*b2*b20 - 530*b20 - 810*b2*b21 - 260*b21 - 640*b2* b22 - 620*b22 - 820*b2*b23 - 180*b23 - 580*b2*b24 - 710*b24 - 980*b2*b25 - 140*b25 - 360*b3*b4 - 920*b3*b5 - 30*b3*b6 - 620*b3*b7 - 540*b3*b8 - 210*b3*b9 - 850*b3*b10 - 690*b3*b11 - 700*b3*b12 - 200*b3*b13 - 750*b3*b14 - 800*b3*b15 - 120*b3*b16 - 820*b3*b17 - 100*b3*b18 - 990*b3*b19 - 40*b3* b20 - 130*b3*b21 - 840*b3*b22 - 980*b3*b23 - 270*b3*b24 - 810*b3*b25 - 590 *b4*b5 - 470*b4*b6 - 830*b4*b7 - 530*b4*b8 - 800*b4*b9 - 350*b4*b11 - 900* b4*b12 - 980*b4*b13 - 710*b4*b14 - 830*b4*b15 - 540*b4*b16 - 860*b4*b17 - 890*b4*b18 - 270*b4*b19 - 710*b4*b20 - 100*b4*b21 - 980*b4*b22 - 910*b4* b23 - 860*b4*b24 - 300*b4*b25 - 550*b5*b6 - 200*b5*b7 - 400*b5*b8 - 70*b5* b9 - 760*b5*b10 - 530*b5*b11 - 910*b5*b12 - 750*b5*b13 - 330*b5*b14 - 720* b5*b15 - 340*b5*b16 - 320*b5*b17 - 70*b5*b18 - 870*b5*b19 - 640*b5*b20 - 70*b5*b21 - 740*b5*b22 - 540*b5*b23 - 580*b5*b24 - 970*b5*b25 - 890*b6*b7 - 120*b6*b8 - 830*b6*b9 - 790*b6*b10 - 390*b6*b11 - 70*b6*b12 - 890*b6* b13 - 890*b6*b14 - 980*b6*b15 - 270*b6*b16 - 190*b6*b17 - 60*b6*b18 - 600* b6*b20 - 130*b6*b21 - 760*b6*b22 - 650*b6*b23 - 560*b6*b24 - 510*b6*b25 - 500*b7*b8 - 280*b7*b9 - 370*b7*b10 - 340*b7*b11 - 870*b7*b12 - 240*b7*b13 - 980*b7*b14 - 470*b7*b15 - 500*b7*b16 - 50*b7*b17 - 570*b7*b18 - 480*b7* b19 - 940*b7*b20 - 210*b7*b21 - 310*b7*b22 - 250*b7*b23 - 120*b7*b24 - 380 *b7*b25 - 150*b8*b9 - 20*b8*b10 - 890*b8*b11 - 940*b8*b12 - 210*b8*b13 - 950*b8*b14 - 940*b8*b15 - 330*b8*b16 - 80*b8*b17 - 710*b8*b18 - 990*b8*b19 - 640*b8*b20 - 740*b8*b21 - 10*b8*b22 - 440*b8*b23 - 120*b8*b24 - 360*b8* b25 - 830*b9*b10 - 880*b9*b11 - 340*b9*b12 - 300*b9*b13 - 390*b9*b14 - 390 *b9*b15 - 390*b9*b16 - 870*b9*b17 - 860*b9*b18 - 600*b9*b19 - 700*b9*b20 - 110*b9*b21 - 730*b9*b22 - 90*b9*b23 - 780*b9*b24 - 750*b9*b25 - 500*b10 *b11 - 730*b10*b12 - 480*b10*b13 - 450*b10*b14 - 190*b10*b15 - 820*b10*b16 - 50*b10*b17 - 900*b10*b18 - 330*b10*b19 - 210*b10*b20 - 170*b10*b21 - 340*b10*b22 - 650*b10*b23 - 810*b10*b24 - 700*b10*b25 - 690*b11*b13 - 570* b11*b14 - 830*b11*b15 - 600*b11*b16 - 960*b11*b17 - 220*b11*b18 - 990*b11* b19 - 340*b11*b20 - 830*b11*b21 - 220*b11*b22 - 460*b11*b23 - 560*b11*b24 - 830*b11*b25 - 240*b12*b13 - 830*b12*b14 - 330*b12*b15 - 490*b12*b16 - 310*b12*b17 - 300*b12*b18 - 690*b12*b19 - 650*b12*b20 - 350*b12*b21 - 110* b12*b22 - 980*b12*b23 - 560*b12*b24 - 800*b12*b25 - 850*b13*b14 - 730*b13* b15 - 610*b13*b16 - 550*b13*b17 - 250*b13*b18 - 830*b13*b19 - 120*b13*b20 - 80*b13*b21 - 950*b13*b22 - 610*b13*b23 - 310*b13*b24 - 470*b13*b25 - 950*b14*b15 - 660*b14*b16 - 690*b14*b17 - 930*b14*b18 - 740*b14*b19 - 520* b14*b20 - 700*b14*b21 - 570*b14*b22 - 850*b14*b23 - 710*b14*b24 - 400*b14* b25 - 150*b15*b16 - 400*b15*b17 - 580*b15*b18 - 20*b15*b19 - 40*b15*b20 - 560*b15*b21 - 100*b15*b22 - 360*b15*b23 - 410*b15*b24 - 830*b15*b25 - 980* b16*b17 - 490*b16*b18 - 80*b16*b19 - 330*b16*b20 - 130*b16*b21 - 690*b16* b22 - 280*b16*b23 - 740*b16*b24 - 750*b17*b18 - 220*b17*b19 - 660*b17*b20 - 440*b17*b21 - 670*b17*b22 - 400*b17*b23 - 480*b17*b24 - 370*b17*b25 - 490*b18*b19 - 850*b18*b20 - 90*b18*b21 - 410*b18*b22 - 10*b18*b24 - 990* b18*b25 - 540*b19*b20 - 570*b19*b21 - 80*b19*b22 - 640*b19*b23 - 940*b19* b24 - 10*b19*b25 - 470*b20*b21 - 440*b20*b22 - 500*b20*b23 - 80*b20*b24 - 770*b20*b25 - 640*b21*b22 - 770*b21*b23 - 570*b21*b24 - 900*b21*b25 - 290* b22*b23 - 850*b22*b24 - 640*b22*b25 - 470*b23*b24 - 810*b23*b25 - 320*b24* b25 - 970*b26*b27 - 820*b26*b28 - 540*b26*b29 - 90*b26*b30 - 920*b26*b31 - 550*b26*b32 - 780*b26*b33 - 870*b26*b34 - 690*b26*b35 - 20*b26*b36 - 320*b26*b37 - 420*b26*b38 - 140*b26*b39 - 450*b26*b40 - 600*b26*b41 - 670* b26*b42 - 20*b26*b43 - 420*b26*b44 - 810*b26*b45 - 640*b26*b46 - 820*b26* b47 - 580*b26*b48 - 980*b26*b49 - 360*b27*b28 - 920*b27*b29 - 30*b27*b30 - 620*b27*b31 - 540*b27*b32 - 210*b27*b33 - 850*b27*b34 - 690*b27*b35 - 700*b27*b36 - 200*b27*b37 - 750*b27*b38 - 800*b27*b39 - 120*b27*b40 - 820* b27*b41 - 100*b27*b42 - 990*b27*b43 - 40*b27*b44 - 130*b27*b45 - 840*b27* b46 - 980*b27*b47 - 270*b27*b48 - 810*b27*b49 - 590*b28*b29 - 470*b28*b30 - 830*b28*b31 - 530*b28*b32 - 800*b28*b33 - 350*b28*b35 - 900*b28*b36 - 980*b28*b37 - 710*b28*b38 - 830*b28*b39 - 540*b28*b40 - 860*b28*b41 - 890* b28*b42 - 270*b28*b43 - 710*b28*b44 - 100*b28*b45 - 980*b28*b46 - 910*b28* b47 - 860*b28*b48 - 300*b28*b49 - 550*b29*b30 - 200*b29*b31 - 400*b29*b32 - 70*b29*b33 - 760*b29*b34 - 530*b29*b35 - 910*b29*b36 - 750*b29*b37 - 330*b29*b38 - 720*b29*b39 - 340*b29*b40 - 320*b29*b41 - 70*b29*b42 - 870* b29*b43 - 640*b29*b44 - 70*b29*b45 - 740*b29*b46 - 540*b29*b47 - 580*b29* b48 - 970*b29*b49 - 890*b30*b31 - 120*b30*b32 - 830*b30*b33 - 790*b30*b34 - 390*b30*b35 - 70*b30*b36 - 890*b30*b37 - 890*b30*b38 - 980*b30*b39 - 270*b30*b40 - 190*b30*b41 - 60*b30*b42 - 600*b30*b44 - 130*b30*b45 - 760* b30*b46 - 650*b30*b47 - 560*b30*b48 - 510*b30*b49 - 500*b31*b32 - 280*b31* b33 - 370*b31*b34 - 340*b31*b35 - 870*b31*b36 - 240*b31*b37 - 980*b31*b38 - 470*b31*b39 - 500*b31*b40 - 50*b31*b41 - 570*b31*b42 - 480*b31*b43 - 940*b31*b44 - 210*b31*b45 - 310*b31*b46 - 250*b31*b47 - 120*b31*b48 - 380* b31*b49 - 150*b32*b33 - 20*b32*b34 - 890*b32*b35 - 940*b32*b36 - 210*b32* b37 - 950*b32*b38 - 940*b32*b39 - 330*b32*b40 - 80*b32*b41 - 710*b32*b42 - 990*b32*b43 - 640*b32*b44 - 740*b32*b45 - 10*b32*b46 - 440*b32*b47 - 120*b32*b48 - 360*b32*b49 - 830*b33*b34 - 880*b33*b35 - 340*b33*b36 - 300* b33*b37 - 390*b33*b38 - 390*b33*b39 - 390*b33*b40 - 870*b33*b41 - 860*b33* b42 - 600*b33*b43 - 700*b33*b44 - 110*b33*b45 - 730*b33*b46 - 90*b33*b47 - 780*b33*b48 - 750*b33*b49 - 500*b34*b35 - 730*b34*b36 - 480*b34*b37 - 450*b34*b38 - 190*b34*b39 - 820*b34*b40 - 50*b34*b41 - 900*b34*b42 - 330* b34*b43 - 210*b34*b44 - 170*b34*b45 - 340*b34*b46 - 650*b34*b47 - 810*b34* b48 - 700*b34*b49 - 690*b35*b37 - 570*b35*b38 - 830*b35*b39 - 600*b35*b40 - 960*b35*b41 - 220*b35*b42 - 990*b35*b43 - 340*b35*b44 - 830*b35*b45 - 220*b35*b46 - 460*b35*b47 - 560*b35*b48 - 830*b35*b49 - 240*b36*b37 - 830* b36*b38 - 330*b36*b39 - 490*b36*b40 - 310*b36*b41 - 300*b36*b42 - 690*b36* b43 - 650*b36*b44 - 350*b36*b45 - 110*b36*b46 - 980*b36*b47 - 560*b36*b48 - 800*b36*b49 - 850*b37*b38 - 730*b37*b39 - 610*b37*b40 - 550*b37*b41 - 250*b37*b42 - 830*b37*b43 - 120*b37*b44 - 80*b37*b45 - 950*b37*b46 - 610* b37*b47 - 310*b37*b48 - 470*b37*b49 - 950*b38*b39 - 660*b38*b40 - 690*b38* b41 - 930*b38*b42 - 740*b38*b43 - 520*b38*b44 - 700*b38*b45 - 570*b38*b46 - 850*b38*b47 - 710*b38*b48 - 400*b38*b49 - 150*b39*b40 - 400*b39*b41 - 580*b39*b42 - 20*b39*b43 - 40*b39*b44 - 560*b39*b45 - 100*b39*b46 - 360* b39*b47 - 410*b39*b48 - 830*b39*b49 - 980*b40*b41 - 490*b40*b42 - 80*b40* b43 - 330*b40*b44 - 130*b40*b45 - 690*b40*b46 - 280*b40*b47 - 740*b40*b48 - 750*b41*b42 - 220*b41*b43 - 660*b41*b44 - 440*b41*b45 - 670*b41*b46 - 400*b41*b47 - 480*b41*b48 - 370*b41*b49 - 490*b42*b43 - 850*b42*b44 - 90* b42*b45 - 410*b42*b46 - 10*b42*b48 - 990*b42*b49 - 540*b43*b44 - 570*b43* b45 - 80*b43*b46 - 640*b43*b47 - 940*b43*b48 - 10*b43*b49 - 470*b44*b45 - 440*b44*b46 - 500*b44*b47 - 80*b44*b48 - 770*b44*b49 - 640*b45*b46 - 770* b45*b47 - 570*b45*b48 - 900*b45*b49 - 290*b46*b47 - 850*b46*b48 - 640*b46* b49 - 470*b47*b48 - 810*b47*b49 - 320*b48*b49 - 360*b50*b51 - 920*b50*b52 - 30*b50*b53 - 620*b50*b54 - 540*b50*b55 - 210*b50*b56 - 850*b50*b57 - 690*b50*b58 - 700*b50*b59 - 200*b50*b60 - 750*b50*b61 - 800*b50*b62 - 120* b50*b63 - 820*b50*b64 - 100*b50*b65 - 990*b50*b66 - 40*b50*b67 - 130*b50* b68 - 840*b50*b69 - 980*b50*b70 - 270*b50*b71 - 810*b50*b72 - 590*b51*b52 - 470*b51*b53 - 830*b51*b54 - 530*b51*b55 - 800*b51*b56 - 350*b51*b58 - 900*b51*b59 - 980*b51*b60 - 710*b51*b61 - 830*b51*b62 - 540*b51*b63 - 860* b51*b64 - 890*b51*b65 - 270*b51*b66 - 710*b51*b67 - 100*b51*b68 - 980*b51* b69 - 910*b51*b70 - 860*b51*b71 - 300*b51*b72 - 550*b52*b53 - 200*b52*b54 - 400*b52*b55 - 70*b52*b56 - 760*b52*b57 - 530*b52*b58 - 910*b52*b59 - 750*b52*b60 - 330*b52*b61 - 720*b52*b62 - 340*b52*b63 - 320*b52*b64 - 70* b52*b65 - 870*b52*b66 - 640*b52*b67 - 70*b52*b68 - 740*b52*b69 - 540*b52* b70 - 580*b52*b71 - 970*b52*b72 - 890*b53*b54 - 120*b53*b55 - 830*b53*b56 - 790*b53*b57 - 390*b53*b58 - 70*b53*b59 - 890*b53*b60 - 890*b53*b61 - 980*b53*b62 - 270*b53*b63 - 190*b53*b64 - 60*b53*b65 - 600*b53*b67 - 130* b53*b68 - 760*b53*b69 - 650*b53*b70 - 560*b53*b71 - 510*b53*b72 - 500*b54* b55 - 280*b54*b56 - 370*b54*b57 - 340*b54*b58 - 870*b54*b59 - 240*b54*b60 - 980*b54*b61 - 470*b54*b62 - 500*b54*b63 - 50*b54*b64 - 570*b54*b65 - 480*b54*b66 - 940*b54*b67 - 210*b54*b68 - 310*b54*b69 - 250*b54*b70 - 120* b54*b71 - 380*b54*b72 - 150*b55*b56 - 20*b55*b57 - 890*b55*b58 - 940*b55* b59 - 210*b55*b60 - 950*b55*b61 - 940*b55*b62 - 330*b55*b63 - 80*b55*b64 - 710*b55*b65 - 990*b55*b66 - 640*b55*b67 - 740*b55*b68 - 10*b55*b69 - 440*b55*b70 - 120*b55*b71 - 360*b55*b72 - 830*b56*b57 - 880*b56*b58 - 340* b56*b59 - 300*b56*b60 - 390*b56*b61 - 390*b56*b62 - 390*b56*b63 - 870*b56* b64 - 860*b56*b65 - 600*b56*b66 - 700*b56*b67 - 110*b56*b68 - 730*b56*b69 - 90*b56*b70 - 780*b56*b71 - 750*b56*b72 - 500*b57*b58 - 730*b57*b59 - 480*b57*b60 - 450*b57*b61 - 190*b57*b62 - 820*b57*b63 - 50*b57*b64 - 900* b57*b65 - 330*b57*b66 - 210*b57*b67 - 170*b57*b68 - 340*b57*b69 - 650*b57* b70 - 810*b57*b71 - 700*b57*b72 - 690*b58*b60 - 570*b58*b61 - 830*b58*b62 - 600*b58*b63 - 960*b58*b64 - 220*b58*b65 - 990*b58*b66 - 340*b58*b67 - 830*b58*b68 - 220*b58*b69 - 460*b58*b70 - 560*b58*b71 - 830*b58*b72 - 240* b59*b60 - 830*b59*b61 - 330*b59*b62 - 490*b59*b63 - 310*b59*b64 - 300*b59* b65 - 690*b59*b66 - 650*b59*b67 - 350*b59*b68 - 110*b59*b69 - 980*b59*b70 - 560*b59*b71 - 800*b59*b72 - 850*b60*b61 - 730*b60*b62 - 610*b60*b63 - 550*b60*b64 - 250*b60*b65 - 830*b60*b66 - 120*b60*b67 - 80*b60*b68 - 950* b60*b69 - 610*b60*b70 - 310*b60*b71 - 470*b60*b72 - 950*b61*b62 - 660*b61* b63 - 690*b61*b64 - 930*b61*b65 - 740*b61*b66 - 520*b61*b67 - 700*b61*b68 - 570*b61*b69 - 850*b61*b70 - 710*b61*b71 - 400*b61*b72 - 150*b62*b63 - 400*b62*b64 - 580*b62*b65 - 20*b62*b66 - 40*b62*b67 - 560*b62*b68 - 100* b62*b69 - 360*b62*b70 - 410*b62*b71 - 830*b62*b72 - 980*b63*b64 - 490*b63* b65 - 80*b63*b66 - 330*b63*b67 - 130*b63*b68 - 690*b63*b69 - 280*b63*b70 - 740*b63*b71 - 750*b64*b65 - 220*b64*b66 - 660*b64*b67 - 440*b64*b68 - 670*b64*b69 - 400*b64*b70 - 480*b64*b71 - 370*b64*b72 - 490*b65*b66 - 850* b65*b67 - 90*b65*b68 - 410*b65*b69 - 10*b65*b71 - 990*b65*b72 - 540*b66* b67 - 570*b66*b68 - 80*b66*b69 - 640*b66*b70 - 940*b66*b71 - 10*b66*b72 - 470*b67*b68 - 440*b67*b69 - 500*b67*b70 - 80*b67*b71 - 770*b67*b72 - 640* b68*b69 - 770*b68*b70 - 570*b68*b71 - 900*b68*b72 - 290*b69*b70 - 850*b69* b71 - 640*b69*b72 - 470*b70*b71 - 810*b70*b72 - 320*b71*b72 - 590*b73*b74 - 470*b73*b75 - 830*b73*b76 - 530*b73*b77 - 800*b73*b78 - 350*b73*b79 - 900*b73*b80 - 980*b73*b81 - 710*b73*b82 - 830*b73*b83 - 540*b73*b84 - 860* b73*b85 - 890*b73*b86 - 270*b73*b87 - 710*b73*b88 - 100*b73*b89 - 980*b73* b90 - 910*b73*b91 - 860*b73*b92 - 300*b73*b93 - 550*b74*b75 - 200*b74*b76 - 400*b74*b77 - 70*b74*b78 - 530*b74*b79 - 910*b74*b80 - 750*b74*b81 - 330*b74*b82 - 720*b74*b83 - 340*b74*b84 - 320*b74*b85 - 70*b74*b86 - 870* b74*b87 - 640*b74*b88 - 70*b74*b89 - 740*b74*b90 - 540*b74*b91 - 580*b74* b92 - 970*b74*b93 - 760*b74*b94 - 890*b75*b76 - 120*b75*b77 - 830*b75*b78 - 390*b75*b79 - 70*b75*b80 - 890*b75*b81 - 890*b75*b82 - 980*b75*b83 - 270*b75*b84 - 190*b75*b85 - 60*b75*b86 - 600*b75*b88 - 130*b75*b89 - 760* b75*b90 - 650*b75*b91 - 560*b75*b92 - 510*b75*b93 - 790*b75*b94 - 500*b76* b77 - 280*b76*b78 - 340*b76*b79 - 870*b76*b80 - 240*b76*b81 - 980*b76*b82 - 470*b76*b83 - 500*b76*b84 - 50*b76*b85 - 570*b76*b86 - 480*b76*b87 - 940*b76*b88 - 210*b76*b89 - 310*b76*b90 - 250*b76*b91 - 120*b76*b92 - 380* b76*b93 - 370*b76*b94 - 150*b77*b78 - 890*b77*b79 - 940*b77*b80 - 210*b77* b81 - 950*b77*b82 - 940*b77*b83 - 330*b77*b84 - 80*b77*b85 - 710*b77*b86 - 990*b77*b87 - 640*b77*b88 - 740*b77*b89 - 10*b77*b90 - 440*b77*b91 - 120*b77*b92 - 360*b77*b93 - 20*b77*b94 - 880*b78*b79 - 340*b78*b80 - 300* b78*b81 - 390*b78*b82 - 390*b78*b83 - 390*b78*b84 - 870*b78*b85 - 860*b78* b86 - 600*b78*b87 - 700*b78*b88 - 110*b78*b89 - 730*b78*b90 - 90*b78*b91 - 780*b78*b92 - 750*b78*b93 - 830*b78*b94 - 690*b79*b81 - 570*b79*b82 - 830*b79*b83 - 600*b79*b84 - 960*b79*b85 - 220*b79*b86 - 990*b79*b87 - 340* b79*b88 - 830*b79*b89 - 220*b79*b90 - 460*b79*b91 - 560*b79*b92 - 830*b79* b93 - 500*b79*b94 - 240*b80*b81 - 830*b80*b82 - 330*b80*b83 - 490*b80*b84 - 310*b80*b85 - 300*b80*b86 - 690*b80*b87 - 650*b80*b88 - 350*b80*b89 - 110*b80*b90 - 980*b80*b91 - 560*b80*b92 - 800*b80*b93 - 730*b80*b94 - 850* b81*b82 - 730*b81*b83 - 610*b81*b84 - 550*b81*b85 - 250*b81*b86 - 830*b81* b87 - 120*b81*b88 - 80*b81*b89 - 950*b81*b90 - 610*b81*b91 - 310*b81*b92 - 470*b81*b93 - 480*b81*b94 - 950*b82*b83 - 660*b82*b84 - 690*b82*b85 - 930*b82*b86 - 740*b82*b87 - 520*b82*b88 - 700*b82*b89 - 570*b82*b90 - 850* b82*b91 - 710*b82*b92 - 400*b82*b93 - 450*b82*b94 - 150*b83*b84 - 400*b83* b85 - 580*b83*b86 - 20*b83*b87 - 40*b83*b88 - 560*b83*b89 - 100*b83*b90 - 360*b83*b91 - 410*b83*b92 - 830*b83*b93 - 190*b83*b94 - 980*b84*b85 - 490* b84*b86 - 80*b84*b87 - 330*b84*b88 - 130*b84*b89 - 690*b84*b90 - 280*b84* b91 - 740*b84*b92 - 820*b84*b94 - 750*b85*b86 - 220*b85*b87 - 660*b85*b88 - 440*b85*b89 - 670*b85*b90 - 400*b85*b91 - 480*b85*b92 - 370*b85*b93 - 50*b85*b94 - 490*b86*b87 - 850*b86*b88 - 90*b86*b89 - 410*b86*b90 - 10*b86 *b92 - 990*b86*b93 - 900*b86*b94 - 540*b87*b88 - 570*b87*b89 - 80*b87*b90 - 640*b87*b91 - 940*b87*b92 - 10*b87*b93 - 330*b87*b94 - 470*b88*b89 - 440*b88*b90 - 500*b88*b91 - 80*b88*b92 - 770*b88*b93 - 210*b88*b94 - 640* b89*b90 - 770*b89*b91 - 570*b89*b92 - 900*b89*b93 - 170*b89*b94 - 290*b90* b91 - 850*b90*b92 - 640*b90*b93 - 340*b90*b94 - 470*b91*b92 - 810*b91*b93 - 650*b91*b94 - 320*b92*b93 - 810*b92*b94 - 700*b93*b94 - 550*b95*b96 - 200*b95*b97 - 400*b95*b98 - 70*b95*b99 - 760*b95*b100 - 530*b95*b101 - 910 *b95*b102 - 750*b95*b103 - 330*b95*b104 - 720*b95*b105 - 340*b95*b106 - 320*b95*b107 - 70*b95*b108 - 870*b95*b109 - 640*b95*b110 - 70*b95*b111 - 740*b95*b112 - 540*b95*b113 - 580*b95*b114 - 970*b95*b115 - 890*b96*b97 - 120*b96*b98 - 830*b96*b99 - 790*b96*b100 - 390*b96*b101 - 70*b96*b102 - 890*b96*b103 - 890*b96*b104 - 980*b96*b105 - 270*b96*b106 - 190*b96*b107 - 60*b96*b108 - 600*b96*b110 - 130*b96*b111 - 760*b96*b112 - 650*b96*b113 - 560*b96*b114 - 510*b96*b115 - 500*b97*b98 - 280*b97*b99 - 370*b97*b100 - 340*b97*b101 - 870*b97*b102 - 240*b97*b103 - 980*b97*b104 - 470*b97* b105 - 500*b97*b106 - 50*b97*b107 - 570*b97*b108 - 480*b97*b109 - 940*b97* b110 - 210*b97*b111 - 310*b97*b112 - 250*b97*b113 - 120*b97*b114 - 380*b97 *b115 - 150*b98*b99 - 20*b98*b100 - 890*b98*b101 - 940*b98*b102 - 210*b98* b103 - 950*b98*b104 - 940*b98*b105 - 330*b98*b106 - 80*b98*b107 - 710*b98* b108 - 990*b98*b109 - 640*b98*b110 - 740*b98*b111 - 10*b98*b112 - 440*b98* b113 - 120*b98*b114 - 360*b98*b115 - 830*b99*b100 - 880*b99*b101 - 340*b99 *b102 - 300*b99*b103 - 390*b99*b104 - 390*b99*b105 - 390*b99*b106 - 870* b99*b107 - 860*b99*b108 - 600*b99*b109 - 700*b99*b110 - 110*b99*b111 - 730 *b99*b112 - 90*b99*b113 - 780*b99*b114 - 750*b99*b115 - 500*b100*b101 - 730*b100*b102 - 480*b100*b103 - 450*b100*b104 - 190*b100*b105 - 820*b100* b106 - 50*b100*b107 - 900*b100*b108 - 330*b100*b109 - 210*b100*b110 - 170* b100*b111 - 340*b100*b112 - 650*b100*b113 - 810*b100*b114 - 700*b100*b115 - 690*b101*b103 - 570*b101*b104 - 830*b101*b105 - 600*b101*b106 - 960* b101*b107 - 220*b101*b108 - 990*b101*b109 - 340*b101*b110 - 830*b101*b111 - 220*b101*b112 - 460*b101*b113 - 560*b101*b114 - 830*b101*b115 - 240* b102*b103 - 830*b102*b104 - 330*b102*b105 - 490*b102*b106 - 310*b102*b107 - 300*b102*b108 - 690*b102*b109 - 650*b102*b110 - 350*b102*b111 - 110* b102*b112 - 980*b102*b113 - 560*b102*b114 - 800*b102*b115 - 850*b103*b104 - 730*b103*b105 - 610*b103*b106 - 550*b103*b107 - 250*b103*b108 - 830* b103*b109 - 120*b103*b110 - 80*b103*b111 - 950*b103*b112 - 610*b103*b113 - 310*b103*b114 - 470*b103*b115 - 950*b104*b105 - 660*b104*b106 - 690* b104*b107 - 930*b104*b108 - 740*b104*b109 - 520*b104*b110 - 700*b104*b111 - 570*b104*b112 - 850*b104*b113 - 710*b104*b114 - 400*b104*b115 - 150* b105*b106 - 400*b105*b107 - 580*b105*b108 - 20*b105*b109 - 40*b105*b110 - 560*b105*b111 - 100*b105*b112 - 360*b105*b113 - 410*b105*b114 - 830*b105* b115 - 980*b106*b107 - 490*b106*b108 - 80*b106*b109 - 330*b106*b110 - 130* b106*b111 - 690*b106*b112 - 280*b106*b113 - 740*b106*b114 - 750*b107*b108 - 220*b107*b109 - 660*b107*b110 - 440*b107*b111 - 670*b107*b112 - 400* b107*b113 - 480*b107*b114 - 370*b107*b115 - 490*b108*b109 - 850*b108*b110 - 90*b108*b111 - 410*b108*b112 - 10*b108*b114 - 990*b108*b115 - 540*b109* b110 - 570*b109*b111 - 80*b109*b112 - 640*b109*b113 - 940*b109*b114 - 10* b109*b115 - 470*b110*b111 - 440*b110*b112 - 500*b110*b113 - 80*b110*b114 - 770*b110*b115 - 640*b111*b112 - 770*b111*b113 - 570*b111*b114 - 900* b111*b115 - 290*b112*b113 - 850*b112*b114 - 640*b112*b115 - 470*b113*b114 - 810*b113*b115 - 320*b114*b115 - 890*b116*b117 - 120*b116*b118 - 830* b116*b119 - 790*b116*b120 - 390*b116*b121 - 70*b116*b122 - 890*b116*b123 - 890*b116*b124 - 980*b116*b125 - 270*b116*b126 - 190*b116*b127 - 60*b116 *b128 - 600*b116*b129 - 130*b116*b130 - 760*b116*b131 - 650*b116*b132 - 560*b116*b133 - 510*b116*b134 - 500*b117*b118 - 280*b117*b119 - 370*b117* b120 - 340*b117*b121 - 870*b117*b122 - 240*b117*b123 - 980*b117*b124 - 470 *b117*b125 - 500*b117*b126 - 50*b117*b127 - 570*b117*b128 - 940*b117*b129 - 210*b117*b130 - 310*b117*b131 - 250*b117*b132 - 120*b117*b133 - 380* b117*b134 - 480*b117*b135 - 150*b118*b119 - 20*b118*b120 - 890*b118*b121 - 940*b118*b122 - 210*b118*b123 - 950*b118*b124 - 940*b118*b125 - 330* b118*b126 - 80*b118*b127 - 710*b118*b128 - 640*b118*b129 - 740*b118*b130 - 10*b118*b131 - 440*b118*b132 - 120*b118*b133 - 360*b118*b134 - 990*b118 *b135 - 830*b119*b120 - 880*b119*b121 - 340*b119*b122 - 300*b119*b123 - 390*b119*b124 - 390*b119*b125 - 390*b119*b126 - 870*b119*b127 - 860*b119* b128 - 700*b119*b129 - 110*b119*b130 - 730*b119*b131 - 90*b119*b132 - 780* b119*b133 - 750*b119*b134 - 600*b119*b135 - 500*b120*b121 - 730*b120*b122 - 480*b120*b123 - 450*b120*b124 - 190*b120*b125 - 820*b120*b126 - 50*b120 *b127 - 900*b120*b128 - 210*b120*b129 - 170*b120*b130 - 340*b120*b131 - 650*b120*b132 - 810*b120*b133 - 700*b120*b134 - 330*b120*b135 - 690*b121* b123 - 570*b121*b124 - 830*b121*b125 - 600*b121*b126 - 960*b121*b127 - 220 *b121*b128 - 340*b121*b129 - 830*b121*b130 - 220*b121*b131 - 460*b121*b132 - 560*b121*b133 - 830*b121*b134 - 990*b121*b135 - 240*b122*b123 - 830* b122*b124 - 330*b122*b125 - 490*b122*b126 - 310*b122*b127 - 300*b122*b128 - 650*b122*b129 - 350*b122*b130 - 110*b122*b131 - 980*b122*b132 - 560* b122*b133 - 800*b122*b134 - 690*b122*b135 - 850*b123*b124 - 730*b123*b125 - 610*b123*b126 - 550*b123*b127 - 250*b123*b128 - 120*b123*b129 - 80*b123 *b130 - 950*b123*b131 - 610*b123*b132 - 310*b123*b133 - 470*b123*b134 - 830*b123*b135 - 950*b124*b125 - 660*b124*b126 - 690*b124*b127 - 930*b124* b128 - 520*b124*b129 - 700*b124*b130 - 570*b124*b131 - 850*b124*b132 - 710 *b124*b133 - 400*b124*b134 - 740*b124*b135 - 150*b125*b126 - 400*b125*b127 - 580*b125*b128 - 40*b125*b129 - 560*b125*b130 - 100*b125*b131 - 360*b125 *b132 - 410*b125*b133 - 830*b125*b134 - 20*b125*b135 - 980*b126*b127 - 490 *b126*b128 - 330*b126*b129 - 130*b126*b130 - 690*b126*b131 - 280*b126*b132 - 740*b126*b133 - 80*b126*b135 - 750*b127*b128 - 660*b127*b129 - 440*b127 *b130 - 670*b127*b131 - 400*b127*b132 - 480*b127*b133 - 370*b127*b134 - 220*b127*b135 - 850*b128*b129 - 90*b128*b130 - 410*b128*b131 - 10*b128* b133 - 990*b128*b134 - 490*b128*b135 - 470*b129*b130 - 440*b129*b131 - 500 *b129*b132 - 80*b129*b133 - 770*b129*b134 - 540*b129*b135 - 640*b130*b131 - 770*b130*b132 - 570*b130*b133 - 900*b130*b134 - 570*b130*b135 - 290* b131*b132 - 850*b131*b133 - 640*b131*b134 - 80*b131*b135 - 470*b132*b133 - 810*b132*b134 - 640*b132*b135 - 320*b133*b134 - 940*b133*b135 - 10*b134 *b135 - 500*b136*b137 - 280*b136*b138 - 370*b136*b139 - 340*b136*b140 - 870*b136*b141 - 240*b136*b142 - 980*b136*b143 - 470*b136*b144 - 500*b136* b145 - 50*b136*b146 - 570*b136*b147 - 480*b136*b148 - 940*b136*b149 - 210* b136*b150 - 310*b136*b151 - 250*b136*b152 - 120*b136*b153 - 380*b136*b154 - 150*b137*b138 - 20*b137*b139 - 890*b137*b140 - 940*b137*b141 - 210*b137 *b142 - 950*b137*b143 - 940*b137*b144 - 330*b137*b145 - 80*b137*b146 - 710 *b137*b147 - 990*b137*b148 - 640*b137*b149 - 740*b137*b150 - 10*b137*b151 - 440*b137*b152 - 120*b137*b153 - 360*b137*b154 - 830*b138*b139 - 880* b138*b140 - 340*b138*b141 - 300*b138*b142 - 390*b138*b143 - 390*b138*b144 - 390*b138*b145 - 870*b138*b146 - 860*b138*b147 - 600*b138*b148 - 700* b138*b149 - 110*b138*b150 - 730*b138*b151 - 90*b138*b152 - 780*b138*b153 - 750*b138*b154 - 500*b139*b140 - 730*b139*b141 - 480*b139*b142 - 450* b139*b143 - 190*b139*b144 - 820*b139*b145 - 50*b139*b146 - 900*b139*b147 - 330*b139*b148 - 210*b139*b149 - 170*b139*b150 - 340*b139*b151 - 650* b139*b152 - 810*b139*b153 - 700*b139*b154 - 690*b140*b142 - 570*b140*b143 - 830*b140*b144 - 600*b140*b145 - 960*b140*b146 - 220*b140*b147 - 990* b140*b148 - 340*b140*b149 - 830*b140*b150 - 220*b140*b151 - 460*b140*b152 - 560*b140*b153 - 830*b140*b154 - 240*b141*b142 - 830*b141*b143 - 330* b141*b144 - 490*b141*b145 - 310*b141*b146 - 300*b141*b147 - 690*b141*b148 - 650*b141*b149 - 350*b141*b150 - 110*b141*b151 - 980*b141*b152 - 560* b141*b153 - 800*b141*b154 - 850*b142*b143 - 730*b142*b144 - 610*b142*b145 - 550*b142*b146 - 250*b142*b147 - 830*b142*b148 - 120*b142*b149 - 80*b142 *b150 - 950*b142*b151 - 610*b142*b152 - 310*b142*b153 - 470*b142*b154 - 950*b143*b144 - 660*b143*b145 - 690*b143*b146 - 930*b143*b147 - 740*b143* b148 - 520*b143*b149 - 700*b143*b150 - 570*b143*b151 - 850*b143*b152 - 710 *b143*b153 - 400*b143*b154 - 150*b144*b145 - 400*b144*b146 - 580*b144*b147 - 20*b144*b148 - 40*b144*b149 - 560*b144*b150 - 100*b144*b151 - 360*b144* b152 - 410*b144*b153 - 830*b144*b154 - 980*b145*b146 - 490*b145*b147 - 80* b145*b148 - 330*b145*b149 - 130*b145*b150 - 690*b145*b151 - 280*b145*b152 - 740*b145*b153 - 750*b146*b147 - 220*b146*b148 - 660*b146*b149 - 440* b146*b150 - 670*b146*b151 - 400*b146*b152 - 480*b146*b153 - 370*b146*b154 - 490*b147*b148 - 850*b147*b149 - 90*b147*b150 - 410*b147*b151 - 10*b147* b153 - 990*b147*b154 - 540*b148*b149 - 570*b148*b150 - 80*b148*b151 - 640* b148*b152 - 940*b148*b153 - 10*b148*b154 - 470*b149*b150 - 440*b149*b151 - 500*b149*b152 - 80*b149*b153 - 770*b149*b154 - 640*b150*b151 - 770*b150 *b152 - 570*b150*b153 - 900*b150*b154 - 290*b151*b152 - 850*b151*b153 - 640*b151*b154 - 470*b152*b153 - 810*b152*b154 - 320*b153*b154 - 150*b155* b156 - 20*b155*b157 - 890*b155*b158 - 940*b155*b159 - 210*b155*b160 - 950* b155*b161 - 940*b155*b162 - 330*b155*b163 - 80*b155*b164 - 710*b155*b165 - 990*b155*b166 - 640*b155*b167 - 740*b155*b168 - 10*b155*b169 - 440*b155 *b170 - 120*b155*b171 - 360*b155*b172 - 830*b156*b157 - 880*b156*b158 - 340*b156*b159 - 300*b156*b160 - 390*b156*b161 - 390*b156*b162 - 390*b156* b163 - 870*b156*b164 - 860*b156*b165 - 600*b156*b166 - 700*b156*b167 - 110 *b156*b168 - 730*b156*b169 - 90*b156*b170 - 780*b156*b171 - 750*b156*b172 - 500*b157*b158 - 730*b157*b159 - 480*b157*b160 - 450*b157*b161 - 190* b157*b162 - 820*b157*b163 - 50*b157*b164 - 900*b157*b165 - 330*b157*b166 - 210*b157*b167 - 170*b157*b168 - 340*b157*b169 - 650*b157*b170 - 810* b157*b171 - 700*b157*b172 - 690*b158*b160 - 570*b158*b161 - 830*b158*b162 - 600*b158*b163 - 960*b158*b164 - 220*b158*b165 - 990*b158*b166 - 340* b158*b167 - 830*b158*b168 - 220*b158*b169 - 460*b158*b170 - 560*b158*b171 - 830*b158*b172 - 240*b159*b160 - 830*b159*b161 - 330*b159*b162 - 490* b159*b163 - 310*b159*b164 - 300*b159*b165 - 690*b159*b166 - 650*b159*b167 - 350*b159*b168 - 110*b159*b169 - 980*b159*b170 - 560*b159*b171 - 800* b159*b172 - 850*b160*b161 - 730*b160*b162 - 610*b160*b163 - 550*b160*b164 - 250*b160*b165 - 830*b160*b166 - 120*b160*b167 - 80*b160*b168 - 950*b160 *b169 - 610*b160*b170 - 310*b160*b171 - 470*b160*b172 - 950*b161*b162 - 660*b161*b163 - 690*b161*b164 - 930*b161*b165 - 740*b161*b166 - 520*b161* b167 - 700*b161*b168 - 570*b161*b169 - 850*b161*b170 - 710*b161*b171 - 400 *b161*b172 - 150*b162*b163 - 400*b162*b164 - 580*b162*b165 - 20*b162*b166 - 40*b162*b167 - 560*b162*b168 - 100*b162*b169 - 360*b162*b170 - 410*b162 *b171 - 830*b162*b172 - 980*b163*b164 - 490*b163*b165 - 80*b163*b166 - 330 *b163*b167 - 130*b163*b168 - 690*b163*b169 - 280*b163*b170 - 740*b163*b171 - 750*b164*b165 - 220*b164*b166 - 660*b164*b167 - 440*b164*b168 - 670* b164*b169 - 400*b164*b170 - 480*b164*b171 - 370*b164*b172 - 490*b165*b166 - 850*b165*b167 - 90*b165*b168 - 410*b165*b169 - 10*b165*b171 - 990*b165* b172 - 540*b166*b167 - 570*b166*b168 - 80*b166*b169 - 640*b166*b170 - 940* b166*b171 - 10*b166*b172 - 470*b167*b168 - 440*b167*b169 - 500*b167*b170 - 80*b167*b171 - 770*b167*b172 - 640*b168*b169 - 770*b168*b170 - 570*b168 *b171 - 900*b168*b172 - 290*b169*b170 - 850*b169*b171 - 640*b169*b172 - 470*b170*b171 - 810*b170*b172 - 320*b171*b172 - 830*b173*b174 - 880*b173* b175 - 340*b173*b176 - 300*b173*b177 - 390*b173*b178 - 390*b173*b179 - 390 *b173*b180 - 870*b173*b181 - 860*b173*b182 - 600*b173*b183 - 700*b173*b184 - 110*b173*b185 - 730*b173*b186 - 90*b173*b187 - 780*b173*b188 - 750*b173 *b189 - 500*b174*b175 - 730*b174*b176 - 480*b174*b177 - 450*b174*b178 - 190*b174*b179 - 820*b174*b180 - 50*b174*b181 - 900*b174*b182 - 330*b174* b183 - 210*b174*b184 - 170*b174*b185 - 340*b174*b186 - 650*b174*b187 - 810 *b174*b188 - 700*b174*b189 - 690*b175*b177 - 570*b175*b178 - 830*b175*b179 - 600*b175*b180 - 960*b175*b181 - 220*b175*b182 - 990*b175*b183 - 340* b175*b184 - 830*b175*b185 - 220*b175*b186 - 460*b175*b187 - 560*b175*b188 - 830*b175*b189 - 240*b176*b177 - 830*b176*b178 - 330*b176*b179 - 490* b176*b180 - 310*b176*b181 - 300*b176*b182 - 690*b176*b183 - 650*b176*b184 - 350*b176*b185 - 110*b176*b186 - 980*b176*b187 - 560*b176*b188 - 800* b176*b189 - 850*b177*b178 - 730*b177*b179 - 610*b177*b180 - 550*b177*b181 - 250*b177*b182 - 830*b177*b183 - 120*b177*b184 - 80*b177*b185 - 950*b177 *b186 - 610*b177*b187 - 310*b177*b188 - 470*b177*b189 - 950*b178*b179 - 660*b178*b180 - 690*b178*b181 - 930*b178*b182 - 740*b178*b183 - 520*b178* b184 - 700*b178*b185 - 570*b178*b186 - 850*b178*b187 - 710*b178*b188 - 400 *b178*b189 - 150*b179*b180 - 400*b179*b181 - 580*b179*b182 - 20*b179*b183 - 40*b179*b184 - 560*b179*b185 - 100*b179*b186 - 360*b179*b187 - 410*b179 *b188 - 830*b179*b189 - 980*b180*b181 - 490*b180*b182 - 80*b180*b183 - 330 *b180*b184 - 130*b180*b185 - 690*b180*b186 - 280*b180*b187 - 740*b180*b188 - 750*b181*b182 - 220*b181*b183 - 660*b181*b184 - 440*b181*b185 - 670* b181*b186 - 400*b181*b187 - 480*b181*b188 - 370*b181*b189 - 490*b182*b183 - 850*b182*b184 - 90*b182*b185 - 410*b182*b186 - 10*b182*b188 - 990*b182* b189 - 540*b183*b184 - 570*b183*b185 - 80*b183*b186 - 640*b183*b187 - 940* b183*b188 - 10*b183*b189 - 470*b184*b185 - 440*b184*b186 - 500*b184*b187 - 80*b184*b188 - 770*b184*b189 - 640*b185*b186 - 770*b185*b187 - 570*b185 *b188 - 900*b185*b189 - 290*b186*b187 - 850*b186*b188 - 640*b186*b189 - 470*b187*b188 - 810*b187*b189 - 320*b188*b189 - 500*b190*b191 - 730*b190* b192 - 480*b190*b193 - 450*b190*b194 - 190*b190*b195 - 820*b190*b196 - 50* b190*b197 - 900*b190*b198 - 330*b190*b199 - 210*b190*b200 - 170*b190*b201 - 340*b190*b202 - 650*b190*b203 - 810*b190*b204 - 700*b190*b205 - 690* b191*b193 - 570*b191*b194 - 830*b191*b195 - 600*b191*b196 - 960*b191*b197 - 220*b191*b198 - 990*b191*b199 - 340*b191*b200 - 830*b191*b201 - 220* b191*b202 - 460*b191*b203 - 560*b191*b204 - 830*b191*b205 - 240*b192*b193 - 830*b192*b194 - 330*b192*b195 - 490*b192*b196 - 310*b192*b197 - 300* b192*b198 - 690*b192*b199 - 650*b192*b200 - 350*b192*b201 - 110*b192*b202 - 980*b192*b203 - 560*b192*b204 - 800*b192*b205 - 850*b193*b194 - 730* b193*b195 - 610*b193*b196 - 550*b193*b197 - 250*b193*b198 - 830*b193*b199 - 120*b193*b200 - 80*b193*b201 - 950*b193*b202 - 610*b193*b203 - 310*b193 *b204 - 470*b193*b205 - 950*b194*b195 - 660*b194*b196 - 690*b194*b197 - 930*b194*b198 - 740*b194*b199 - 520*b194*b200 - 700*b194*b201 - 570*b194* b202 - 850*b194*b203 - 710*b194*b204 - 400*b194*b205 - 150*b195*b196 - 400 *b195*b197 - 580*b195*b198 - 20*b195*b199 - 40*b195*b200 - 560*b195*b201 - 100*b195*b202 - 360*b195*b203 - 410*b195*b204 - 830*b195*b205 - 980* b196*b197 - 490*b196*b198 - 80*b196*b199 - 330*b196*b200 - 130*b196*b201 - 690*b196*b202 - 280*b196*b203 - 740*b196*b204 - 750*b197*b198 - 220* b197*b199 - 660*b197*b200 - 440*b197*b201 - 670*b197*b202 - 400*b197*b203 - 480*b197*b204 - 370*b197*b205 - 490*b198*b199 - 850*b198*b200 - 90*b198 *b201 - 410*b198*b202 - 10*b198*b204 - 990*b198*b205 - 540*b199*b200 - 570 *b199*b201 - 80*b199*b202 - 640*b199*b203 - 940*b199*b204 - 10*b199*b205 - 470*b200*b201 - 440*b200*b202 - 500*b200*b203 - 80*b200*b204 - 770*b200 *b205 - 640*b201*b202 - 770*b201*b203 - 570*b201*b204 - 900*b201*b205 - 290*b202*b203 - 850*b202*b204 - 640*b202*b205 - 470*b203*b204 - 810*b203* b205 - 320*b204*b205 - 690*b206*b207 - 570*b206*b208 - 830*b206*b209 - 600 *b206*b210 - 960*b206*b211 - 220*b206*b212 - 990*b206*b213 - 340*b206*b214 - 830*b206*b215 - 220*b206*b216 - 460*b206*b217 - 560*b206*b218 - 830* b206*b219 - 850*b207*b208 - 730*b207*b209 - 610*b207*b210 - 550*b207*b211 - 250*b207*b212 - 830*b207*b213 - 120*b207*b214 - 80*b207*b215 - 950*b207 *b216 - 610*b207*b217 - 310*b207*b218 - 470*b207*b219 - 240*b207*b220 - 950*b208*b209 - 660*b208*b210 - 690*b208*b211 - 930*b208*b212 - 740*b208* b213 - 520*b208*b214 - 700*b208*b215 - 570*b208*b216 - 850*b208*b217 - 710 *b208*b218 - 400*b208*b219 - 830*b208*b220 - 150*b209*b210 - 400*b209*b211 - 580*b209*b212 - 20*b209*b213 - 40*b209*b214 - 560*b209*b215 - 100*b209* b216 - 360*b209*b217 - 410*b209*b218 - 830*b209*b219 - 330*b209*b220 - 980 *b210*b211 - 490*b210*b212 - 80*b210*b213 - 330*b210*b214 - 130*b210*b215 - 690*b210*b216 - 280*b210*b217 - 740*b210*b218 - 490*b210*b220 - 750* b211*b212 - 220*b211*b213 - 660*b211*b214 - 440*b211*b215 - 670*b211*b216 - 400*b211*b217 - 480*b211*b218 - 370*b211*b219 - 310*b211*b220 - 490* b212*b213 - 850*b212*b214 - 90*b212*b215 - 410*b212*b216 - 10*b212*b218 - 990*b212*b219 - 300*b212*b220 - 540*b213*b214 - 570*b213*b215 - 80*b213* b216 - 640*b213*b217 - 940*b213*b218 - 10*b213*b219 - 690*b213*b220 - 470* b214*b215 - 440*b214*b216 - 500*b214*b217 - 80*b214*b218 - 770*b214*b219 - 650*b214*b220 - 640*b215*b216 - 770*b215*b217 - 570*b215*b218 - 900* b215*b219 - 350*b215*b220 - 290*b216*b217 - 850*b216*b218 - 640*b216*b219 - 110*b216*b220 - 470*b217*b218 - 810*b217*b219 - 980*b217*b220 - 320* b218*b219 - 560*b218*b220 - 800*b219*b220 - 240*b221*b222 - 830*b221*b223 - 330*b221*b224 - 490*b221*b225 - 310*b221*b226 - 300*b221*b227 - 690* b221*b228 - 650*b221*b229 - 350*b221*b230 - 110*b221*b231 - 980*b221*b232 - 560*b221*b233 - 800*b221*b234 - 850*b222*b223 - 730*b222*b224 - 610* b222*b225 - 550*b222*b226 - 250*b222*b227 - 830*b222*b228 - 120*b222*b229 - 80*b222*b230 - 950*b222*b231 - 610*b222*b232 - 310*b222*b233 - 470*b222 *b234 - 950*b223*b224 - 660*b223*b225 - 690*b223*b226 - 930*b223*b227 - 740*b223*b228 - 520*b223*b229 - 700*b223*b230 - 570*b223*b231 - 850*b223* b232 - 710*b223*b233 - 400*b223*b234 - 150*b224*b225 - 400*b224*b226 - 580 *b224*b227 - 20*b224*b228 - 40*b224*b229 - 560*b224*b230 - 100*b224*b231 - 360*b224*b232 - 410*b224*b233 - 830*b224*b234 - 980*b225*b226 - 490* b225*b227 - 80*b225*b228 - 330*b225*b229 - 130*b225*b230 - 690*b225*b231 - 280*b225*b232 - 740*b225*b233 - 750*b226*b227 - 220*b226*b228 - 660* b226*b229 - 440*b226*b230 - 670*b226*b231 - 400*b226*b232 - 480*b226*b233 - 370*b226*b234 - 490*b227*b228 - 850*b227*b229 - 90*b227*b230 - 410*b227 *b231 - 10*b227*b233 - 990*b227*b234 - 540*b228*b229 - 570*b228*b230 - 80* b228*b231 - 640*b228*b232 - 940*b228*b233 - 10*b228*b234 - 470*b229*b230 - 440*b229*b231 - 500*b229*b232 - 80*b229*b233 - 770*b229*b234 - 640*b230 *b231 - 770*b230*b232 - 570*b230*b233 - 900*b230*b234 - 290*b231*b232 - 850*b231*b233 - 640*b231*b234 - 470*b232*b233 - 810*b232*b234 - 320*b233* b234 - 850*b235*b236 - 730*b235*b237 - 610*b235*b238 - 550*b235*b239 - 250 *b235*b240 - 830*b235*b241 - 120*b235*b242 - 80*b235*b243 - 950*b235*b244 - 610*b235*b245 - 310*b235*b246 - 470*b235*b247 - 950*b236*b237 - 660* b236*b238 - 690*b236*b239 - 930*b236*b240 - 740*b236*b241 - 520*b236*b242 - 700*b236*b243 - 570*b236*b244 - 850*b236*b245 - 710*b236*b246 - 400* b236*b247 - 150*b237*b238 - 400*b237*b239 - 580*b237*b240 - 20*b237*b241 - 40*b237*b242 - 560*b237*b243 - 100*b237*b244 - 360*b237*b245 - 410*b237 *b246 - 830*b237*b247 - 980*b238*b239 - 490*b238*b240 - 80*b238*b241 - 330 *b238*b242 - 130*b238*b243 - 690*b238*b244 - 280*b238*b245 - 740*b238*b246 - 750*b239*b240 - 220*b239*b241 - 660*b239*b242 - 440*b239*b243 - 670* b239*b244 - 400*b239*b245 - 480*b239*b246 - 370*b239*b247 - 490*b240*b241 - 850*b240*b242 - 90*b240*b243 - 410*b240*b244 - 10*b240*b246 - 990*b240* b247 - 540*b241*b242 - 570*b241*b243 - 80*b241*b244 - 640*b241*b245 - 940* b241*b246 - 10*b241*b247 - 470*b242*b243 - 440*b242*b244 - 500*b242*b245 - 80*b242*b246 - 770*b242*b247 - 640*b243*b244 - 770*b243*b245 - 570*b243 *b246 - 900*b243*b247 - 290*b244*b245 - 850*b244*b246 - 640*b244*b247 - 470*b245*b246 - 810*b245*b247 - 320*b246*b247 - 950*b248*b249 - 660*b248* b250 - 690*b248*b251 - 930*b248*b252 - 740*b248*b253 - 520*b248*b254 - 700 *b248*b255 - 570*b248*b256 - 850*b248*b257 - 710*b248*b258 - 400*b248*b259 - 150*b249*b250 - 400*b249*b251 - 580*b249*b252 - 20*b249*b253 - 40*b249* b254 - 560*b249*b255 - 100*b249*b256 - 360*b249*b257 - 410*b249*b258 - 830 *b249*b259 - 980*b250*b251 - 490*b250*b252 - 80*b250*b253 - 330*b250*b254 - 130*b250*b255 - 690*b250*b256 - 280*b250*b257 - 740*b250*b258 - 750* b251*b252 - 220*b251*b253 - 660*b251*b254 - 440*b251*b255 - 670*b251*b256 - 400*b251*b257 - 480*b251*b258 - 370*b251*b259 - 490*b252*b253 - 850* b252*b254 - 90*b252*b255 - 410*b252*b256 - 10*b252*b258 - 990*b252*b259 - 540*b253*b254 - 570*b253*b255 - 80*b253*b256 - 640*b253*b257 - 940*b253* b258 - 10*b253*b259 - 470*b254*b255 - 440*b254*b256 - 500*b254*b257 - 80* b254*b258 - 770*b254*b259 - 640*b255*b256 - 770*b255*b257 - 570*b255*b258 - 900*b255*b259 - 290*b256*b257 - 850*b256*b258 - 640*b256*b259 - 470* b257*b258 - 810*b257*b259 - 320*b258*b259 - 150*b260*b261 - 400*b260*b262 - 580*b260*b263 - 20*b260*b264 - 40*b260*b265 - 560*b260*b266 - 100*b260* b267 - 360*b260*b268 - 410*b260*b269 - 830*b260*b270 - 980*b261*b262 - 490 *b261*b263 - 80*b261*b264 - 330*b261*b265 - 130*b261*b266 - 690*b261*b267 - 280*b261*b268 - 740*b261*b269 - 750*b262*b263 - 220*b262*b264 - 660* b262*b265 - 440*b262*b266 - 670*b262*b267 - 400*b262*b268 - 480*b262*b269 - 370*b262*b270 - 490*b263*b264 - 850*b263*b265 - 90*b263*b266 - 410*b263 *b267 - 10*b263*b269 - 990*b263*b270 - 540*b264*b265 - 570*b264*b266 - 80* b264*b267 - 640*b264*b268 - 940*b264*b269 - 10*b264*b270 - 470*b265*b266 - 440*b265*b267 - 500*b265*b268 - 80*b265*b269 - 770*b265*b270 - 640*b266 *b267 - 770*b266*b268 - 570*b266*b269 - 900*b266*b270 - 290*b267*b268 - 850*b267*b269 - 640*b267*b270 - 470*b268*b269 - 810*b268*b270 - 320*b269* b270 - 980*b271*b272 - 490*b271*b273 - 80*b271*b274 - 330*b271*b275 - 130* b271*b276 - 690*b271*b277 - 280*b271*b278 - 740*b271*b279 - 750*b272*b273 - 220*b272*b274 - 660*b272*b275 - 440*b272*b276 - 670*b272*b277 - 400* b272*b278 - 480*b272*b279 - 370*b272*b280 - 490*b273*b274 - 850*b273*b275 - 90*b273*b276 - 410*b273*b277 - 10*b273*b279 - 990*b273*b280 - 540*b274* b275 - 570*b274*b276 - 80*b274*b277 - 640*b274*b278 - 940*b274*b279 - 10* b274*b280 - 470*b275*b276 - 440*b275*b277 - 500*b275*b278 - 80*b275*b279 - 770*b275*b280 - 640*b276*b277 - 770*b276*b278 - 570*b276*b279 - 900* b276*b280 - 290*b277*b278 - 850*b277*b279 - 640*b277*b280 - 470*b278*b279 - 810*b278*b280 - 320*b279*b280 - 750*b281*b282 - 220*b281*b283 - 660* b281*b284 - 440*b281*b285 - 670*b281*b286 - 400*b281*b287 - 480*b281*b288 - 370*b281*b289 - 490*b282*b283 - 850*b282*b284 - 90*b282*b285 - 410*b282 *b286 - 10*b282*b288 - 990*b282*b289 - 540*b283*b284 - 570*b283*b285 - 80* b283*b286 - 640*b283*b287 - 940*b283*b288 - 10*b283*b289 - 470*b284*b285 - 440*b284*b286 - 500*b284*b287 - 80*b284*b288 - 770*b284*b289 - 640*b285 *b286 - 770*b285*b287 - 570*b285*b288 - 900*b285*b289 - 290*b286*b287 - 850*b286*b288 - 640*b286*b289 - 470*b287*b288 - 810*b287*b289 - 320*b288* b289 - 490*b290*b291 - 850*b290*b292 - 90*b290*b293 - 410*b290*b294 - 10* b290*b295 - 990*b290*b296 - 540*b291*b292 - 570*b291*b293 - 80*b291*b294 - 940*b291*b295 - 10*b291*b296 - 640*b291*b297 - 470*b292*b293 - 440*b292 *b294 - 80*b292*b295 - 770*b292*b296 - 500*b292*b297 - 640*b293*b294 - 570 *b293*b295 - 900*b293*b296 - 770*b293*b297 - 850*b294*b295 - 640*b294*b296 - 290*b294*b297 - 320*b295*b296 - 470*b295*b297 - 810*b296*b297 - 540* b298*b299 - 570*b298*b300 - 80*b298*b301 - 640*b298*b302 - 940*b298*b303 - 10*b298*b304 - 470*b299*b300 - 440*b299*b301 - 500*b299*b302 - 80*b299* b303 - 770*b299*b304 - 640*b300*b301 - 770*b300*b302 - 570*b300*b303 - 900 *b300*b304 - 290*b301*b302 - 850*b301*b303 - 640*b301*b304 - 470*b302*b303 - 810*b302*b304 - 320*b303*b304 - 470*b305*b306 - 440*b305*b307 - 500* b305*b308 - 80*b305*b309 - 770*b305*b310 - 640*b306*b307 - 770*b306*b308 - 570*b306*b309 - 900*b306*b310 - 290*b307*b308 - 850*b307*b309 - 640* b307*b310 - 470*b308*b309 - 810*b308*b310 - 320*b309*b310 - 640*b311*b312 - 770*b311*b313 - 570*b311*b314 - 900*b311*b315 - 290*b312*b313 - 850* b312*b314 - 640*b312*b315 - 470*b313*b314 - 810*b313*b315 - 320*b314*b315 - 290*b316*b317 - 850*b316*b318 - 640*b316*b319 - 470*b317*b318 - 810* b317*b319 - 320*b318*b319 - 470*b320*b321 - 810*b320*b322 - 320*b321*b322 - 320*b323*b324 - objvar = 0 } } Constraint e2 { Definition: b2 + b26 = 1; } Constraint e3 { Definition: b3 + b27 + b50 = 1; } Constraint e4 { Definition: b4 + b28 + b51 + b73 = 1; } Constraint e5 { Definition: b5 + b29 + b52 + b74 + b95 = 1; } Constraint e6 { Definition: b6 + b30 + b53 + b75 + b96 + b116 = 1; } Constraint e7 { Definition: b7 + b31 + b54 + b76 + b97 + b117 + b136 = 1; } Constraint e8 { Definition: b8 + b32 + b55 + b77 + b98 + b118 + b137 + b155 = 1; } Constraint e9 { Definition: b9 + b33 + b56 + b78 + b99 + b119 + b138 + b156 + b173 = 1; } Constraint e10 { Definition: b10 + b34 + b57 + b94 + b100 + b120 + b139 + b157 + b174 + b190 = 1; } Constraint e11 { Definition: { b11 + b35 + b58 + b79 + b101 + b121 + b140 + b158 + b175 + b191 + b206 = 1 } } Constraint e12 { Definition: { b12 + b36 + b59 + b80 + b102 + b122 + b141 + b159 + b176 + b192 + b220 + b221 = 1 } } Constraint e13 { Definition: { b13 + b37 + b60 + b81 + b103 + b123 + b142 + b160 + b177 + b193 + b207 + b222 + b235 = 1 } } Constraint e14 { Definition: { b14 + b38 + b61 + b82 + b104 + b124 + b143 + b161 + b178 + b194 + b208 + b223 + b236 + b248 = 1 } } Constraint e15 { Definition: { b15 + b39 + b62 + b83 + b105 + b125 + b144 + b162 + b179 + b195 + b209 + b224 + b237 + b249 + b260 = 1 } } Constraint e16 { Definition: { b16 + b40 + b63 + b84 + b106 + b126 + b145 + b163 + b180 + b196 + b210 + b225 + b238 + b250 + b261 + b271 = 1 } } Constraint e17 { Definition: { b17 + b41 + b64 + b85 + b107 + b127 + b146 + b164 + b181 + b197 + b211 + b226 + b239 + b251 + b262 + b272 + b281 = 1 } } Constraint e18 { Definition: { b18 + b42 + b65 + b86 + b108 + b128 + b147 + b165 + b182 + b198 + b212 + b227 + b240 + b252 + b263 + b273 + b282 + b290 = 1 } } Constraint e19 { Definition: { b19 + b43 + b66 + b87 + b109 + b135 + b148 + b166 + b183 + b199 + b213 + b228 + b241 + b253 + b264 + b274 + b283 + b291 + b298 = 1 } } Constraint e20 { Definition: { b20 + b44 + b67 + b88 + b110 + b129 + b149 + b167 + b184 + b200 + b214 + b229 + b242 + b254 + b265 + b275 + b284 + b292 + b299 + b305 = 1 } } Constraint e21 { Definition: { b21 + b45 + b68 + b89 + b111 + b130 + b150 + b168 + b185 + b201 + b215 + b230 + b243 + b255 + b266 + b276 + b285 + b293 + b300 + b306 + b311 = 1 } } Constraint e22 { Definition: { b22 + b46 + b69 + b90 + b112 + b131 + b151 + b169 + b186 + b202 + b216 + b231 + b244 + b256 + b267 + b277 + b286 + b294 + b301 + b307 + b312 + b316 = 1 } } Constraint e23 { Definition: { b23 + b47 + b70 + b91 + b113 + b132 + b152 + b170 + b187 + b203 + b217 + b232 + b245 + b257 + b268 + b278 + b287 + b297 + b302 + b308 + b313 + b317 + b320 = 1 } } Constraint e24 { Definition: { b24 + b48 + b71 + b92 + b114 + b133 + b153 + b171 + b188 + b204 + b218 + b233 + b246 + b258 + b269 + b279 + b288 + b295 + b303 + b309 + b314 + b318 + b321 + b323 = 1 } } Constraint e25 { Definition: { b25 + b49 + b72 + b93 + b115 + b134 + b154 + b172 + b189 + b205 + b219 + b234 + b247 + b259 + b270 + b280 + b289 + b296 + b304 + b310 + b315 + b319 + b322 + b324 + b325 = 1 } } Constraint e26 { Definition: - b26 + b27 <= 0; } Constraint e27 { Definition: - b26 + b28 <= 0; } Constraint e28 { Definition: - b26 + b29 <= 0; } Constraint e29 { Definition: - b26 + b30 <= 0; } Constraint e30 { Definition: - b26 + b31 <= 0; } Constraint e31 { Definition: - b26 + b32 <= 0; } Constraint e32 { Definition: - b26 + b33 <= 0; } Constraint e33 { Definition: - b26 + b34 <= 0; } Constraint e34 { Definition: - b26 + b35 <= 0; } Constraint e35 { Definition: - b26 + b36 <= 0; } Constraint e36 { Definition: - b26 + b37 <= 0; } Constraint e37 { Definition: - b26 + b38 <= 0; } Constraint e38 { Definition: - b26 + b39 <= 0; } Constraint e39 { Definition: - b26 + b40 <= 0; } Constraint e40 { Definition: - b26 + b41 <= 0; } Constraint e41 { Definition: - b26 + b42 <= 0; } Constraint e42 { Definition: - b26 + b43 <= 0; } Constraint e43 { Definition: - b26 + b44 <= 0; } Constraint e44 { Definition: - b26 + b45 <= 0; } Constraint e45 { Definition: - b26 + b46 <= 0; } Constraint e46 { Definition: - b26 + b47 <= 0; } Constraint e47 { Definition: - b26 + b48 <= 0; } Constraint e48 { Definition: - b26 + b49 <= 0; } Constraint e49 { Definition: - b50 + b51 <= 0; } Constraint e50 { Definition: - b50 + b52 <= 0; } Constraint e51 { Definition: - b50 + b53 <= 0; } Constraint e52 { Definition: - b50 + b54 <= 0; } Constraint e53 { Definition: - b50 + b55 <= 0; } Constraint e54 { Definition: - b50 + b56 <= 0; } Constraint e55 { Definition: - b50 + b57 <= 0; } Constraint e56 { Definition: - b50 + b58 <= 0; } Constraint e57 { Definition: - b50 + b59 <= 0; } Constraint e58 { Definition: - b50 + b60 <= 0; } Constraint e59 { Definition: - b50 + b61 <= 0; } Constraint e60 { Definition: - b50 + b62 <= 0; } Constraint e61 { Definition: - b50 + b63 <= 0; } Constraint e62 { Definition: - b50 + b64 <= 0; } Constraint e63 { Definition: - b50 + b65 <= 0; } Constraint e64 { Definition: - b50 + b66 <= 0; } Constraint e65 { Definition: - b50 + b67 <= 0; } Constraint e66 { Definition: - b50 + b68 <= 0; } Constraint e67 { Definition: - b50 + b69 <= 0; } Constraint e68 { Definition: - b50 + b70 <= 0; } Constraint e69 { Definition: - b50 + b71 <= 0; } Constraint e70 { Definition: - b50 + b72 <= 0; } Constraint e71 { Definition: - b73 + b74 <= 0; } Constraint e72 { Definition: - b73 + b75 <= 0; } Constraint e73 { Definition: - b73 + b76 <= 0; } Constraint e74 { Definition: - b73 + b77 <= 0; } Constraint e75 { Definition: - b73 + b78 <= 0; } Constraint e76 { Definition: - b73 + b94 <= 0; } Constraint e77 { Definition: - b73 + b79 <= 0; } Constraint e78 { Definition: - b73 + b80 <= 0; } Constraint e79 { Definition: - b73 + b81 <= 0; } Constraint e80 { Definition: - b73 + b82 <= 0; } Constraint e81 { Definition: - b73 + b83 <= 0; } Constraint e82 { Definition: - b73 + b84 <= 0; } Constraint e83 { Definition: - b73 + b85 <= 0; } Constraint e84 { Definition: - b73 + b86 <= 0; } Constraint e85 { Definition: - b73 + b87 <= 0; } Constraint e86 { Definition: - b73 + b88 <= 0; } Constraint e87 { Definition: - b73 + b89 <= 0; } Constraint e88 { Definition: - b73 + b90 <= 0; } Constraint e89 { Definition: - b73 + b91 <= 0; } Constraint e90 { Definition: - b73 + b92 <= 0; } Constraint e91 { Definition: - b73 + b93 <= 0; } Constraint e92 { Definition: - b95 + b96 <= 0; } Constraint e93 { Definition: - b95 + b97 <= 0; } Constraint e94 { Definition: - b95 + b98 <= 0; } Constraint e95 { Definition: - b95 + b99 <= 0; } Constraint e96 { Definition: - b95 + b100 <= 0; } Constraint e97 { Definition: - b95 + b101 <= 0; } Constraint e98 { Definition: - b95 + b102 <= 0; } Constraint e99 { Definition: - b95 + b103 <= 0; } Constraint e100 { Definition: - b95 + b104 <= 0; } Constraint e101 { Definition: - b95 + b105 <= 0; } Constraint e102 { Definition: - b95 + b106 <= 0; } Constraint e103 { Definition: - b95 + b107 <= 0; } Constraint e104 { Definition: - b95 + b108 <= 0; } Constraint e105 { Definition: - b95 + b109 <= 0; } Constraint e106 { Definition: - b95 + b110 <= 0; } Constraint e107 { Definition: - b95 + b111 <= 0; } Constraint e108 { Definition: - b95 + b112 <= 0; } Constraint e109 { Definition: - b95 + b113 <= 0; } Constraint e110 { Definition: - b95 + b114 <= 0; } Constraint e111 { Definition: - b95 + b115 <= 0; } Constraint e112 { Definition: - b116 + b117 <= 0; } Constraint e113 { Definition: - b116 + b118 <= 0; } Constraint e114 { Definition: - b116 + b119 <= 0; } Constraint e115 { Definition: - b116 + b120 <= 0; } Constraint e116 { Definition: - b116 + b121 <= 0; } Constraint e117 { Definition: - b116 + b122 <= 0; } Constraint e118 { Definition: - b116 + b123 <= 0; } Constraint e119 { Definition: - b116 + b124 <= 0; } Constraint e120 { Definition: - b116 + b125 <= 0; } Constraint e121 { Definition: - b116 + b126 <= 0; } Constraint e122 { Definition: - b116 + b127 <= 0; } Constraint e123 { Definition: - b116 + b128 <= 0; } Constraint e124 { Definition: - b116 + b135 <= 0; } Constraint e125 { Definition: - b116 + b129 <= 0; } Constraint e126 { Definition: - b116 + b130 <= 0; } Constraint e127 { Definition: - b116 + b131 <= 0; } Constraint e128 { Definition: - b116 + b132 <= 0; } Constraint e129 { Definition: - b116 + b133 <= 0; } Constraint e130 { Definition: - b116 + b134 <= 0; } Constraint e131 { Definition: - b136 + b137 <= 0; } Constraint e132 { Definition: - b136 + b138 <= 0; } Constraint e133 { Definition: - b136 + b139 <= 0; } Constraint e134 { Definition: - b136 + b140 <= 0; } Constraint e135 { Definition: - b136 + b141 <= 0; } Constraint e136 { Definition: - b136 + b142 <= 0; } Constraint e137 { Definition: - b136 + b143 <= 0; } Constraint e138 { Definition: - b136 + b144 <= 0; } Constraint e139 { Definition: - b136 + b145 <= 0; } Constraint e140 { Definition: - b136 + b146 <= 0; } Constraint e141 { Definition: - b136 + b147 <= 0; } Constraint e142 { Definition: - b136 + b148 <= 0; } Constraint e143 { Definition: - b136 + b149 <= 0; } Constraint e144 { Definition: - b136 + b150 <= 0; } Constraint e145 { Definition: - b136 + b151 <= 0; } Constraint e146 { Definition: - b136 + b152 <= 0; } Constraint e147 { Definition: - b136 + b153 <= 0; } Constraint e148 { Definition: - b136 + b154 <= 0; } Constraint e149 { Definition: - b155 + b156 <= 0; } Constraint e150 { Definition: - b155 + b157 <= 0; } Constraint e151 { Definition: - b155 + b158 <= 0; } Constraint e152 { Definition: - b155 + b159 <= 0; } Constraint e153 { Definition: - b155 + b160 <= 0; } Constraint e154 { Definition: - b155 + b161 <= 0; } Constraint e155 { Definition: - b155 + b162 <= 0; } Constraint e156 { Definition: - b155 + b163 <= 0; } Constraint e157 { Definition: - b155 + b164 <= 0; } Constraint e158 { Definition: - b155 + b165 <= 0; } Constraint e159 { Definition: - b155 + b166 <= 0; } Constraint e160 { Definition: - b155 + b167 <= 0; } Constraint e161 { Definition: - b155 + b168 <= 0; } Constraint e162 { Definition: - b155 + b169 <= 0; } Constraint e163 { Definition: - b155 + b170 <= 0; } Constraint e164 { Definition: - b155 + b171 <= 0; } Constraint e165 { Definition: - b155 + b172 <= 0; } Constraint e166 { Definition: - b173 + b174 <= 0; } Constraint e167 { Definition: - b173 + b175 <= 0; } Constraint e168 { Definition: - b173 + b176 <= 0; } Constraint e169 { Definition: - b173 + b177 <= 0; } Constraint e170 { Definition: - b173 + b178 <= 0; } Constraint e171 { Definition: - b173 + b179 <= 0; } Constraint e172 { Definition: - b173 + b180 <= 0; } Constraint e173 { Definition: - b173 + b181 <= 0; } Constraint e174 { Definition: - b173 + b182 <= 0; } Constraint e175 { Definition: - b173 + b183 <= 0; } Constraint e176 { Definition: - b173 + b184 <= 0; } Constraint e177 { Definition: - b173 + b185 <= 0; } Constraint e178 { Definition: - b173 + b186 <= 0; } Constraint e179 { Definition: - b173 + b187 <= 0; } Constraint e180 { Definition: - b173 + b188 <= 0; } Constraint e181 { Definition: - b173 + b189 <= 0; } Constraint e182 { Definition: - b190 + b191 <= 0; } Constraint e183 { Definition: - b190 + b192 <= 0; } Constraint e184 { Definition: - b190 + b193 <= 0; } Constraint e185 { Definition: - b190 + b194 <= 0; } Constraint e186 { Definition: - b190 + b195 <= 0; } Constraint e187 { Definition: - b190 + b196 <= 0; } Constraint e188 { Definition: - b190 + b197 <= 0; } Constraint e189 { Definition: - b190 + b198 <= 0; } Constraint e190 { Definition: - b190 + b199 <= 0; } Constraint e191 { Definition: - b190 + b200 <= 0; } Constraint e192 { Definition: - b190 + b201 <= 0; } Constraint e193 { Definition: - b190 + b202 <= 0; } Constraint e194 { Definition: - b190 + b203 <= 0; } Constraint e195 { Definition: - b190 + b204 <= 0; } Constraint e196 { Definition: - b190 + b205 <= 0; } Constraint e197 { Definition: - b206 + b220 <= 0; } Constraint e198 { Definition: - b206 + b207 <= 0; } Constraint e199 { Definition: - b206 + b208 <= 0; } Constraint e200 { Definition: - b206 + b209 <= 0; } Constraint e201 { Definition: - b206 + b210 <= 0; } Constraint e202 { Definition: - b206 + b211 <= 0; } Constraint e203 { Definition: - b206 + b212 <= 0; } Constraint e204 { Definition: - b206 + b213 <= 0; } Constraint e205 { Definition: - b206 + b214 <= 0; } Constraint e206 { Definition: - b206 + b215 <= 0; } Constraint e207 { Definition: - b206 + b216 <= 0; } Constraint e208 { Definition: - b206 + b217 <= 0; } Constraint e209 { Definition: - b206 + b218 <= 0; } Constraint e210 { Definition: - b206 + b219 <= 0; } Constraint e211 { Definition: - b221 + b222 <= 0; } Constraint e212 { Definition: - b221 + b223 <= 0; } Constraint e213 { Definition: - b221 + b224 <= 0; } Constraint e214 { Definition: - b221 + b225 <= 0; } Constraint e215 { Definition: - b221 + b226 <= 0; } Constraint e216 { Definition: - b221 + b227 <= 0; } Constraint e217 { Definition: - b221 + b228 <= 0; } Constraint e218 { Definition: - b221 + b229 <= 0; } Constraint e219 { Definition: - b221 + b230 <= 0; } Constraint e220 { Definition: - b221 + b231 <= 0; } Constraint e221 { Definition: - b221 + b232 <= 0; } Constraint e222 { Definition: - b221 + b233 <= 0; } Constraint e223 { Definition: - b221 + b234 <= 0; } Constraint e224 { Definition: - b235 + b236 <= 0; } Constraint e225 { Definition: - b235 + b237 <= 0; } Constraint e226 { Definition: - b235 + b238 <= 0; } Constraint e227 { Definition: - b235 + b239 <= 0; } Constraint e228 { Definition: - b235 + b240 <= 0; } Constraint e229 { Definition: - b235 + b241 <= 0; } Constraint e230 { Definition: - b235 + b242 <= 0; } Constraint e231 { Definition: - b235 + b243 <= 0; } Constraint e232 { Definition: - b235 + b244 <= 0; } Constraint e233 { Definition: - b235 + b245 <= 0; } Constraint e234 { Definition: - b235 + b246 <= 0; } Constraint e235 { Definition: - b235 + b247 <= 0; } Constraint e236 { Definition: - b248 + b249 <= 0; } Constraint e237 { Definition: - b248 + b250 <= 0; } Constraint e238 { Definition: - b248 + b251 <= 0; } Constraint e239 { Definition: - b248 + b252 <= 0; } Constraint e240 { Definition: - b248 + b253 <= 0; } Constraint e241 { Definition: - b248 + b254 <= 0; } Constraint e242 { Definition: - b248 + b255 <= 0; } Constraint e243 { Definition: - b248 + b256 <= 0; } Constraint e244 { Definition: - b248 + b257 <= 0; } Constraint e245 { Definition: - b248 + b258 <= 0; } Constraint e246 { Definition: - b248 + b259 <= 0; } Constraint e247 { Definition: - b260 + b261 <= 0; } Constraint e248 { Definition: - b260 + b262 <= 0; } Constraint e249 { Definition: - b260 + b263 <= 0; } Constraint e250 { Definition: - b260 + b264 <= 0; } Constraint e251 { Definition: - b260 + b265 <= 0; } Constraint e252 { Definition: - b260 + b266 <= 0; } Constraint e253 { Definition: - b260 + b267 <= 0; } Constraint e254 { Definition: - b260 + b268 <= 0; } Constraint e255 { Definition: - b260 + b269 <= 0; } Constraint e256 { Definition: - b260 + b270 <= 0; } Constraint e257 { Definition: - b271 + b272 <= 0; } Constraint e258 { Definition: - b271 + b273 <= 0; } Constraint e259 { Definition: - b271 + b274 <= 0; } Constraint e260 { Definition: - b271 + b275 <= 0; } Constraint e261 { Definition: - b271 + b276 <= 0; } Constraint e262 { Definition: - b271 + b277 <= 0; } Constraint e263 { Definition: - b271 + b278 <= 0; } Constraint e264 { Definition: - b271 + b279 <= 0; } Constraint e265 { Definition: - b271 + b280 <= 0; } Constraint e266 { Definition: - b281 + b282 <= 0; } Constraint e267 { Definition: - b281 + b283 <= 0; } Constraint e268 { Definition: - b281 + b284 <= 0; } Constraint e269 { Definition: - b281 + b285 <= 0; } Constraint e270 { Definition: - b281 + b286 <= 0; } Constraint e271 { Definition: - b281 + b287 <= 0; } Constraint e272 { Definition: - b281 + b288 <= 0; } Constraint e273 { Definition: - b281 + b289 <= 0; } Constraint e274 { Definition: - b290 + b291 <= 0; } Constraint e275 { Definition: - b290 + b292 <= 0; } Constraint e276 { Definition: - b290 + b293 <= 0; } Constraint e277 { Definition: - b290 + b294 <= 0; } Constraint e278 { Definition: - b290 + b297 <= 0; } Constraint e279 { Definition: - b290 + b295 <= 0; } Constraint e280 { Definition: - b290 + b296 <= 0; } Constraint e281 { Definition: - b298 + b299 <= 0; } Constraint e282 { Definition: - b298 + b300 <= 0; } Constraint e283 { Definition: - b298 + b301 <= 0; } Constraint e284 { Definition: - b298 + b302 <= 0; } Constraint e285 { Definition: - b298 + b303 <= 0; } Constraint e286 { Definition: - b298 + b304 <= 0; } Constraint e287 { Definition: - b305 + b306 <= 0; } Constraint e288 { Definition: - b305 + b307 <= 0; } Constraint e289 { Definition: - b305 + b308 <= 0; } Constraint e290 { Definition: - b305 + b309 <= 0; } Constraint e291 { Definition: - b305 + b310 <= 0; } Constraint e292 { Definition: - b311 + b312 <= 0; } Constraint e293 { Definition: - b311 + b313 <= 0; } Constraint e294 { Definition: - b311 + b314 <= 0; } Constraint e295 { Definition: - b311 + b315 <= 0; } Constraint e296 { Definition: - b316 + b317 <= 0; } Constraint e297 { Definition: - b316 + b318 <= 0; } Constraint e298 { Definition: - b316 + b319 <= 0; } Constraint e299 { Definition: - b320 + b321 <= 0; } Constraint e300 { Definition: - b320 + b322 <= 0; } Constraint e301 { Definition: - b323 + b324 <= 0; } Constraint e302 { Definition: { 13120*b2 - 970*b3*b2 + 12740*b3 - 820*b4*b2 + 14590*b4 - 540*b5*b2 + 12410*b5 - 90*b6*b2 + 10720*b6 - 920*b7*b2 + 11320*b7 - 550*b8*b2 + 11160*b8 - 780*b9*b2 + 12130*b9 - 870*b10*b2 + 11820*b10 - 690*b11*b2 + 13360*b11 - 20*b12*b2 + 12120*b12 - 320*b13*b2 + 11660*b13 - 420*b14*b2 + 15840*b14 - 140*b15*b2 + 11750*b15 - 450*b16*b2 + 9990*b16 - 600*b17* b2 + 11720*b17 - 670*b18*b2 + 11190*b18 - 20*b19*b2 + 11390*b19 - 420* b20*b2 + 11210*b20 - 810*b21*b2 + 9570*b21 - 640*b22*b2 + 12010*b22 - 820*b23*b2 + 12750*b23 - 580*b24*b2 + 11690*b24 - 980*b25*b2 + 13900*b25 - 360*b4*b3 - 920*b5*b3 - 30*b6*b3 - 620*b7*b3 - 540*b8*b3 - 210*b9*b3 - 850*b10*b3 - 690*b11*b3 - 700*b12*b3 - 200*b13*b3 - 750*b14*b3 - 800* b15*b3 - 120*b16*b3 - 820*b17*b3 - 100*b18*b3 - 990*b19*b3 - 40*b20*b3 - 130*b21*b3 - 840*b22*b3 - 980*b23*b3 - 270*b24*b3 - 810*b25*b3 - 590* b5*b4 - 470*b6*b4 - 830*b7*b4 - 530*b8*b4 - 800*b9*b4 - 350*b11*b4 - 900 *b12*b4 - 980*b13*b4 - 710*b14*b4 - 830*b15*b4 - 540*b16*b4 - 860*b17*b4 - 890*b18*b4 - 270*b19*b4 - 710*b20*b4 - 100*b21*b4 - 980*b22*b4 - 910* b23*b4 - 860*b24*b4 - 300*b25*b4 - 550*b6*b5 - 200*b7*b5 - 400*b8*b5 - 70*b9*b5 - 760*b10*b5 - 530*b11*b5 - 910*b12*b5 - 750*b13*b5 - 330*b14* b5 - 720*b15*b5 - 340*b16*b5 - 320*b17*b5 - 70*b18*b5 - 870*b19*b5 - 640 *b20*b5 - 70*b21*b5 - 740*b22*b5 - 540*b23*b5 - 580*b24*b5 - 970*b25*b5 - 890*b7*b6 - 120*b8*b6 - 830*b9*b6 - 790*b10*b6 - 390*b11*b6 - 70*b12* b6 - 890*b13*b6 - 890*b14*b6 - 980*b15*b6 - 270*b16*b6 - 190*b17*b6 - 60 *b18*b6 - 600*b20*b6 - 130*b21*b6 - 760*b22*b6 - 650*b23*b6 - 560*b24*b6 - 510*b25*b6 - 500*b8*b7 - 280*b9*b7 - 370*b10*b7 - 340*b11*b7 - 870* b12*b7 - 240*b13*b7 - 980*b14*b7 - 470*b15*b7 - 500*b16*b7 - 50*b17*b7 - 570*b18*b7 - 480*b19*b7 - 940*b20*b7 - 210*b21*b7 - 310*b22*b7 - 250* b23*b7 - 120*b24*b7 - 380*b25*b7 - 150*b9*b8 - 20*b10*b8 - 890*b11*b8 - 940*b12*b8 - 210*b13*b8 - 950*b14*b8 - 940*b15*b8 - 330*b16*b8 - 80*b17* b8 - 710*b18*b8 - 990*b19*b8 - 640*b20*b8 - 740*b21*b8 - 10*b22*b8 - 440 *b23*b8 - 120*b24*b8 - 360*b25*b8 - 830*b10*b9 - 880*b11*b9 - 340*b12*b9 - 300*b13*b9 - 390*b14*b9 - 390*b15*b9 - 390*b16*b9 - 870*b17*b9 - 860* b18*b9 - 600*b19*b9 - 700*b20*b9 - 110*b21*b9 - 730*b22*b9 - 90*b23*b9 - 780*b24*b9 - 750*b25*b9 - 500*b11*b10 - 730*b12*b10 - 480*b13*b10 - 450*b14*b10 - 190*b15*b10 - 820*b16*b10 - 50*b17*b10 - 900*b18*b10 - 330 *b19*b10 - 210*b20*b10 - 170*b21*b10 - 340*b22*b10 - 650*b23*b10 - 810* b24*b10 - 700*b25*b10 - 690*b13*b11 - 570*b14*b11 - 830*b15*b11 - 600* b16*b11 - 960*b17*b11 - 220*b18*b11 - 990*b19*b11 - 340*b20*b11 - 830* b21*b11 - 220*b22*b11 - 460*b23*b11 - 560*b24*b11 - 830*b25*b11 - 240* b13*b12 - 830*b14*b12 - 330*b15*b12 - 490*b16*b12 - 310*b17*b12 - 300* b18*b12 - 690*b19*b12 - 650*b20*b12 - 350*b21*b12 - 110*b22*b12 - 980* b23*b12 - 560*b24*b12 - 800*b25*b12 - 850*b14*b13 - 730*b15*b13 - 610* b16*b13 - 550*b17*b13 - 250*b18*b13 - 830*b19*b13 - 120*b20*b13 - 80*b21 *b13 - 950*b22*b13 - 610*b23*b13 - 310*b24*b13 - 470*b25*b13 - 950*b15* b14 - 660*b16*b14 - 690*b17*b14 - 930*b18*b14 - 740*b19*b14 - 520*b20* b14 - 700*b21*b14 - 570*b22*b14 - 850*b23*b14 - 710*b24*b14 - 400*b25* b14 - 150*b16*b15 - 400*b17*b15 - 580*b18*b15 - 20*b19*b15 - 40*b20*b15 - 560*b21*b15 - 100*b22*b15 - 360*b23*b15 - 410*b24*b15 - 830*b25*b15 - 980*b17*b16 - 490*b18*b16 - 80*b19*b16 - 330*b20*b16 - 130*b21*b16 - 690*b22*b16 - 280*b23*b16 - 740*b24*b16 - 750*b18*b17 - 220*b19*b17 - 660*b20*b17 - 440*b21*b17 - 670*b22*b17 - 400*b23*b17 - 480*b24*b17 - 370*b25*b17 - 490*b19*b18 - 850*b20*b18 - 90*b21*b18 - 410*b22*b18 - 10* b24*b18 - 990*b25*b18 - 540*b20*b19 - 570*b21*b19 - 80*b22*b19 - 640*b23 *b19 - 940*b24*b19 - 10*b25*b19 - 470*b21*b20 - 440*b22*b20 - 500*b23* b20 - 80*b24*b20 - 770*b25*b20 - 640*b22*b21 - 770*b23*b21 - 570*b24*b21 - 900*b25*b21 - 290*b23*b22 - 850*b24*b22 - 640*b25*b22 - 470*b24*b23 - 810*b25*b23 - 320*b25*b24 <= 40395.8 } } Constraint e303 { Definition: { (-970*b27*b26) - 37545.8*b26 + 13360*b27 - 820*b28*b26 + 14830*b28 - 540 *b29*b26 + 12860*b29 - 90*b30*b26 + 10930*b30 - 920*b31*b26 + 11920*b31 - 550*b32*b26 + 11280*b32 - 780*b33*b26 + 12790*b33 - 870*b34*b26 + 12350*b34 - 690*b35*b26 + 13410*b35 - 20*b36*b26 + 12930*b36 - 320*b37* b26 + 12270*b37 - 420*b38*b26 + 15940*b38 - 140*b39*b26 + 12630*b39 - 450*b40*b26 + 10760*b40 - 600*b41*b26 + 12060*b41 - 670*b42*b26 + 11210* b42 - 20*b43*b26 + 12210*b43 - 420*b44*b26 + 11740*b44 - 810*b45*b26 + 9830*b45 - 640*b46*b26 + 12630*b46 - 820*b47*b26 + 12930*b47 - 580*b48* b26 + 12400*b48 - 980*b49*b26 + 14040*b49 - 360*b28*b27 - 920*b29*b27 - 30*b30*b27 - 620*b31*b27 - 540*b32*b27 - 210*b33*b27 - 850*b34*b27 - 690 *b35*b27 - 700*b36*b27 - 200*b37*b27 - 750*b38*b27 - 800*b39*b27 - 120* b40*b27 - 820*b41*b27 - 100*b42*b27 - 990*b43*b27 - 40*b44*b27 - 130*b45 *b27 - 840*b46*b27 - 980*b47*b27 - 270*b48*b27 - 810*b49*b27 - 590*b29* b28 - 470*b30*b28 - 830*b31*b28 - 530*b32*b28 - 800*b33*b28 - 350*b35* b28 - 900*b36*b28 - 980*b37*b28 - 710*b38*b28 - 830*b39*b28 - 540*b40* b28 - 860*b41*b28 - 890*b42*b28 - 270*b43*b28 - 710*b44*b28 - 100*b45* b28 - 980*b46*b28 - 910*b47*b28 - 860*b48*b28 - 300*b49*b28 - 550*b30* b29 - 200*b31*b29 - 400*b32*b29 - 70*b33*b29 - 760*b34*b29 - 530*b35*b29 - 910*b36*b29 - 750*b37*b29 - 330*b38*b29 - 720*b39*b29 - 340*b40*b29 - 320*b41*b29 - 70*b42*b29 - 870*b43*b29 - 640*b44*b29 - 70*b45*b29 - 740*b46*b29 - 540*b47*b29 - 580*b48*b29 - 970*b49*b29 - 890*b31*b30 - 120*b32*b30 - 830*b33*b30 - 790*b34*b30 - 390*b35*b30 - 70*b36*b30 - 890 *b37*b30 - 890*b38*b30 - 980*b39*b30 - 270*b40*b30 - 190*b41*b30 - 60* b42*b30 - 600*b44*b30 - 130*b45*b30 - 760*b46*b30 - 650*b47*b30 - 560* b48*b30 - 510*b49*b30 - 500*b32*b31 - 280*b33*b31 - 370*b34*b31 - 340* b35*b31 - 870*b36*b31 - 240*b37*b31 - 980*b38*b31 - 470*b39*b31 - 500* b40*b31 - 50*b41*b31 - 570*b42*b31 - 480*b43*b31 - 940*b44*b31 - 210*b45 *b31 - 310*b46*b31 - 250*b47*b31 - 120*b48*b31 - 380*b49*b31 - 150*b33* b32 - 20*b34*b32 - 890*b35*b32 - 940*b36*b32 - 210*b37*b32 - 950*b38*b32 - 940*b39*b32 - 330*b40*b32 - 80*b41*b32 - 710*b42*b32 - 990*b43*b32 - 640*b44*b32 - 740*b45*b32 - 10*b46*b32 - 440*b47*b32 - 120*b48*b32 - 360 *b49*b32 - 830*b34*b33 - 880*b35*b33 - 340*b36*b33 - 300*b37*b33 - 390* b38*b33 - 390*b39*b33 - 390*b40*b33 - 870*b41*b33 - 860*b42*b33 - 600* b43*b33 - 700*b44*b33 - 110*b45*b33 - 730*b46*b33 - 90*b47*b33 - 780*b48 *b33 - 750*b49*b33 - 500*b35*b34 - 730*b36*b34 - 480*b37*b34 - 450*b38* b34 - 190*b39*b34 - 820*b40*b34 - 50*b41*b34 - 900*b42*b34 - 330*b43*b34 - 210*b44*b34 - 170*b45*b34 - 340*b46*b34 - 650*b47*b34 - 810*b48*b34 - 700*b49*b34 - 690*b37*b35 - 570*b38*b35 - 830*b39*b35 - 600*b40*b35 - 960*b41*b35 - 220*b42*b35 - 990*b43*b35 - 340*b44*b35 - 830*b45*b35 - 220*b46*b35 - 460*b47*b35 - 560*b48*b35 - 830*b49*b35 - 240*b37*b36 - 830*b38*b36 - 330*b39*b36 - 490*b40*b36 - 310*b41*b36 - 300*b42*b36 - 690*b43*b36 - 650*b44*b36 - 350*b45*b36 - 110*b46*b36 - 980*b47*b36 - 560*b48*b36 - 800*b49*b36 - 850*b38*b37 - 730*b39*b37 - 610*b40*b37 - 550*b41*b37 - 250*b42*b37 - 830*b43*b37 - 120*b44*b37 - 80*b45*b37 - 950*b46*b37 - 610*b47*b37 - 310*b48*b37 - 470*b49*b37 - 950*b39*b38 - 660*b40*b38 - 690*b41*b38 - 930*b42*b38 - 740*b43*b38 - 520*b44*b38 - 700*b45*b38 - 570*b46*b38 - 850*b47*b38 - 710*b48*b38 - 400*b49*b38 - 150*b40*b39 - 400*b41*b39 - 580*b42*b39 - 20*b43*b39 - 40*b44*b39 - 560* b45*b39 - 100*b46*b39 - 360*b47*b39 - 410*b48*b39 - 830*b49*b39 - 980* b41*b40 - 490*b42*b40 - 80*b43*b40 - 330*b44*b40 - 130*b45*b40 - 690*b46 *b40 - 280*b47*b40 - 740*b48*b40 - 750*b42*b41 - 220*b43*b41 - 660*b44* b41 - 440*b45*b41 - 670*b46*b41 - 400*b47*b41 - 480*b48*b41 - 370*b49* b41 - 490*b43*b42 - 850*b44*b42 - 90*b45*b42 - 410*b46*b42 - 10*b48*b42 - 990*b49*b42 - 540*b44*b43 - 570*b45*b43 - 80*b46*b43 - 640*b47*b43 - 940*b48*b43 - 10*b49*b43 - 470*b45*b44 - 440*b46*b44 - 500*b47*b44 - 80* b48*b44 - 770*b49*b44 - 640*b46*b45 - 770*b47*b45 - 570*b48*b45 - 900* b49*b45 - 290*b47*b46 - 850*b48*b46 - 640*b49*b46 - 470*b48*b47 - 810* b49*b47 - 320*b49*b48 <= 0 } } Constraint e304 { Definition: { (-360*b51*b50) - 37735.8*b50 + 14830*b51 - 920*b52*b50 + 12860*b52 - 30* b53*b50 + 10930*b53 - 620*b54*b50 + 11920*b54 - 540*b55*b50 + 11280*b55 - 210*b56*b50 + 12790*b56 - 850*b57*b50 + 12350*b57 - 690*b58*b50 + 13410*b58 - 700*b59*b50 + 12930*b59 - 200*b60*b50 + 12270*b60 - 750*b61* b50 + 15940*b61 - 800*b62*b50 + 12630*b62 - 120*b63*b50 + 10760*b63 - 820*b64*b50 + 12060*b64 - 100*b65*b50 + 11210*b65 - 990*b66*b50 + 12210* b66 - 40*b67*b50 + 11740*b67 - 130*b68*b50 + 9830*b68 - 840*b69*b50 + 12630*b69 - 980*b70*b50 + 12930*b70 - 270*b71*b50 + 12400*b71 - 810*b72* b50 + 14040*b72 - 590*b52*b51 - 470*b53*b51 - 830*b54*b51 - 530*b55*b51 - 800*b56*b51 - 350*b58*b51 - 900*b59*b51 - 980*b60*b51 - 710*b61*b51 - 830*b62*b51 - 540*b63*b51 - 860*b64*b51 - 890*b65*b51 - 270*b66*b51 - 710*b67*b51 - 100*b68*b51 - 980*b69*b51 - 910*b70*b51 - 860*b71*b51 - 300*b72*b51 - 550*b53*b52 - 200*b54*b52 - 400*b55*b52 - 70*b56*b52 - 760*b57*b52 - 530*b58*b52 - 910*b59*b52 - 750*b60*b52 - 330*b61*b52 - 720*b62*b52 - 340*b63*b52 - 320*b64*b52 - 70*b65*b52 - 870*b66*b52 - 640 *b67*b52 - 70*b68*b52 - 740*b69*b52 - 540*b70*b52 - 580*b71*b52 - 970* b72*b52 - 890*b54*b53 - 120*b55*b53 - 830*b56*b53 - 790*b57*b53 - 390* b58*b53 - 70*b59*b53 - 890*b60*b53 - 890*b61*b53 - 980*b62*b53 - 270*b63 *b53 - 190*b64*b53 - 60*b65*b53 - 600*b67*b53 - 130*b68*b53 - 760*b69* b53 - 650*b70*b53 - 560*b71*b53 - 510*b72*b53 - 500*b55*b54 - 280*b56* b54 - 370*b57*b54 - 340*b58*b54 - 870*b59*b54 - 240*b60*b54 - 980*b61* b54 - 470*b62*b54 - 500*b63*b54 - 50*b64*b54 - 570*b65*b54 - 480*b66*b54 - 940*b67*b54 - 210*b68*b54 - 310*b69*b54 - 250*b70*b54 - 120*b71*b54 - 380*b72*b54 - 150*b56*b55 - 20*b57*b55 - 890*b58*b55 - 940*b59*b55 - 210*b60*b55 - 950*b61*b55 - 940*b62*b55 - 330*b63*b55 - 80*b64*b55 - 710 *b65*b55 - 990*b66*b55 - 640*b67*b55 - 740*b68*b55 - 10*b69*b55 - 440* b70*b55 - 120*b71*b55 - 360*b72*b55 - 830*b57*b56 - 880*b58*b56 - 340* b59*b56 - 300*b60*b56 - 390*b61*b56 - 390*b62*b56 - 390*b63*b56 - 870* b64*b56 - 860*b65*b56 - 600*b66*b56 - 700*b67*b56 - 110*b68*b56 - 730* b69*b56 - 90*b70*b56 - 780*b71*b56 - 750*b72*b56 - 500*b58*b57 - 730*b59 *b57 - 480*b60*b57 - 450*b61*b57 - 190*b62*b57 - 820*b63*b57 - 50*b64* b57 - 900*b65*b57 - 330*b66*b57 - 210*b67*b57 - 170*b68*b57 - 340*b69* b57 - 650*b70*b57 - 810*b71*b57 - 700*b72*b57 - 690*b60*b58 - 570*b61* b58 - 830*b62*b58 - 600*b63*b58 - 960*b64*b58 - 220*b65*b58 - 990*b66* b58 - 340*b67*b58 - 830*b68*b58 - 220*b69*b58 - 460*b70*b58 - 560*b71* b58 - 830*b72*b58 - 240*b60*b59 - 830*b61*b59 - 330*b62*b59 - 490*b63* b59 - 310*b64*b59 - 300*b65*b59 - 690*b66*b59 - 650*b67*b59 - 350*b68* b59 - 110*b69*b59 - 980*b70*b59 - 560*b71*b59 - 800*b72*b59 - 850*b61* b60 - 730*b62*b60 - 610*b63*b60 - 550*b64*b60 - 250*b65*b60 - 830*b66* b60 - 120*b67*b60 - 80*b68*b60 - 950*b69*b60 - 610*b70*b60 - 310*b71*b60 - 470*b72*b60 - 950*b62*b61 - 660*b63*b61 - 690*b64*b61 - 930*b65*b61 - 740*b66*b61 - 520*b67*b61 - 700*b68*b61 - 570*b69*b61 - 850*b70*b61 - 710*b71*b61 - 400*b72*b61 - 150*b63*b62 - 400*b64*b62 - 580*b65*b62 - 20*b66*b62 - 40*b67*b62 - 560*b68*b62 - 100*b69*b62 - 360*b70*b62 - 410*b71*b62 - 830*b72*b62 - 980*b64*b63 - 490*b65*b63 - 80*b66*b63 - 330 *b67*b63 - 130*b68*b63 - 690*b69*b63 - 280*b70*b63 - 740*b71*b63 - 750* b65*b64 - 220*b66*b64 - 660*b67*b64 - 440*b68*b64 - 670*b69*b64 - 400* b70*b64 - 480*b71*b64 - 370*b72*b64 - 490*b66*b65 - 850*b67*b65 - 90*b68 *b65 - 410*b69*b65 - 10*b71*b65 - 990*b72*b65 - 540*b67*b66 - 570*b68* b66 - 80*b69*b66 - 640*b70*b66 - 940*b71*b66 - 10*b72*b66 - 470*b68*b67 - 440*b69*b67 - 500*b70*b67 - 80*b71*b67 - 770*b72*b67 - 640*b69*b68 - 770*b70*b68 - 570*b71*b68 - 900*b72*b68 - 290*b70*b69 - 850*b71*b69 - 640*b72*b69 - 470*b71*b70 - 810*b72*b70 - 320*b72*b71 <= 0 } } Constraint e305 { Definition: { (-590*b74*b73) - 36265.8*b73 + 12860*b74 - 470*b75*b73 + 10930*b75 - 830 *b76*b73 + 11920*b76 - 530*b77*b73 + 11280*b77 - 800*b78*b73 + 12790*b78 - 350*b79*b73 + 13410*b79 - 900*b80*b73 + 12930*b80 - 980*b81*b73 + 12270*b81 - 710*b82*b73 + 15940*b82 - 830*b83*b73 + 12630*b83 - 540*b84* b73 + 10760*b84 - 860*b85*b73 + 12060*b85 - 890*b86*b73 + 11210*b86 - 270*b87*b73 + 12210*b87 - 710*b88*b73 + 11740*b88 - 100*b89*b73 + 9830* b89 - 980*b90*b73 + 12630*b90 - 910*b91*b73 + 12930*b91 - 860*b92*b73 + 12400*b92 - 300*b93*b73 + 14040*b93 - 550*b75*b74 - 200*b76*b74 - 400* b77*b74 - 70*b78*b74 - 530*b79*b74 - 910*b80*b74 - 750*b81*b74 - 330*b82 *b74 - 720*b83*b74 - 340*b84*b74 - 320*b85*b74 - 70*b86*b74 - 870*b87* b74 - 640*b88*b74 - 70*b89*b74 - 740*b90*b74 - 540*b91*b74 - 580*b92*b74 - 970*b93*b74 - 760*b94*b74 + 12350*b94 - 890*b76*b75 - 120*b77*b75 - 830*b78*b75 - 390*b79*b75 - 70*b80*b75 - 890*b81*b75 - 890*b82*b75 - 980 *b83*b75 - 270*b84*b75 - 190*b85*b75 - 60*b86*b75 - 600*b88*b75 - 130* b89*b75 - 760*b90*b75 - 650*b91*b75 - 560*b92*b75 - 510*b93*b75 - 790* b94*b75 - 500*b77*b76 - 280*b78*b76 - 340*b79*b76 - 870*b80*b76 - 240* b81*b76 - 980*b82*b76 - 470*b83*b76 - 500*b84*b76 - 50*b85*b76 - 570*b86 *b76 - 480*b87*b76 - 940*b88*b76 - 210*b89*b76 - 310*b90*b76 - 250*b91* b76 - 120*b92*b76 - 380*b93*b76 - 370*b94*b76 - 150*b78*b77 - 890*b79* b77 - 940*b80*b77 - 210*b81*b77 - 950*b82*b77 - 940*b83*b77 - 330*b84* b77 - 80*b85*b77 - 710*b86*b77 - 990*b87*b77 - 640*b88*b77 - 740*b89*b77 - 10*b90*b77 - 440*b91*b77 - 120*b92*b77 - 360*b93*b77 - 20*b94*b77 - 880*b79*b78 - 340*b80*b78 - 300*b81*b78 - 390*b82*b78 - 390*b83*b78 - 390*b84*b78 - 870*b85*b78 - 860*b86*b78 - 600*b87*b78 - 700*b88*b78 - 110*b89*b78 - 730*b90*b78 - 90*b91*b78 - 780*b92*b78 - 750*b93*b78 - 830 *b94*b78 - 690*b81*b79 - 570*b82*b79 - 830*b83*b79 - 600*b84*b79 - 960* b85*b79 - 220*b86*b79 - 990*b87*b79 - 340*b88*b79 - 830*b89*b79 - 220* b90*b79 - 460*b91*b79 - 560*b92*b79 - 830*b93*b79 - 500*b94*b79 - 240* b81*b80 - 830*b82*b80 - 330*b83*b80 - 490*b84*b80 - 310*b85*b80 - 300* b86*b80 - 690*b87*b80 - 650*b88*b80 - 350*b89*b80 - 110*b90*b80 - 980* b91*b80 - 560*b92*b80 - 800*b93*b80 - 730*b94*b80 - 850*b82*b81 - 730* b83*b81 - 610*b84*b81 - 550*b85*b81 - 250*b86*b81 - 830*b87*b81 - 120* b88*b81 - 80*b89*b81 - 950*b90*b81 - 610*b91*b81 - 310*b92*b81 - 470*b93 *b81 - 480*b94*b81 - 950*b83*b82 - 660*b84*b82 - 690*b85*b82 - 930*b86* b82 - 740*b87*b82 - 520*b88*b82 - 700*b89*b82 - 570*b90*b82 - 850*b91* b82 - 710*b92*b82 - 400*b93*b82 - 450*b94*b82 - 150*b84*b83 - 400*b85* b83 - 580*b86*b83 - 20*b87*b83 - 40*b88*b83 - 560*b89*b83 - 100*b90*b83 - 360*b91*b83 - 410*b92*b83 - 830*b93*b83 - 190*b94*b83 - 980*b85*b84 - 490*b86*b84 - 80*b87*b84 - 330*b88*b84 - 130*b89*b84 - 690*b90*b84 - 280*b91*b84 - 740*b92*b84 - 820*b94*b84 - 750*b86*b85 - 220*b87*b85 - 660*b88*b85 - 440*b89*b85 - 670*b90*b85 - 400*b91*b85 - 480*b92*b85 - 370*b93*b85 - 50*b94*b85 - 490*b87*b86 - 850*b88*b86 - 90*b89*b86 - 410* b90*b86 - 10*b92*b86 - 990*b93*b86 - 900*b94*b86 - 540*b88*b87 - 570*b89 *b87 - 80*b90*b87 - 640*b91*b87 - 940*b92*b87 - 10*b93*b87 - 330*b94*b87 - 470*b89*b88 - 440*b90*b88 - 500*b91*b88 - 80*b92*b88 - 770*b93*b88 - 210*b94*b88 - 640*b90*b89 - 770*b91*b89 - 570*b92*b89 - 900*b93*b89 - 170*b94*b89 - 290*b91*b90 - 850*b92*b90 - 640*b93*b90 - 340*b94*b90 - 470*b92*b91 - 810*b93*b91 - 650*b94*b91 - 320*b93*b92 - 810*b94*b92 - 700*b94*b93 <= 0 } } Constraint e306 { Definition: { (-550*b96*b95) - 38235.8*b95 + 10930*b96 - 200*b97*b95 + 11920*b97 - 400 *b98*b95 + 11280*b98 - 70*b99*b95 + 12790*b99 - 760*b100*b95 + 12350* b100 - 530*b101*b95 + 13410*b101 - 910*b102*b95 + 12930*b102 - 750*b103* b95 + 12270*b103 - 330*b104*b95 + 15940*b104 - 720*b105*b95 + 12630*b105 - 340*b106*b95 + 10760*b106 - 320*b107*b95 + 12060*b107 - 70*b108*b95 + 11210*b108 - 870*b109*b95 + 12210*b109 - 640*b110*b95 + 11740*b110 - 70*b111*b95 + 9830*b111 - 740*b112*b95 + 12630*b112 - 540*b113*b95 + 12930*b113 - 580*b114*b95 + 12400*b114 - 970*b115*b95 + 14040*b115 - 890 *b97*b96 - 120*b98*b96 - 830*b99*b96 - 790*b100*b96 - 390*b101*b96 - 70* b102*b96 - 890*b103*b96 - 890*b104*b96 - 980*b105*b96 - 270*b106*b96 - 190*b107*b96 - 60*b108*b96 - 600*b110*b96 - 130*b111*b96 - 760*b112*b96 - 650*b113*b96 - 560*b114*b96 - 510*b115*b96 - 500*b98*b97 - 280*b99* b97 - 370*b100*b97 - 340*b101*b97 - 870*b102*b97 - 240*b103*b97 - 980* b104*b97 - 470*b105*b97 - 500*b106*b97 - 50*b107*b97 - 570*b108*b97 - 480*b109*b97 - 940*b110*b97 - 210*b111*b97 - 310*b112*b97 - 250*b113*b97 - 120*b114*b97 - 380*b115*b97 - 150*b99*b98 - 20*b100*b98 - 890*b101* b98 - 940*b102*b98 - 210*b103*b98 - 950*b104*b98 - 940*b105*b98 - 330* b106*b98 - 80*b107*b98 - 710*b108*b98 - 990*b109*b98 - 640*b110*b98 - 740*b111*b98 - 10*b112*b98 - 440*b113*b98 - 120*b114*b98 - 360*b115*b98 - 830*b100*b99 - 880*b101*b99 - 340*b102*b99 - 300*b103*b99 - 390*b104* b99 - 390*b105*b99 - 390*b106*b99 - 870*b107*b99 - 860*b108*b99 - 600* b109*b99 - 700*b110*b99 - 110*b111*b99 - 730*b112*b99 - 90*b113*b99 - 780*b114*b99 - 750*b115*b99 - 500*b101*b100 - 730*b102*b100 - 480*b103* b100 - 450*b104*b100 - 190*b105*b100 - 820*b106*b100 - 50*b107*b100 - 900*b108*b100 - 330*b109*b100 - 210*b110*b100 - 170*b111*b100 - 340*b112 *b100 - 650*b113*b100 - 810*b114*b100 - 700*b115*b100 - 690*b103*b101 - 570*b104*b101 - 830*b105*b101 - 600*b106*b101 - 960*b107*b101 - 220*b108 *b101 - 990*b109*b101 - 340*b110*b101 - 830*b111*b101 - 220*b112*b101 - 460*b113*b101 - 560*b114*b101 - 830*b115*b101 - 240*b103*b102 - 830*b104 *b102 - 330*b105*b102 - 490*b106*b102 - 310*b107*b102 - 300*b108*b102 - 690*b109*b102 - 650*b110*b102 - 350*b111*b102 - 110*b112*b102 - 980*b113 *b102 - 560*b114*b102 - 800*b115*b102 - 850*b104*b103 - 730*b105*b103 - 610*b106*b103 - 550*b107*b103 - 250*b108*b103 - 830*b109*b103 - 120*b110 *b103 - 80*b111*b103 - 950*b112*b103 - 610*b113*b103 - 310*b114*b103 - 470*b115*b103 - 950*b105*b104 - 660*b106*b104 - 690*b107*b104 - 930*b108 *b104 - 740*b109*b104 - 520*b110*b104 - 700*b111*b104 - 570*b112*b104 - 850*b113*b104 - 710*b114*b104 - 400*b115*b104 - 150*b106*b105 - 400*b107 *b105 - 580*b108*b105 - 20*b109*b105 - 40*b110*b105 - 560*b111*b105 - 100*b112*b105 - 360*b113*b105 - 410*b114*b105 - 830*b115*b105 - 980*b107 *b106 - 490*b108*b106 - 80*b109*b106 - 330*b110*b106 - 130*b111*b106 - 690*b112*b106 - 280*b113*b106 - 740*b114*b106 - 750*b108*b107 - 220*b109 *b107 - 660*b110*b107 - 440*b111*b107 - 670*b112*b107 - 400*b113*b107 - 480*b114*b107 - 370*b115*b107 - 490*b109*b108 - 850*b110*b108 - 90*b111* b108 - 410*b112*b108 - 10*b114*b108 - 990*b115*b108 - 540*b110*b109 - 570*b111*b109 - 80*b112*b109 - 640*b113*b109 - 940*b114*b109 - 10*b115* b109 - 470*b111*b110 - 440*b112*b110 - 500*b113*b110 - 80*b114*b110 - 770*b115*b110 - 640*b112*b111 - 770*b113*b111 - 570*b114*b111 - 900*b115 *b111 - 290*b113*b112 - 850*b114*b112 - 640*b115*b112 - 470*b114*b113 - 810*b115*b113 - 320*b115*b114 <= 0 } } Constraint e307 { Definition: { (-890*b117*b116) - 40165.8*b116 + 11920*b117 - 120*b118*b116 + 11280* b118 - 830*b119*b116 + 12790*b119 - 790*b120*b116 + 12350*b120 - 390* b121*b116 + 13410*b121 - 70*b122*b116 + 12930*b122 - 890*b123*b116 + 12270*b123 - 890*b124*b116 + 15940*b124 - 980*b125*b116 + 12630*b125 - 270*b126*b116 + 10760*b126 - 190*b127*b116 + 12060*b127 - 60*b128*b116 + 11210*b128 - 600*b129*b116 + 11740*b129 - 130*b130*b116 + 9830*b130 - 760*b131*b116 + 12630*b131 - 650*b132*b116 + 12930*b132 - 560*b133* b116 + 12400*b133 - 510*b134*b116 + 14040*b134 - 500*b118*b117 - 280* b119*b117 - 370*b120*b117 - 340*b121*b117 - 870*b122*b117 - 240*b123* b117 - 980*b124*b117 - 470*b125*b117 - 500*b126*b117 - 50*b127*b117 - 570*b128*b117 - 940*b129*b117 - 210*b130*b117 - 310*b131*b117 - 250*b132 *b117 - 120*b133*b117 - 380*b134*b117 - 480*b135*b117 + 12210*b135 - 150 *b119*b118 - 20*b120*b118 - 890*b121*b118 - 940*b122*b118 - 210*b123* b118 - 950*b124*b118 - 940*b125*b118 - 330*b126*b118 - 80*b127*b118 - 710*b128*b118 - 640*b129*b118 - 740*b130*b118 - 10*b131*b118 - 440*b132* b118 - 120*b133*b118 - 360*b134*b118 - 990*b135*b118 - 830*b120*b119 - 880*b121*b119 - 340*b122*b119 - 300*b123*b119 - 390*b124*b119 - 390*b125 *b119 - 390*b126*b119 - 870*b127*b119 - 860*b128*b119 - 700*b129*b119 - 110*b130*b119 - 730*b131*b119 - 90*b132*b119 - 780*b133*b119 - 750*b134* b119 - 600*b135*b119 - 500*b121*b120 - 730*b122*b120 - 480*b123*b120 - 450*b124*b120 - 190*b125*b120 - 820*b126*b120 - 50*b127*b120 - 900*b128* b120 - 210*b129*b120 - 170*b130*b120 - 340*b131*b120 - 650*b132*b120 - 810*b133*b120 - 700*b134*b120 - 330*b135*b120 - 690*b123*b121 - 570*b124 *b121 - 830*b125*b121 - 600*b126*b121 - 960*b127*b121 - 220*b128*b121 - 340*b129*b121 - 830*b130*b121 - 220*b131*b121 - 460*b132*b121 - 560*b133 *b121 - 830*b134*b121 - 990*b135*b121 - 240*b123*b122 - 830*b124*b122 - 330*b125*b122 - 490*b126*b122 - 310*b127*b122 - 300*b128*b122 - 650*b129 *b122 - 350*b130*b122 - 110*b131*b122 - 980*b132*b122 - 560*b133*b122 - 800*b134*b122 - 690*b135*b122 - 850*b124*b123 - 730*b125*b123 - 610*b126 *b123 - 550*b127*b123 - 250*b128*b123 - 120*b129*b123 - 80*b130*b123 - 950*b131*b123 - 610*b132*b123 - 310*b133*b123 - 470*b134*b123 - 830*b135 *b123 - 950*b125*b124 - 660*b126*b124 - 690*b127*b124 - 930*b128*b124 - 520*b129*b124 - 700*b130*b124 - 570*b131*b124 - 850*b132*b124 - 710*b133 *b124 - 400*b134*b124 - 740*b135*b124 - 150*b126*b125 - 400*b127*b125 - 580*b128*b125 - 40*b129*b125 - 560*b130*b125 - 100*b131*b125 - 360*b132* b125 - 410*b133*b125 - 830*b134*b125 - 20*b135*b125 - 980*b127*b126 - 490*b128*b126 - 330*b129*b126 - 130*b130*b126 - 690*b131*b126 - 280*b132 *b126 - 740*b133*b126 - 80*b135*b126 - 750*b128*b127 - 660*b129*b127 - 440*b130*b127 - 670*b131*b127 - 400*b132*b127 - 480*b133*b127 - 370*b134 *b127 - 220*b135*b127 - 850*b129*b128 - 90*b130*b128 - 410*b131*b128 - 10*b133*b128 - 990*b134*b128 - 490*b135*b128 - 470*b130*b129 - 440*b131* b129 - 500*b132*b129 - 80*b133*b129 - 770*b134*b129 - 540*b135*b129 - 640*b131*b130 - 770*b132*b130 - 570*b133*b130 - 900*b134*b130 - 570*b135 *b130 - 290*b132*b131 - 850*b133*b131 - 640*b134*b131 - 80*b135*b131 - 470*b133*b132 - 810*b134*b132 - 640*b135*b132 - 320*b134*b133 - 940*b135 *b133 - 10*b135*b134 <= 0 } } Constraint e308 { Definition: { (-500*b137*b136) - 39175.8*b136 + 11280*b137 - 280*b138*b136 + 12790* b138 - 370*b139*b136 + 12350*b139 - 340*b140*b136 + 13410*b140 - 870* b141*b136 + 12930*b141 - 240*b142*b136 + 12270*b142 - 980*b143*b136 + 15940*b143 - 470*b144*b136 + 12630*b144 - 500*b145*b136 + 10760*b145 - 50*b146*b136 + 12060*b146 - 570*b147*b136 + 11210*b147 - 480*b148*b136 + 12210*b148 - 940*b149*b136 + 11740*b149 - 210*b150*b136 + 9830*b150 - 310*b151*b136 + 12630*b151 - 250*b152*b136 + 12930*b152 - 120*b153* b136 + 12400*b153 - 380*b154*b136 + 14040*b154 - 150*b138*b137 - 20*b139 *b137 - 890*b140*b137 - 940*b141*b137 - 210*b142*b137 - 950*b143*b137 - 940*b144*b137 - 330*b145*b137 - 80*b146*b137 - 710*b147*b137 - 990*b148* b137 - 640*b149*b137 - 740*b150*b137 - 10*b151*b137 - 440*b152*b137 - 120*b153*b137 - 360*b154*b137 - 830*b139*b138 - 880*b140*b138 - 340*b141 *b138 - 300*b142*b138 - 390*b143*b138 - 390*b144*b138 - 390*b145*b138 - 870*b146*b138 - 860*b147*b138 - 600*b148*b138 - 700*b149*b138 - 110*b150 *b138 - 730*b151*b138 - 90*b152*b138 - 780*b153*b138 - 750*b154*b138 - 500*b140*b139 - 730*b141*b139 - 480*b142*b139 - 450*b143*b139 - 190*b144 *b139 - 820*b145*b139 - 50*b146*b139 - 900*b147*b139 - 330*b148*b139 - 210*b149*b139 - 170*b150*b139 - 340*b151*b139 - 650*b152*b139 - 810*b153 *b139 - 700*b154*b139 - 690*b142*b140 - 570*b143*b140 - 830*b144*b140 - 600*b145*b140 - 960*b146*b140 - 220*b147*b140 - 990*b148*b140 - 340*b149 *b140 - 830*b150*b140 - 220*b151*b140 - 460*b152*b140 - 560*b153*b140 - 830*b154*b140 - 240*b142*b141 - 830*b143*b141 - 330*b144*b141 - 490*b145 *b141 - 310*b146*b141 - 300*b147*b141 - 690*b148*b141 - 650*b149*b141 - 350*b150*b141 - 110*b151*b141 - 980*b152*b141 - 560*b153*b141 - 800*b154 *b141 - 850*b143*b142 - 730*b144*b142 - 610*b145*b142 - 550*b146*b142 - 250*b147*b142 - 830*b148*b142 - 120*b149*b142 - 80*b150*b142 - 950*b151* b142 - 610*b152*b142 - 310*b153*b142 - 470*b154*b142 - 950*b144*b143 - 660*b145*b143 - 690*b146*b143 - 930*b147*b143 - 740*b148*b143 - 520*b149 *b143 - 700*b150*b143 - 570*b151*b143 - 850*b152*b143 - 710*b153*b143 - 400*b154*b143 - 150*b145*b144 - 400*b146*b144 - 580*b147*b144 - 20*b148* b144 - 40*b149*b144 - 560*b150*b144 - 100*b151*b144 - 360*b152*b144 - 410*b153*b144 - 830*b154*b144 - 980*b146*b145 - 490*b147*b145 - 80*b148* b145 - 330*b149*b145 - 130*b150*b145 - 690*b151*b145 - 280*b152*b145 - 740*b153*b145 - 750*b147*b146 - 220*b148*b146 - 660*b149*b146 - 440*b150 *b146 - 670*b151*b146 - 400*b152*b146 - 480*b153*b146 - 370*b154*b146 - 490*b148*b147 - 850*b149*b147 - 90*b150*b147 - 410*b151*b147 - 10*b153* b147 - 990*b154*b147 - 540*b149*b148 - 570*b150*b148 - 80*b151*b148 - 640*b152*b148 - 940*b153*b148 - 10*b154*b148 - 470*b150*b149 - 440*b151* b149 - 500*b152*b149 - 80*b153*b149 - 770*b154*b149 - 640*b151*b150 - 770*b152*b150 - 570*b153*b150 - 900*b154*b150 - 290*b152*b151 - 850*b153 *b151 - 640*b154*b151 - 470*b153*b152 - 810*b154*b152 - 320*b154*b153 <= 0 } } Constraint e309 { Definition: { (-150*b156*b155) - 39815.8*b155 + 12790*b156 - 20*b157*b155 + 12350*b157 - 890*b158*b155 + 13410*b158 - 940*b159*b155 + 12930*b159 - 210*b160* b155 + 12270*b160 - 950*b161*b155 + 15940*b161 - 940*b162*b155 + 12630* b162 - 330*b163*b155 + 10760*b163 - 80*b164*b155 + 12060*b164 - 710*b165 *b155 + 11210*b165 - 990*b166*b155 + 12210*b166 - 640*b167*b155 + 11740* b167 - 740*b168*b155 + 9830*b168 - 10*b169*b155 + 12630*b169 - 440*b170* b155 + 12930*b170 - 120*b171*b155 + 12400*b171 - 360*b172*b155 + 14040* b172 - 830*b157*b156 - 880*b158*b156 - 340*b159*b156 - 300*b160*b156 - 390*b161*b156 - 390*b162*b156 - 390*b163*b156 - 870*b164*b156 - 860*b165 *b156 - 600*b166*b156 - 700*b167*b156 - 110*b168*b156 - 730*b169*b156 - 90*b170*b156 - 780*b171*b156 - 750*b172*b156 - 500*b158*b157 - 730*b159* b157 - 480*b160*b157 - 450*b161*b157 - 190*b162*b157 - 820*b163*b157 - 50*b164*b157 - 900*b165*b157 - 330*b166*b157 - 210*b167*b157 - 170*b168* b157 - 340*b169*b157 - 650*b170*b157 - 810*b171*b157 - 700*b172*b157 - 690*b160*b158 - 570*b161*b158 - 830*b162*b158 - 600*b163*b158 - 960*b164 *b158 - 220*b165*b158 - 990*b166*b158 - 340*b167*b158 - 830*b168*b158 - 220*b169*b158 - 460*b170*b158 - 560*b171*b158 - 830*b172*b158 - 240*b160 *b159 - 830*b161*b159 - 330*b162*b159 - 490*b163*b159 - 310*b164*b159 - 300*b165*b159 - 690*b166*b159 - 650*b167*b159 - 350*b168*b159 - 110*b169 *b159 - 980*b170*b159 - 560*b171*b159 - 800*b172*b159 - 850*b161*b160 - 730*b162*b160 - 610*b163*b160 - 550*b164*b160 - 250*b165*b160 - 830*b166 *b160 - 120*b167*b160 - 80*b168*b160 - 950*b169*b160 - 610*b170*b160 - 310*b171*b160 - 470*b172*b160 - 950*b162*b161 - 660*b163*b161 - 690*b164 *b161 - 930*b165*b161 - 740*b166*b161 - 520*b167*b161 - 700*b168*b161 - 570*b169*b161 - 850*b170*b161 - 710*b171*b161 - 400*b172*b161 - 150*b163 *b162 - 400*b164*b162 - 580*b165*b162 - 20*b166*b162 - 40*b167*b162 - 560*b168*b162 - 100*b169*b162 - 360*b170*b162 - 410*b171*b162 - 830*b172 *b162 - 980*b164*b163 - 490*b165*b163 - 80*b166*b163 - 330*b167*b163 - 130*b168*b163 - 690*b169*b163 - 280*b170*b163 - 740*b171*b163 - 750*b165 *b164 - 220*b166*b164 - 660*b167*b164 - 440*b168*b164 - 670*b169*b164 - 400*b170*b164 - 480*b171*b164 - 370*b172*b164 - 490*b166*b165 - 850*b167 *b165 - 90*b168*b165 - 410*b169*b165 - 10*b171*b165 - 990*b172*b165 - 540*b167*b166 - 570*b168*b166 - 80*b169*b166 - 640*b170*b166 - 940*b171* b166 - 10*b172*b166 - 470*b168*b167 - 440*b169*b167 - 500*b170*b167 - 80 *b171*b167 - 770*b172*b167 - 640*b169*b168 - 770*b170*b168 - 570*b171* b168 - 900*b172*b168 - 290*b170*b169 - 850*b171*b169 - 640*b172*b169 - 470*b171*b170 - 810*b172*b170 - 320*b172*b171 <= 0 } } Constraint e310 { Definition: { (-830*b174*b173) - 38305.8*b173 + 12350*b174 - 880*b175*b173 + 13410* b175 - 340*b176*b173 + 12930*b176 - 300*b177*b173 + 12270*b177 - 390* b178*b173 + 15940*b178 - 390*b179*b173 + 12630*b179 - 390*b180*b173 + 10760*b180 - 870*b181*b173 + 12060*b181 - 860*b182*b173 + 11210*b182 - 600*b183*b173 + 12210*b183 - 700*b184*b173 + 11740*b184 - 110*b185*b173 + 9830*b185 - 730*b186*b173 + 12630*b186 - 90*b187*b173 + 12930*b187 - 780*b188*b173 + 12400*b188 - 750*b189*b173 + 14040*b189 - 500*b175*b174 - 730*b176*b174 - 480*b177*b174 - 450*b178*b174 - 190*b179*b174 - 820* b180*b174 - 50*b181*b174 - 900*b182*b174 - 330*b183*b174 - 210*b184*b174 - 170*b185*b174 - 340*b186*b174 - 650*b187*b174 - 810*b188*b174 - 700* b189*b174 - 690*b177*b175 - 570*b178*b175 - 830*b179*b175 - 600*b180* b175 - 960*b181*b175 - 220*b182*b175 - 990*b183*b175 - 340*b184*b175 - 830*b185*b175 - 220*b186*b175 - 460*b187*b175 - 560*b188*b175 - 830*b189 *b175 - 240*b177*b176 - 830*b178*b176 - 330*b179*b176 - 490*b180*b176 - 310*b181*b176 - 300*b182*b176 - 690*b183*b176 - 650*b184*b176 - 350*b185 *b176 - 110*b186*b176 - 980*b187*b176 - 560*b188*b176 - 800*b189*b176 - 850*b178*b177 - 730*b179*b177 - 610*b180*b177 - 550*b181*b177 - 250*b182 *b177 - 830*b183*b177 - 120*b184*b177 - 80*b185*b177 - 950*b186*b177 - 610*b187*b177 - 310*b188*b177 - 470*b189*b177 - 950*b179*b178 - 660*b180 *b178 - 690*b181*b178 - 930*b182*b178 - 740*b183*b178 - 520*b184*b178 - 700*b185*b178 - 570*b186*b178 - 850*b187*b178 - 710*b188*b178 - 400*b189 *b178 - 150*b180*b179 - 400*b181*b179 - 580*b182*b179 - 20*b183*b179 - 40*b184*b179 - 560*b185*b179 - 100*b186*b179 - 360*b187*b179 - 410*b188* b179 - 830*b189*b179 - 980*b181*b180 - 490*b182*b180 - 80*b183*b180 - 330*b184*b180 - 130*b185*b180 - 690*b186*b180 - 280*b187*b180 - 740*b188 *b180 - 750*b182*b181 - 220*b183*b181 - 660*b184*b181 - 440*b185*b181 - 670*b186*b181 - 400*b187*b181 - 480*b188*b181 - 370*b189*b181 - 490*b183 *b182 - 850*b184*b182 - 90*b185*b182 - 410*b186*b182 - 10*b188*b182 - 990*b189*b182 - 540*b184*b183 - 570*b185*b183 - 80*b186*b183 - 640*b187* b183 - 940*b188*b183 - 10*b189*b183 - 470*b185*b184 - 440*b186*b184 - 500*b187*b184 - 80*b188*b184 - 770*b189*b184 - 640*b186*b185 - 770*b187* b185 - 570*b188*b185 - 900*b189*b185 - 290*b187*b186 - 850*b188*b186 - 640*b189*b186 - 470*b188*b187 - 810*b189*b187 - 320*b189*b188 <= 0 } } Constraint e311 { Definition: { (-500*b191*b190) - 38745.8*b190 + 13410*b191 - 730*b192*b190 + 12930* b192 - 480*b193*b190 + 12270*b193 - 450*b194*b190 + 15940*b194 - 190* b195*b190 + 12630*b195 - 820*b196*b190 + 10760*b196 - 50*b197*b190 + 12060*b197 - 900*b198*b190 + 11210*b198 - 330*b199*b190 + 12210*b199 - 210*b200*b190 + 11740*b200 - 170*b201*b190 + 9830*b201 - 340*b202*b190 + 12630*b202 - 650*b203*b190 + 12930*b203 - 810*b204*b190 + 12400*b204 - 700*b205*b190 + 14040*b205 - 690*b193*b191 - 570*b194*b191 - 830*b195 *b191 - 600*b196*b191 - 960*b197*b191 - 220*b198*b191 - 990*b199*b191 - 340*b200*b191 - 830*b201*b191 - 220*b202*b191 - 460*b203*b191 - 560*b204 *b191 - 830*b205*b191 - 240*b193*b192 - 830*b194*b192 - 330*b195*b192 - 490*b196*b192 - 310*b197*b192 - 300*b198*b192 - 690*b199*b192 - 650*b200 *b192 - 350*b201*b192 - 110*b202*b192 - 980*b203*b192 - 560*b204*b192 - 800*b205*b192 - 850*b194*b193 - 730*b195*b193 - 610*b196*b193 - 550*b197 *b193 - 250*b198*b193 - 830*b199*b193 - 120*b200*b193 - 80*b201*b193 - 950*b202*b193 - 610*b203*b193 - 310*b204*b193 - 470*b205*b193 - 950*b195 *b194 - 660*b196*b194 - 690*b197*b194 - 930*b198*b194 - 740*b199*b194 - 520*b200*b194 - 700*b201*b194 - 570*b202*b194 - 850*b203*b194 - 710*b204 *b194 - 400*b205*b194 - 150*b196*b195 - 400*b197*b195 - 580*b198*b195 - 20*b199*b195 - 40*b200*b195 - 560*b201*b195 - 100*b202*b195 - 360*b203* b195 - 410*b204*b195 - 830*b205*b195 - 980*b197*b196 - 490*b198*b196 - 80*b199*b196 - 330*b200*b196 - 130*b201*b196 - 690*b202*b196 - 280*b203* b196 - 740*b204*b196 - 750*b198*b197 - 220*b199*b197 - 660*b200*b197 - 440*b201*b197 - 670*b202*b197 - 400*b203*b197 - 480*b204*b197 - 370*b205 *b197 - 490*b199*b198 - 850*b200*b198 - 90*b201*b198 - 410*b202*b198 - 10*b204*b198 - 990*b205*b198 - 540*b200*b199 - 570*b201*b199 - 80*b202* b199 - 640*b203*b199 - 940*b204*b199 - 10*b205*b199 - 470*b201*b200 - 440*b202*b200 - 500*b203*b200 - 80*b204*b200 - 770*b205*b200 - 640*b202* b201 - 770*b203*b201 - 570*b204*b201 - 900*b205*b201 - 290*b203*b202 - 850*b204*b202 - 640*b205*b202 - 470*b204*b203 - 810*b205*b203 - 320*b205 *b204 <= 0 } } Constraint e312 { Definition: { (-690*b207*b206) - 37685.8*b206 + 12270*b207 - 570*b208*b206 + 15940* b208 - 830*b209*b206 + 12630*b209 - 600*b210*b206 + 10760*b210 - 960* b211*b206 + 12060*b211 - 220*b212*b206 + 11210*b212 - 990*b213*b206 + 12210*b213 - 340*b214*b206 + 11740*b214 - 830*b215*b206 + 9830*b215 - 220*b216*b206 + 12630*b216 - 460*b217*b206 + 12930*b217 - 560*b218*b206 + 12400*b218 - 830*b219*b206 + 14040*b219 - 850*b208*b207 - 730*b209* b207 - 610*b210*b207 - 550*b211*b207 - 250*b212*b207 - 830*b213*b207 - 120*b214*b207 - 80*b215*b207 - 950*b216*b207 - 610*b217*b207 - 310*b218* b207 - 470*b219*b207 - 240*b220*b207 + 12930*b220 - 950*b209*b208 - 660* b210*b208 - 690*b211*b208 - 930*b212*b208 - 740*b213*b208 - 520*b214* b208 - 700*b215*b208 - 570*b216*b208 - 850*b217*b208 - 710*b218*b208 - 400*b219*b208 - 830*b220*b208 - 150*b210*b209 - 400*b211*b209 - 580*b212 *b209 - 20*b213*b209 - 40*b214*b209 - 560*b215*b209 - 100*b216*b209 - 360*b217*b209 - 410*b218*b209 - 830*b219*b209 - 330*b220*b209 - 980*b211 *b210 - 490*b212*b210 - 80*b213*b210 - 330*b214*b210 - 130*b215*b210 - 690*b216*b210 - 280*b217*b210 - 740*b218*b210 - 490*b220*b210 - 750*b212 *b211 - 220*b213*b211 - 660*b214*b211 - 440*b215*b211 - 670*b216*b211 - 400*b217*b211 - 480*b218*b211 - 370*b219*b211 - 310*b220*b211 - 490*b213 *b212 - 850*b214*b212 - 90*b215*b212 - 410*b216*b212 - 10*b218*b212 - 990*b219*b212 - 300*b220*b212 - 540*b214*b213 - 570*b215*b213 - 80*b216* b213 - 640*b217*b213 - 940*b218*b213 - 10*b219*b213 - 690*b220*b213 - 470*b215*b214 - 440*b216*b214 - 500*b217*b214 - 80*b218*b214 - 770*b219* b214 - 650*b220*b214 - 640*b216*b215 - 770*b217*b215 - 570*b218*b215 - 900*b219*b215 - 350*b220*b215 - 290*b217*b216 - 850*b218*b216 - 640*b219 *b216 - 110*b220*b216 - 470*b218*b217 - 810*b219*b217 - 980*b220*b217 - 320*b219*b218 - 560*b220*b218 - 800*b220*b219 <= 0 } } Constraint e313 { Definition: { (-240*b222*b221) - 38165.8*b221 + 12270*b222 - 830*b223*b221 + 15940* b223 - 330*b224*b221 + 12630*b224 - 490*b225*b221 + 10760*b225 - 310* b226*b221 + 12060*b226 - 300*b227*b221 + 11210*b227 - 690*b228*b221 + 12210*b228 - 650*b229*b221 + 11740*b229 - 350*b230*b221 + 9830*b230 - 110*b231*b221 + 12630*b231 - 980*b232*b221 + 12930*b232 - 560*b233*b221 + 12400*b233 - 800*b234*b221 + 14040*b234 - 850*b223*b222 - 730*b224* b222 - 610*b225*b222 - 550*b226*b222 - 250*b227*b222 - 830*b228*b222 - 120*b229*b222 - 80*b230*b222 - 950*b231*b222 - 610*b232*b222 - 310*b233* b222 - 470*b234*b222 - 950*b224*b223 - 660*b225*b223 - 690*b226*b223 - 930*b227*b223 - 740*b228*b223 - 520*b229*b223 - 700*b230*b223 - 570*b231 *b223 - 850*b232*b223 - 710*b233*b223 - 400*b234*b223 - 150*b225*b224 - 400*b226*b224 - 580*b227*b224 - 20*b228*b224 - 40*b229*b224 - 560*b230* b224 - 100*b231*b224 - 360*b232*b224 - 410*b233*b224 - 830*b234*b224 - 980*b226*b225 - 490*b227*b225 - 80*b228*b225 - 330*b229*b225 - 130*b230* b225 - 690*b231*b225 - 280*b232*b225 - 740*b233*b225 - 750*b227*b226 - 220*b228*b226 - 660*b229*b226 - 440*b230*b226 - 670*b231*b226 - 400*b232 *b226 - 480*b233*b226 - 370*b234*b226 - 490*b228*b227 - 850*b229*b227 - 90*b230*b227 - 410*b231*b227 - 10*b233*b227 - 990*b234*b227 - 540*b229* b228 - 570*b230*b228 - 80*b231*b228 - 640*b232*b228 - 940*b233*b228 - 10 *b234*b228 - 470*b230*b229 - 440*b231*b229 - 500*b232*b229 - 80*b233* b229 - 770*b234*b229 - 640*b231*b230 - 770*b232*b230 - 570*b233*b230 - 900*b234*b230 - 290*b232*b231 - 850*b233*b231 - 640*b234*b231 - 470*b233 *b232 - 810*b234*b232 - 320*b234*b233 <= 0 } } Constraint e314 { Definition: { (-850*b236*b235) - 38825.8*b235 + 15940*b236 - 730*b237*b235 + 12630* b237 - 610*b238*b235 + 10760*b238 - 550*b239*b235 + 12060*b239 - 250* b240*b235 + 11210*b240 - 830*b241*b235 + 12210*b241 - 120*b242*b235 + 11740*b242 - 80*b243*b235 + 9830*b243 - 950*b244*b235 + 12630*b244 - 610 *b245*b235 + 12930*b245 - 310*b246*b235 + 12400*b246 - 470*b247*b235 + 14040*b247 - 950*b237*b236 - 660*b238*b236 - 690*b239*b236 - 930*b240* b236 - 740*b241*b236 - 520*b242*b236 - 700*b243*b236 - 570*b244*b236 - 850*b245*b236 - 710*b246*b236 - 400*b247*b236 - 150*b238*b237 - 400*b239 *b237 - 580*b240*b237 - 20*b241*b237 - 40*b242*b237 - 560*b243*b237 - 100*b244*b237 - 360*b245*b237 - 410*b246*b237 - 830*b247*b237 - 980*b239 *b238 - 490*b240*b238 - 80*b241*b238 - 330*b242*b238 - 130*b243*b238 - 690*b244*b238 - 280*b245*b238 - 740*b246*b238 - 750*b240*b239 - 220*b241 *b239 - 660*b242*b239 - 440*b243*b239 - 670*b244*b239 - 400*b245*b239 - 480*b246*b239 - 370*b247*b239 - 490*b241*b240 - 850*b242*b240 - 90*b243* b240 - 410*b244*b240 - 10*b246*b240 - 990*b247*b240 - 540*b242*b241 - 570*b243*b241 - 80*b244*b241 - 640*b245*b241 - 940*b246*b241 - 10*b247* b241 - 470*b243*b242 - 440*b244*b242 - 500*b245*b242 - 80*b246*b242 - 770*b247*b242 - 640*b244*b243 - 770*b245*b243 - 570*b246*b243 - 900*b247 *b243 - 290*b245*b244 - 850*b246*b244 - 640*b247*b244 - 470*b246*b245 - 810*b247*b245 - 320*b247*b246 <= 0 } } Constraint e315 { Definition: { (-950*b249*b248) - 35155.8*b248 + 12630*b249 - 660*b250*b248 + 10760* b250 - 690*b251*b248 + 12060*b251 - 930*b252*b248 + 11210*b252 - 740* b253*b248 + 12210*b253 - 520*b254*b248 + 11740*b254 - 700*b255*b248 + 9830*b255 - 570*b256*b248 + 12630*b256 - 850*b257*b248 + 12930*b257 - 710*b258*b248 + 12400*b258 - 400*b259*b248 + 14040*b259 - 150*b250*b249 - 400*b251*b249 - 580*b252*b249 - 20*b253*b249 - 40*b254*b249 - 560* b255*b249 - 100*b256*b249 - 360*b257*b249 - 410*b258*b249 - 830*b259* b249 - 980*b251*b250 - 490*b252*b250 - 80*b253*b250 - 330*b254*b250 - 130*b255*b250 - 690*b256*b250 - 280*b257*b250 - 740*b258*b250 - 750*b252 *b251 - 220*b253*b251 - 660*b254*b251 - 440*b255*b251 - 670*b256*b251 - 400*b257*b251 - 480*b258*b251 - 370*b259*b251 - 490*b253*b252 - 850*b254 *b252 - 90*b255*b252 - 410*b256*b252 - 10*b258*b252 - 990*b259*b252 - 540*b254*b253 - 570*b255*b253 - 80*b256*b253 - 640*b257*b253 - 940*b258* b253 - 10*b259*b253 - 470*b255*b254 - 440*b256*b254 - 500*b257*b254 - 80 *b258*b254 - 770*b259*b254 - 640*b256*b255 - 770*b257*b255 - 570*b258* b255 - 900*b259*b255 - 290*b257*b256 - 850*b258*b256 - 640*b259*b256 - 470*b258*b257 - 810*b259*b257 - 320*b259*b258 <= 0 } } Constraint e316 { Definition: { (-150*b261*b260) - 38465.8*b260 + 10760*b261 - 400*b262*b260 + 12060* b262 - 580*b263*b260 + 11210*b263 - 20*b264*b260 + 12210*b264 - 40*b265* b260 + 11740*b265 - 560*b266*b260 + 9830*b266 - 100*b267*b260 + 12630* b267 - 360*b268*b260 + 12930*b268 - 410*b269*b260 + 12400*b269 - 830* b270*b260 + 14040*b270 - 980*b262*b261 - 490*b263*b261 - 80*b264*b261 - 330*b265*b261 - 130*b266*b261 - 690*b267*b261 - 280*b268*b261 - 740*b269 *b261 - 750*b263*b262 - 220*b264*b262 - 660*b265*b262 - 440*b266*b262 - 670*b267*b262 - 400*b268*b262 - 480*b269*b262 - 370*b270*b262 - 490*b264 *b263 - 850*b265*b263 - 90*b266*b263 - 410*b267*b263 - 10*b269*b263 - 990*b270*b263 - 540*b265*b264 - 570*b266*b264 - 80*b267*b264 - 640*b268* b264 - 940*b269*b264 - 10*b270*b264 - 470*b266*b265 - 440*b267*b265 - 500*b268*b265 - 80*b269*b265 - 770*b270*b265 - 640*b267*b266 - 770*b268* b266 - 570*b269*b266 - 900*b270*b266 - 290*b268*b267 - 850*b269*b267 - 640*b270*b267 - 470*b269*b268 - 810*b270*b268 - 320*b270*b269 <= 0 } } Constraint e317 { Definition: { (-980*b272*b271) - 40335.8*b271 + 12060*b272 - 490*b273*b271 + 11210* b273 - 80*b274*b271 + 12210*b274 - 330*b275*b271 + 11740*b275 - 130*b276 *b271 + 9830*b276 - 690*b277*b271 + 12630*b277 - 280*b278*b271 + 12930* b278 - 740*b279*b271 + 12400*b279 - 750*b273*b272 - 220*b274*b272 - 660* b275*b272 - 440*b276*b272 - 670*b277*b272 - 400*b278*b272 - 480*b279* b272 - 370*b280*b272 + 14040*b280 - 490*b274*b273 - 850*b275*b273 - 90* b276*b273 - 410*b277*b273 - 10*b279*b273 - 990*b280*b273 - 540*b275*b274 - 570*b276*b274 - 80*b277*b274 - 640*b278*b274 - 940*b279*b274 - 10* b280*b274 - 470*b276*b275 - 440*b277*b275 - 500*b278*b275 - 80*b279*b275 - 770*b280*b275 - 640*b277*b276 - 770*b278*b276 - 570*b279*b276 - 900* b280*b276 - 290*b278*b277 - 850*b279*b277 - 640*b280*b277 - 470*b279* b278 - 810*b280*b278 - 320*b280*b279 <= 0 } } Constraint e318 { Definition: { (-750*b282*b281) - 39035.8*b281 + 11210*b282 - 220*b283*b281 + 12210* b283 - 660*b284*b281 + 11740*b284 - 440*b285*b281 + 9830*b285 - 670*b286 *b281 + 12630*b286 - 400*b287*b281 + 12930*b287 - 480*b288*b281 + 12400* b288 - 370*b289*b281 + 14040*b289 - 490*b283*b282 - 850*b284*b282 - 90* b285*b282 - 410*b286*b282 - 10*b288*b282 - 990*b289*b282 - 540*b284*b283 - 570*b285*b283 - 80*b286*b283 - 640*b287*b283 - 940*b288*b283 - 10* b289*b283 - 470*b285*b284 - 440*b286*b284 - 500*b287*b284 - 80*b288*b284 - 770*b289*b284 - 640*b286*b285 - 770*b287*b285 - 570*b288*b285 - 900* b289*b285 - 290*b287*b286 - 850*b288*b286 - 640*b289*b286 - 470*b288* b287 - 810*b289*b287 - 320*b289*b288 <= 0 } } Constraint e319 { Definition: { (-490*b291*b290) - 39885.8*b290 + 12210*b291 - 850*b292*b290 + 11740* b292 - 90*b293*b290 + 9830*b293 - 410*b294*b290 + 12630*b294 - 10*b295* b290 + 12400*b295 - 990*b296*b290 + 14040*b296 - 540*b292*b291 - 570* b293*b291 - 80*b294*b291 - 940*b295*b291 - 10*b296*b291 - 640*b297*b291 + 12930*b297 - 470*b293*b292 - 440*b294*b292 - 80*b295*b292 - 770*b296* b292 - 500*b297*b292 - 640*b294*b293 - 570*b295*b293 - 900*b296*b293 - 770*b297*b293 - 850*b295*b294 - 640*b296*b294 - 290*b297*b294 - 320*b296 *b295 - 470*b297*b295 - 810*b297*b296 <= 0 } } Constraint e320 { Definition: { (-540*b299*b298) - 38885.8*b298 + 11740*b299 - 570*b300*b298 + 9830*b300 - 80*b301*b298 + 12630*b301 - 640*b302*b298 + 12930*b302 - 940*b303* b298 + 12400*b303 - 10*b304*b298 + 14040*b304 - 470*b300*b299 - 440*b301 *b299 - 500*b302*b299 - 80*b303*b299 - 770*b304*b299 - 640*b301*b300 - 770*b302*b300 - 570*b303*b300 - 900*b304*b300 - 290*b302*b301 - 850*b303 *b301 - 640*b304*b301 - 470*b303*b302 - 810*b304*b302 - 320*b304*b303 <= 0 } } Constraint e321 { Definition: { (-470*b306*b305) - 39355.8*b305 + 9830*b306 - 440*b307*b305 + 12630*b307 - 500*b308*b305 + 12930*b308 - 80*b309*b305 + 12400*b309 - 770*b310* b305 + 14040*b310 - 640*b307*b306 - 770*b308*b306 - 570*b309*b306 - 900* b310*b306 - 290*b308*b307 - 850*b309*b307 - 640*b310*b307 - 470*b309* b308 - 810*b310*b308 - 320*b310*b309 <= 0 } } Constraint e322 { Definition: { (-640*b312*b311) - 41265.8*b311 + 12630*b312 - 770*b313*b311 + 12930* b313 - 570*b314*b311 + 12400*b314 - 900*b315*b311 + 14040*b315 - 290* b313*b312 - 850*b314*b312 - 640*b315*b312 - 470*b314*b313 - 810*b315* b313 - 320*b315*b314 <= 0 } } Constraint e323 { Definition: { (-290*b317*b316) - 38465.8*b316 + 12930*b317 - 850*b318*b316 + 12400* b318 - 640*b319*b316 + 14040*b319 - 470*b318*b317 - 810*b319*b317 - 320* b319*b318 <= 0 } } Constraint e324 { Definition: { (-470*b321*b320) - 38165.8*b320 + 12400*b321 - 810*b322*b320 + 14040* b322 - 320*b322*b321 <= 0 } } Constraint e325 { Definition: (-320*b324*b323) - 38695.8*b323 + 14040*b324 <= 0; } Procedure MainInitialization; MathematicalProgram sonet25v6 { Objective: objvar; Direction: minimize; Constraints: AllConstraints; Variables: AllVariables; Type: MINLP; } ElementParameter myGMP { Range: AllGeneratedMathematicalPrograms; } Procedure MainExecution { Body: { solve sonet25v6; } } Procedure MainTermination { Body: { return 1; } } }