#  MINLP written by GAMS Convert at 01/12/18 13:36:05
#  
#  Equation counts
#      Total        E        G        L        N        X        C        B
#        270      132       31      107        0        0        0        0
#  
#  Variable counts
#                   x        b        i      s1s      s2s       sc       si
#      Total     cont   binary  integer     sos1     sos2    scont     sint
#        477      225      252        0        0        0        0        0
#  FX     85       85        0        0        0        0        0        0
#  
#  Nonzero counts
#      Total    const       NL      DLL
#       1909     1798      111        0


var b1 binary >= 0, <= 1;
var b2 binary >= 0, <= 1;
var b3 binary >= 0, <= 1;
var b4 binary >= 0, <= 1;
var b5 binary >= 0, <= 1;
var b6 binary >= 0, <= 1;
var b7 binary >= 0, <= 1;
var b8 binary >= 0, <= 1;
var b9 binary >= 0, <= 1;
var b10 binary >= 0, <= 1;
var b11 binary >= 0, <= 1;
var b12 binary >= 0, <= 1;
var b13 binary >= 0, <= 1;
var b14 binary >= 0, <= 1;
var b15 binary >= 0, <= 1;
var b16 binary >= 0, <= 1;
var b17 binary >= 0, <= 1;
var b18 binary >= 0, <= 1;
var b19 binary >= 0, <= 1;
var b20 binary >= 0, <= 1;
var b21 binary >= 0, <= 1;
var b22 binary >= 0, <= 1;
var b23 binary >= 0, <= 1;
var b24 binary >= 0, <= 1;
var b25 binary >= 0, <= 1;
var b26 binary >= 0, <= 1;
var b27 binary >= 0, <= 1;
var b28 binary >= 0, <= 1;
var b29 binary >= 0, <= 1;
var b30 binary >= 0, <= 1;
var b31 binary >= 0, <= 1;
var b32 binary >= 0, <= 1;
var b33 binary >= 0, <= 1;
var b34 binary >= 0, <= 1;
var b35 binary >= 0, <= 1;
var b36 binary >= 0, <= 1;
var b37 binary >= 0, <= 1;
var b38 binary >= 0, <= 1;
var b39 binary >= 0, <= 1;
var b40 binary >= 0, <= 1;
var b41 binary >= 0, <= 1;
var b42 binary >= 0, <= 1;
var b43 binary >= 0, <= 1;
var b44 binary >= 0, <= 1;
var b45 binary >= 0, <= 1;
var b46 binary >= 0, <= 1;
var b47 binary >= 0, <= 1;
var b48 binary >= 0, <= 1;
var b49 binary >= 0, <= 1;
var b50 binary >= 0, <= 1;
var b51 binary >= 0, <= 1;
var b52 binary >= 0, <= 1;
var b53 binary >= 0, <= 1;
var b54 binary >= 0, <= 1;
var b55 binary >= 0, <= 1;
var b56 binary >= 0, <= 1;
var b57 binary >= 0, <= 1;
var b58 binary >= 0, <= 1;
var b59 binary >= 0, <= 1;
var b60 binary >= 0, <= 1;
var b61 binary >= 0, <= 1;
var b62 binary >= 0, <= 1;
var b63 binary >= 0, <= 1;
var b64 binary >= 0, <= 1;
var b65 binary >= 0, <= 1;
var b66 binary >= 0, <= 1;
var b67 binary >= 0, <= 1;
var b68 binary >= 0, <= 1;
var b69 binary >= 0, <= 1;
var b70 binary >= 0, <= 1;
var b71 binary >= 0, <= 1;
var b72 binary >= 0, <= 1;
var b73 binary >= 0, <= 1;
var b74 binary >= 0, <= 1;
var b75 binary >= 0, <= 1;
var b76 binary >= 0, <= 1;
var b77 binary >= 0, <= 1;
var b78 binary >= 0, <= 1;
var b79 binary >= 0, <= 1;
var b80 binary >= 0, <= 1;
var b81 binary >= 0, <= 1;
var b82 binary >= 0, <= 1;
var b83 binary >= 0, <= 1;
var b84 binary >= 0, <= 1;
var b85 binary >= 0, <= 1;
var b86 binary >= 0, <= 1;
var b87 binary >= 0, <= 1;
var b88 binary >= 0, <= 1;
var b89 binary >= 0, <= 1;
var b90 binary >= 0, <= 1;
var b91 binary >= 0, <= 1;
var b92 binary >= 0, <= 1;
var b93 binary >= 0, <= 1;
var b94 binary >= 0, <= 1;
var b95 binary >= 0, <= 1;
var b96 binary >= 0, <= 1;
var b97 binary >= 0, <= 1;
var b98 binary >= 0, <= 1;
var b99 binary >= 0, <= 1;
var b100 binary >= 0, <= 1;
var b101 binary >= 0, <= 1;
var b102 binary >= 0, <= 1;
var b103 binary >= 0, <= 1;
var b104 binary >= 0, <= 1;
var b105 binary >= 0, <= 1;
var b106 binary >= 0, <= 1;
var b107 binary >= 0, <= 1;
var b108 binary >= 0, <= 1;
var b109 binary >= 0, <= 1;
var b110 binary >= 0, <= 1;
var b111 binary >= 0, <= 1;
var b112 binary >= 0, <= 1;
var b113 binary >= 0, <= 1;
var b114 binary >= 0, <= 1;
var b115 binary >= 0, <= 1;
var b116 binary >= 0, <= 1;
var b117 binary >= 0, <= 1;
var b118 binary >= 0, <= 1;
var b119 binary >= 0, <= 1;
var b120 binary >= 0, <= 1;
var b121 binary >= 0, <= 1;
var b122 binary >= 0, <= 1;
var b123 binary >= 0, <= 1;
var b124 binary >= 0, <= 1;
var b125 binary >= 0, <= 1;
var b126 binary >= 0, <= 1;
var b127 binary >= 0, <= 1;
var b128 binary >= 0, <= 1;
var b129 binary >= 0, <= 1;
var b130 binary >= 0, <= 1;
var b131 binary >= 0, <= 1;
var b132 binary >= 0, <= 1;
var b133 binary >= 0, <= 1;
var b134 binary >= 0, <= 1;
var b135 binary >= 0, <= 1;
var b136 binary >= 0, <= 1;
var b137 binary >= 0, <= 1;
var b138 binary >= 0, <= 1;
var b139 binary >= 0, <= 1;
var b140 binary >= 0, <= 1;
var b141 binary >= 0, <= 1;
var b142 binary >= 0, <= 1;
var b143 binary >= 0, <= 1;
var b144 binary >= 0, <= 1;
var b145 binary >= 0, <= 1;
var b146 binary >= 0, <= 1;
var b147 binary >= 0, <= 1;
var b148 binary >= 0, <= 1;
var b149 binary >= 0, <= 1;
var b150 binary >= 0, <= 1;
var b151 binary >= 0, <= 1;
var b152 binary >= 0, <= 1;
var b153 binary >= 0, <= 1;
var b154 binary >= 0, <= 1;
var b155 binary >= 0, <= 1;
var b156 binary >= 0, <= 1;
var b157 binary >= 0, <= 1;
var b158 binary >= 0, <= 1;
var b159 binary >= 0, <= 1;
var b160 binary >= 0, <= 1;
var b161 binary >= 0, <= 1;
var b162 binary >= 0, <= 1;
var b163 binary >= 0, <= 1;
var b164 binary >= 0, <= 1;
var b165 binary >= 0, <= 1;
var b166 binary >= 0, <= 1;
var b167 binary >= 0, <= 1;
var b168 binary >= 0, <= 1;
var b169 binary >= 0, <= 1;
var b170 binary >= 0, <= 1;
var b171 binary >= 0, <= 1;
var b172 binary >= 0, <= 1;
var b173 binary >= 0, <= 1;
var b174 binary >= 0, <= 1;
var b175 binary >= 0, <= 1;
var b176 binary >= 0, <= 1;
var b177 binary >= 0, <= 1;
var b178 binary >= 0, <= 1;
var b179 binary >= 0, <= 1;
var b180 binary >= 0, <= 1;
var b181 binary >= 0, <= 1;
var b182 binary >= 0, <= 1;
var b183 binary >= 0, <= 1;
var b184 binary >= 0, <= 1;
var b185 binary >= 0, <= 1;
var b186 binary >= 0, <= 1;
var b187 binary >= 0, <= 1;
var b188 binary >= 0, <= 1;
var b189 binary >= 0, <= 1;
var b190 binary >= 0, <= 1;
var b191 binary >= 0, <= 1;
var b192 binary >= 0, <= 1;
var b193 binary >= 0, <= 1;
var b194 binary >= 0, <= 1;
var b195 binary >= 0, <= 1;
var b196 binary >= 0, <= 1;
var b197 binary >= 0, <= 1;
var b198 binary >= 0, <= 1;
var b199 binary >= 0, <= 1;
var b200 binary >= 0, <= 1;
var b201 binary >= 0, <= 1;
var b202 binary >= 0, <= 1;
var b203 binary >= 0, <= 1;
var b204 binary >= 0, <= 1;
var b205 binary >= 0, <= 1;
var b206 binary >= 0, <= 1;
var b207 binary >= 0, <= 1;
var b208 binary >= 0, <= 1;
var b209 binary >= 0, <= 1;
var b210 binary >= 0, <= 1;
var b211 binary >= 0, <= 1;
var b212 binary >= 0, <= 1;
var b213 binary >= 0, <= 1;
var b214 binary >= 0, <= 1;
var b215 binary >= 0, <= 1;
var b216 binary >= 0, <= 1;
var b217 binary >= 0, <= 1;
var b218 binary >= 0, <= 1;
var b219 binary >= 0, <= 1;
var b220 binary >= 0, <= 1;
var b221 binary >= 0, <= 1;
var b222 binary >= 0, <= 1;
var b223 binary >= 0, <= 1;
var b224 binary >= 0, <= 1;
var b225 binary >= 0, <= 1;
var b226 binary >= 0, <= 1;
var b227 binary >= 0, <= 1;
var b228 binary >= 0, <= 1;
var b229 binary >= 0, <= 1;
var b230 binary >= 0, <= 1;
var b231 binary >= 0, <= 1;
var b232 binary >= 0, <= 1;
var b233 binary >= 0, <= 1;
var b234 binary >= 0, <= 1;
var b235 binary >= 0, <= 1;
var b236 binary >= 0, <= 1;
var b237 binary >= 0, <= 1;
var b238 binary >= 0, <= 1;
var b239 binary >= 0, <= 1;
var b240 binary >= 0, <= 1;
var b241 binary >= 0, <= 1;
var b242 binary >= 0, <= 1;
var b243 binary >= 0, <= 1;
var b244 binary >= 0, <= 1;
var b245 binary >= 0, <= 1;
var b246 binary >= 0, <= 1;
var b247 binary >= 0, <= 1;
var b248 binary >= 0, <= 1;
var b249 binary >= 0, <= 1;
var b250 binary >= 0, <= 1;
var b251 binary >= 0, <= 1;
var b252 binary >= 0, <= 1;
var x253 >= 0, <= 480000;
var x254 >= 0, <= 480000;
var x255 >= 0, <= 480000;
var x256 >= 0, <= 480000;
var x257 >= 0, <= 480000;
var x258 >= 0, <= 480000;
var x259 >= 0, <= 480000;
var x260 >= 0, <= 240000;
var x261 >= 0, <= 240000;
var x262 >= 0, <= 240000;
var x263 >= 0, <= 240000;
var x264 >= 0, <= 240000;
var x265 >= 0, <= 240000;
var x266 >= 0, <= 240000;
var x267 >= 0, <= 540000;
var x268 >= 0, <= 540000;
var x269 >= 0, <= 540000;
var x270 >= 0, <= 540000;
var x271 >= 0, <= 540000;
var x272 >= 0, <= 540000;
var x273 >= 0, <= 540000;
var x274 >= 0, <= 240000;
var x275 >= 0, <= 240000;
var x276 >= 0, <= 240000;
var x277 >= 0, <= 240000;
var x278 >= 0, <= 240000;
var x279 >= 0, <= 240000;
var x280 >= 0, <= 240000;
var x281 >= 0, <= 720000;
var x282 >= 0, <= 720000;
var x283 >= 0, <= 720000;
var x284 >= 0, <= 720000;
var x285 >= 0, <= 720000;
var x286 >= 0, <= 720000;
var x287 >= 0, <= 720000;
var x288 >= 0, <= 300000;
var x289 >= 0, <= 300000;
var x290 >= 0, <= 300000;
var x291 >= 0, <= 300000;
var x292 >= 0, <= 300000;
var x293 >= 0, <= 300000;
var x294 >= 0, <= 300000;
var x295 >= 0, <= 360000;
var x296 >= 0, <= 360000;
var x297 >= 0, <= 360000;
var x298 >= 0, <= 360000;
var x299 >= 0, <= 360000;
var x300 >= 0, <= 360000;
var x301 >= 0, <= 360000;
var x302 >= 0, <= 300000;
var x303 >= 0, <= 300000;
var x304 >= 0, <= 300000;
var x305 >= 0, <= 300000;
var x306 >= 0, <= 300000;
var x307 >= 0, <= 300000;
var x308 >= 0, <= 300000;
var x309 >= 0, <= 600000;
var x310 >= 0, <= 600000;
var x311 >= 0, <= 600000;
var x312 >= 0, <= 600000;
var x313 >= 0, <= 600000;
var x314 >= 0, <= 600000;
var x315 >= 0, <= 600000;
var x316 >= 0, <= 270000;
var x317 >= 0, <= 270000;
var x318 >= 0, <= 270000;
var x319 >= 0, <= 270000;
var x320 >= 0, <= 270000;
var x321 >= 0, <= 270000;
var x322 >= 0, <= 270000;
var x323 >= 0, <= 660000;
var x324 >= 0, <= 660000;
var x325 >= 0, <= 660000;
var x326 >= 0, <= 660000;
var x327 >= 0, <= 660000;
var x328 >= 0, <= 660000;
var x329 >= 0, <= 660000;
var x330 >= 0, <= 270000;
var x331 >= 0, <= 270000;
var x332 >= 0, <= 270000;
var x333 >= 0, <= 270000;
var x334 >= 0, <= 270000;
var x335 >= 0, <= 270000;
var x336 >= 0, <= 270000;
var x337 >= 0, <= 0;
var x338 >= 0, <= 0;
var x339 >= 0, <= 0;
var x340 >= 0, <= 0;
var x341 >= 0, <= 0;
var x342 >= 0, <= 0;
var x343 >= 0, <= 0;
var x344 >= 0, <= 0;
var x345 >= 0, <= 0;
var x346 >= 0, <= 0;
var x347 >= 0, <= 0;
var x348 >= 0, <= 0;
var x349 >= 0, <= 0;
var x350 >= 0, <= 0;
var x351 >= 0, <= 0;
var x352 >= 0, <= 0;
var x353 >= 0, <= 0;
var x354 >= 0, <= 0;
var x355 >= 0, <= 0;
var x356 >= 0, <= 0;
var x357 >= 0, <= 0;
var x358 >= 0, <= 0;
var x359 >= 0, <= 0;
var x360 >= 0, <= 0;
var x361 >= 0, <= 0;
var x362 >= 0, <= 0;
var x363 >= 0, <= 0;
var x364 >= 0, <= 0;
var x365 >= 0, <= 0;
var x366 >= 0, <= 0;
var x367 >= 0, <= 0;
var x368 >= 0, <= 0;
var x369 >= 0, <= 0;
var x370 >= 0, <= 0;
var x371 >= 0, <= 0;
var x372 >= 0, <= 0;
var x373 >= 0, <= 0;
var x374 >= 0, <= 0;
var x375 >= 0, <= 0;
var x376 >= 0, <= 0;
var x377 >= 0, <= 0;
var x378 >= 0, <= 0;
var x379 >= 0, <= 0;
var x380 >= 0, <= 0;
var x381 >= 0, <= 0;
var x382 >= 0, <= 0;
var x383 >= 0, <= 0;
var x384 >= 0, <= 0;
var x385 >= 0, <= 0;
var x386 >= 0, <= 0;
var x387 >= 0, <= 0;
var x388 >= 0, <= 0;
var x389 >= 0, <= 0;
var x390 >= 0, <= 0;
var x391 >= 0, <= 0;
var x392 >= 0, <= 0;
var x393 >= 0, <= 0;
var x394 >= 0, <= 0;
var x395 >= 0, <= 0;
var x396 >= 0, <= 0;
var x397 >= 0, <= 0;
var x398 >= 0, <= 0;
var x399 >= 0, <= 0;
var x400 >= 0, <= 0;
var x401 >= 0, <= 0;
var x402 >= 0, <= 0;
var x403 >= 0, <= 0;
var x404 >= 0, <= 0;
var x405 >= 0, <= 0;
var x406 >= 0, <= 0;
var x407 >= 0, <= 0;
var x408 >= 0, <= 0;
var x409 >= 0, <= 0;
var x410 >= 0, <= 0;
var x411 >= 0, <= 0;
var x412 >= 0, <= 0;
var x413 >= 0, <= 0;
var x414 >= 0, <= 0;
var x415 >= 0, <= 0;
var x416 >= 0, <= 0;
var x417 >= 0, <= 0;
var x418 >= 0, <= 0;
var x419 >= 0, <= 0;
var x420 >= 0, <= 0;
var x421 >= 0, <= 480000;
var x422 >= 0, <= 480000;
var x423 >= 0, <= 480000;
var x424 >= 0, <= 480000;
var x425 >= 0, <= 480000;
var x426 >= 0, <= 480000;
var x427 >= 0, <= 480000;
var x428 >= 0, <= 540000;
var x429 >= 0, <= 540000;
var x430 >= 0, <= 540000;
var x431 >= 0, <= 540000;
var x432 >= 0, <= 540000;
var x433 >= 0, <= 540000;
var x434 >= 0, <= 540000;
var x435 >= 0, <= 720000;
var x436 >= 0, <= 720000;
var x437 >= 0, <= 720000;
var x438 >= 0, <= 720000;
var x439 >= 0, <= 720000;
var x440 >= 0, <= 720000;
var x441 >= 0, <= 720000;
var x442 >= 0, <= 360000;
var x443 >= 0, <= 360000;
var x444 >= 0, <= 360000;
var x445 >= 0, <= 360000;
var x446 >= 0, <= 360000;
var x447 >= 0, <= 360000;
var x448 >= 0, <= 360000;
var x449 >= 0, <= 600000;
var x450 >= 0, <= 600000;
var x451 >= 0, <= 600000;
var x452 >= 0, <= 600000;
var x453 >= 0, <= 600000;
var x454 >= 0, <= 600000;
var x455 >= 0, <= 600000;
var x456 >= 0, <= 660000;
var x457 >= 0, <= 660000;
var x458 >= 0, <= 660000;
var x459 >= 0, <= 660000;
var x460 >= 0, <= 660000;
var x461 >= 0, <= 660000;
var x462 >= 0, <= 660000;
var x463 >= 0, <= 540000;
var x464 >= 0, <= 720000;
var x465 >= 0, <= 660000;
var x466 >= 0, <= 0;
var x467 >= 0, <= 600;
var x468 >= 0, <= 600;
var x469 >= 0, <= 600;
var x470 >= 0, <= 600;
var x471 >= 0, <= 600;
var x472 >= 0, <= 600;
var x473 >= 0, <= 480000;
var x474 >= 0, <= 720000;
var x475 >= 0, <= 600000;
var x476 := 200, >= 200, <= 600;
var x477;

maximize obj: x477;

subject to

e1: x477*x476 + (0.00203*x428 + 0.00203*x429)*(x467 - x466) + (0.00203*x429 + 
    0.00203*x430)*(x468 - x467) + (0.00203*x430 + 0.00203*x431)*(x469 - x468)
     + (0.00203*x431 + 0.00203*x432)*(x470 - x469) + (0.00203*x432 + 0.00203*
    x433)*(x471 - x470) + (0.00203*x433 + 0.00203*x434)*(x472 - x471) + (
    0.00203*x428 + 0.00203*x434)*(x476 - x472) + (0.00203*x442 + 0.00203*x443)*
    (x467 - x466) + (0.00203*x443 + 0.00203*x444)*(x468 - x467) + (0.00203*x444
     + 0.00203*x445)*(x469 - x468) + (0.00203*x445 + 0.00203*x446)*(x470 - x469
    ) + (0.00203*x446 + 0.00203*x447)*(x471 - x470) + (0.00203*x447 + 0.00203*
    x448)*(x472 - x471) + (0.00203*x442 + 0.00203*x448)*(x476 - x472) + (
    0.00203*x456 + 0.00203*x457)*(x467 - x466) + (0.00203*x457 + 0.00203*x458)*
    (x468 - x467) + (0.00203*x458 + 0.00203*x459)*(x469 - x468) + (0.00203*x459
     + 0.00203*x460)*(x470 - x469) + (0.00203*x460 + 0.00203*x461)*(x471 - x470
    ) + (0.00203*x461 + 0.00203*x462)*(x472 - x471) + (0.00203*x456 + 0.00203*
    x462)*(x476 - x472) + 3800*b85 + 3800*b86 + 3800*b87 + 3800*b88 + 3800*b89
     + 3800*b90 + 3800*b91 + 6080*b92 + 6080*b93 + 6080*b94 + 6080*b95
     + 6080*b96 + 6080*b97 + 6080*b98 + 7500*b99 + 7500*b100 + 7500*b101
     + 7500*b102 + 7500*b103 + 7500*b104 + 7500*b105 + 2250*b106 + 2250*b107
     + 2250*b108 + 2250*b109 + 2250*b110 + 2250*b111 + 2250*b112 + 3080*b113
     + 3080*b114 + 3080*b115 + 3080*b116 + 3080*b117 + 3080*b118 + 3080*b119
     + 5390*b120 + 5390*b121 + 5390*b122 + 5390*b123 + 5390*b124 + 5390*b125
     + 5390*b126 + 6840*b127 + 6840*b128 + 6840*b129 + 6840*b130 + 6840*b131
     + 6840*b132 + 6840*b133 + 8360*b134 + 8360*b135 + 8360*b136 + 8360*b137
     + 8360*b138 + 8360*b139 + 8360*b140 + 3750*b141 + 3750*b142 + 3750*b143
     + 3750*b144 + 3750*b145 + 3750*b146 + 3750*b147 + 5250*b148 + 5250*b149
     + 5250*b150 + 5250*b151 + 5250*b152 + 5250*b153 + 5250*b154 + 4620*b155
     + 4620*b156 + 4620*b157 + 4620*b158 + 4620*b159 + 4620*b160 + 4620*b161
     + 3080*b162 + 3080*b163 + 3080*b164 + 3080*b165 + 3080*b166 + 3080*b167
     + 3080*b168 + 8360*b169 + 8360*b170 + 8360*b171 + 8360*b172 + 8360*b173
     + 8360*b174 + 8360*b175 + 760*b176 + 760*b177 + 760*b178 + 760*b179
     + 760*b180 + 760*b181 + 760*b182 + 1500*b183 + 1500*b184 + 1500*b185
     + 1500*b186 + 1500*b187 + 1500*b188 + 1500*b189 + 3750*b190 + 3750*b191
     + 3750*b192 + 3750*b193 + 3750*b194 + 3750*b195 + 3750*b196 + 4620*b197
     + 4620*b198 + 4620*b199 + 4620*b200 + 4620*b201 + 4620*b202 + 4620*b203
     + 770*b204 + 770*b205 + 770*b206 + 770*b207 + 770*b208 + 770*b209
     + 770*b210 + 6840*b211 + 6840*b212 + 6840*b213 + 6840*b214 + 6840*b215
     + 6840*b216 + 6840*b217 + 8360*b218 + 8360*b219 + 8360*b220 + 8360*b221
     + 8360*b222 + 8360*b223 + 8360*b224 + 3750*b225 + 3750*b226 + 3750*b227
     + 3750*b228 + 3750*b229 + 3750*b230 + 3750*b231 + 5250*b232 + 5250*b233
     + 5250*b234 + 5250*b235 + 5250*b236 + 5250*b237 + 5250*b238 + 4620*b239
     + 4620*b240 + 4620*b241 + 4620*b242 + 4620*b243 + 4620*b244 + 4620*b245
     + 3080*b246 + 3080*b247 + 3080*b248 + 3080*b249 + 3080*b250 + 3080*b251
     + 3080*b252 - 0.15*x463 - 0.4*x464 - 0.65*x465 + 0.1406*x473 + 0.1406*x474
     + 0.1406*x475 = 0;

e2:    b1 - b7 + b85 + b92 - b105 - b119 + x337 - x343 = 0;

e3:  - b1 + b2 + b86 + b93 - b99 - b113 - x337 + x338 = 0;

e4:  - b2 + b3 + b87 + b94 - b100 - b114 - x338 + x339 = 0;

e5:  - b3 + b4 + b88 + b95 - b101 - b115 - x339 + x340 = 0;

e6:  - b4 + b5 + b89 + b96 - b102 - b116 - x340 + x341 = 0;

e7:  - b5 + b6 + b90 + b97 - b103 - b117 - x341 + x342 = 0;

e8:  - b6 + b7 + b91 + b98 - b104 - b118 - x342 + x343 = 0;

e9:    b29 - b35 - b91 + b99 + b106 - b126 + x344 - x350 = 0;

e10:  - b29 + b30 - b85 + b100 + b107 - b120 - x344 + x345 = 0;

e11:  - b30 + b31 - b86 + b101 + b108 - b121 - x345 + x346 = 0;

e12:  - b31 + b32 - b87 + b102 + b109 - b122 - x346 + x347 = 0;

e13:  - b32 + b33 - b88 + b103 + b110 - b123 - x347 + x348 = 0;

e14:  - b33 + b34 - b89 + b104 + b111 - b124 - x348 + x349 = 0;

e15:  - b34 + b35 - b90 + b105 + b112 - b125 - x349 + x350 = 0;

e16:    b57 - b63 - b98 - b112 + b113 + b120 + x351 - x357 = 0;

e17:  - b57 + b58 - b92 - b106 + b114 + b121 - x351 + x352 = 0;

e18:  - b58 + b59 - b93 - b107 + b115 + b122 - x352 + x353 = 0;

e19:  - b59 + b60 - b94 - b108 + b116 + b123 - x353 + x354 = 0;

e20:  - b60 + b61 - b95 - b109 + b117 + b124 - x354 + x355 = 0;

e21:  - b61 + b62 - b96 - b110 + b118 + b125 - x355 + x356 = 0;

e22:  - b62 + b63 - b97 - b111 + b119 + b126 - x356 + x357 = 0;

e23:    b8 - b14 + b127 + b134 - b147 - b161 + x358 - x364 = 0;

e24:  - b8 + b9 + b128 + b135 - b141 - b155 - x358 + x359 = 0;

e25:  - b9 + b10 + b129 + b136 - b142 - b156 - x359 + x360 = 0;

e26:  - b10 + b11 + b130 + b137 - b143 - b157 - x360 + x361 = 0;

e27:  - b11 + b12 + b131 + b138 - b144 - b158 - x361 + x362 = 0;

e28:  - b12 + b13 + b132 + b139 - b145 - b159 - x362 + x363 = 0;

e29:  - b13 + b14 + b133 + b140 - b146 - b160 - x363 + x364 = 0;

e30:    b36 - b42 - b133 + b141 + b148 - b168 + x365 - x371 = 0;

e31:  - b36 + b37 - b127 + b142 + b149 - b162 - x365 + x366 = 0;

e32:  - b37 + b38 - b128 + b143 + b150 - b163 - x366 + x367 = 0;

e33:  - b38 + b39 - b129 + b144 + b151 - b164 - x367 + x368 = 0;

e34:  - b39 + b40 - b130 + b145 + b152 - b165 - x368 + x369 = 0;

e35:  - b40 + b41 - b131 + b146 + b153 - b166 - x369 + x370 = 0;

e36:  - b41 + b42 - b132 + b147 + b154 - b167 - x370 + x371 = 0;

e37:    b64 - b70 - b140 - b154 + b155 + b162 + x372 - x378 = 0;

e38:  - b64 + b65 - b134 - b148 + b156 + b163 - x372 + x373 = 0;

e39:  - b65 + b66 - b135 - b149 + b157 + b164 - x373 + x374 = 0;

e40:  - b66 + b67 - b136 - b150 + b158 + b165 - x374 + x375 = 0;

e41:  - b67 + b68 - b137 - b151 + b159 + b166 - x375 + x376 = 0;

e42:  - b68 + b69 - b138 - b152 + b160 + b167 - x376 + x377 = 0;

e43:  - b69 + b70 - b139 - b153 + b161 + b168 - x377 + x378 = 0;

e44:    b15 - b21 + b169 + b176 - b189 - b203 + x379 - x385 = 0;

e45:  - b15 + b16 + b170 + b177 - b183 - b197 - x379 + x380 = 0;

e46:  - b16 + b17 + b171 + b178 - b184 - b198 - x380 + x381 = 0;

e47:  - b17 + b18 + b172 + b179 - b185 - b199 - x381 + x382 = 0;

e48:  - b18 + b19 + b173 + b180 - b186 - b200 - x382 + x383 = 0;

e49:  - b19 + b20 + b174 + b181 - b187 - b201 - x383 + x384 = 0;

e50:  - b20 + b21 + b175 + b182 - b188 - b202 - x384 + x385 = 0;

e51:    b43 - b49 - b175 + b183 + b190 - b210 + x386 - x392 = 0;

e52:  - b43 + b44 - b169 + b184 + b191 - b204 - x386 + x387 = 0;

e53:  - b44 + b45 - b170 + b185 + b192 - b205 - x387 + x388 = 0;

e54:  - b45 + b46 - b171 + b186 + b193 - b206 - x388 + x389 = 0;

e55:  - b46 + b47 - b172 + b187 + b194 - b207 - x389 + x390 = 0;

e56:  - b47 + b48 - b173 + b188 + b195 - b208 - x390 + x391 = 0;

e57:  - b48 + b49 - b174 + b189 + b196 - b209 - x391 + x392 = 0;

e58:    b71 - b77 - b182 - b196 + b197 + b204 + x393 - x399 = 0;

e59:  - b71 + b72 - b176 - b190 + b198 + b205 - x393 + x394 = 0;

e60:  - b72 + b73 - b177 - b191 + b199 + b206 - x394 + x395 = 0;

e61:  - b73 + b74 - b178 - b192 + b200 + b207 - x395 + x396 = 0;

e62:  - b74 + b75 - b179 - b193 + b201 + b208 - x396 + x397 = 0;

e63:  - b75 + b76 - b180 - b194 + b202 + b209 - x397 + x398 = 0;

e64:  - b76 + b77 - b181 - b195 + b203 + b210 - x398 + x399 = 0;

e65:    b22 - b28 + b211 + b218 - b231 - b245 + x400 - x406 = 0;

e66:  - b22 + b23 + b212 + b219 - b225 - b239 - x400 + x401 = 0;

e67:  - b23 + b24 + b213 + b220 - b226 - b240 - x401 + x402 = 0;

e68:  - b24 + b25 + b214 + b221 - b227 - b241 - x402 + x403 = 0;

e69:  - b25 + b26 + b215 + b222 - b228 - b242 - x403 + x404 = 0;

e70:  - b26 + b27 + b216 + b223 - b229 - b243 - x404 + x405 = 0;

e71:  - b27 + b28 + b217 + b224 - b230 - b244 - x405 + x406 = 0;

e72:    b50 - b56 - b217 + b225 + b232 - b252 + x407 - x413 = 0;

e73:  - b50 + b51 - b211 + b226 + b233 - b246 - x407 + x408 = 0;

e74:  - b51 + b52 - b212 + b227 + b234 - b247 - x408 + x409 = 0;

e75:  - b52 + b53 - b213 + b228 + b235 - b248 - x409 + x410 = 0;

e76:  - b53 + b54 - b214 + b229 + b236 - b249 - x410 + x411 = 0;

e77:  - b54 + b55 - b215 + b230 + b237 - b250 - x411 + x412 = 0;

e78:  - b55 + b56 - b216 + b231 + b238 - b251 - x412 + x413 = 0;

e79:    b78 - b84 - b224 - b238 + b239 + b246 + x414 - x420 = 0;

e80:  - b78 + b79 - b218 - b232 + b240 + b247 - x414 + x415 = 0;

e81:  - b79 + b80 - b219 - b233 + b241 + b248 - x415 + x416 = 0;

e82:  - b80 + b81 - b220 - b234 + b242 + b249 - x416 + x417 = 0;

e83:  - b81 + b82 - b221 - b235 + b243 + b250 - x417 + x418 = 0;

e84:  - b82 + b83 - b222 - b236 + b244 + b251 - x418 + x419 = 0;

e85:  - b83 + b84 - b223 - b237 + b245 + b252 - x419 + x420 = 0;

e86:  - x259 - x266 + x273 + x280 + x421 - x427 = 0;

e87:  - x253 - x260 + x267 + x274 - x421 + x422 = 0;

e88:  - x254 - x261 + x268 + x275 - x422 + x423 = 0;

e89:  - x255 - x262 + x269 + x276 - x423 + x424 = 0;

e90:  - x256 - x263 + x270 + x277 - x424 + x425 = 0;

e91:  - x257 - x264 + x271 + x278 - x425 + x426 = 0;

e92:  - x258 - x265 + x272 + x279 - x426 + x427 = 0;

e93: x463/x476*(x476 - x472) - x273 - x280 + x428 - x434 = 0;

e94: x463/x476*(x467 - x466) - x267 - x274 - x428 + x429 = 0;

e95: x463/x476*(x468 - x467) - x268 - x275 - x429 + x430 = 0;

e96: x463/x476*(x469 - x468) - x269 - x276 - x430 + x431 = 0;

e97: x463/x476*(x470 - x469) - x270 - x277 - x431 + x432 = 0;

e98: x463/x476*(x471 - x470) - x271 - x278 - x432 + x433 = 0;

e99: x463/x476*(x472 - x471) - x272 - x279 - x433 + x434 = 0;

e100:  - x287 - x294 + x301 + x308 + x435 - x441 = 0;

e101:  - x281 - x288 + x295 + x302 - x435 + x436 = 0;

e102:  - x282 - x289 + x296 + x303 - x436 + x437 = 0;

e103:  - x283 - x290 + x297 + x304 - x437 + x438 = 0;

e104:  - x284 - x291 + x298 + x305 - x438 + x439 = 0;

e105:  - x285 - x292 + x299 + x306 - x439 + x440 = 0;

e106:  - x286 - x293 + x300 + x307 - x440 + x441 = 0;

e107: x464/x476*(x476 - x472) - x301 - x308 + x442 - x448 = 0;

e108: x464/x476*(x467 - x466) - x295 - x302 - x442 + x443 = 0;

e109: x464/x476*(x468 - x467) - x296 - x303 - x443 + x444 = 0;

e110: x464/x476*(x469 - x468) - x297 - x304 - x444 + x445 = 0;

e111: x464/x476*(x470 - x469) - x298 - x305 - x445 + x446 = 0;

e112: x464/x476*(x471 - x470) - x299 - x306 - x446 + x447 = 0;

e113: x464/x476*(x472 - x471) - x300 - x307 - x447 + x448 = 0;

e114:  - x315 - x322 + x329 + x336 + x449 - x455 = 0;

e115:  - x309 - x316 + x323 + x330 - x449 + x450 = 0;

e116:  - x310 - x317 + x324 + x331 - x450 + x451 = 0;

e117:  - x311 - x318 + x325 + x332 - x451 + x452 = 0;

e118:  - x312 - x319 + x326 + x333 - x452 + x453 = 0;

e119:  - x313 - x320 + x327 + x334 - x453 + x454 = 0;

e120:  - x314 - x321 + x328 + x335 - x454 + x455 = 0;

e121: x465/x476*(x476 - x472) - x329 - x336 + x456 - x462 = 0;

e122: x465/x476*(x467 - x466) - x323 - x330 - x456 + x457 = 0;

e123: x465/x476*(x468 - x467) - x324 - x331 - x457 + x458 = 0;

e124: x465/x476*(x469 - x468) - x325 - x332 - x458 + x459 = 0;

e125: x465/x476*(x470 - x469) - x326 - x333 - x459 + x460 = 0;

e126: x465/x476*(x471 - x470) - x327 - x334 - x460 + x461 = 0;

e127: x465/x476*(x472 - x471) - x328 - x335 - x461 + x462 = 0;

e128:    b1 + b29 + b57 + b85 + b92 + b99 + b106 + b113 + b120 + x337 + x344
       + x351 = 1;

e129:    b8 + b36 + b64 + b127 + b134 + b141 + b148 + b155 + b162 + x358 + x365
       + x372 = 1;

e130:    b15 + b43 + b71 + b169 + b176 + b183 + b190 + b197 + b204 + x379
       + x386 + x393 = 1;

e131:    b22 + b50 + b78 + b211 + b218 + b225 + b232 + b239 + b246 + x400
       + x407 + x414 = 1;

e132:  - 5*b85 - 8*b92 - 10*b99 - 3*b106 - 4*b113 - 7*b120 - 0.00125*x253
       - 0.000833333333333333*x281 - 0.001*x309 - x466 + x467 >= 0;

e133:  - 5*b86 - 8*b93 - 10*b100 - 3*b107 - 4*b114 - 7*b121 - 0.00125*x254
       - 0.000833333333333333*x282 - 0.001*x310 - x467 + x468 >= 0;

e134:  - 5*b87 - 8*b94 - 10*b101 - 3*b108 - 4*b115 - 7*b122 - 0.00125*x255
       - 0.000833333333333333*x283 - 0.001*x311 - x468 + x469 >= 0;

e135:  - 5*b88 - 8*b95 - 10*b102 - 3*b109 - 4*b116 - 7*b123 - 0.00125*x256
       - 0.000833333333333333*x284 - 0.001*x312 - x469 + x470 >= 0;

e136:  - 5*b89 - 8*b96 - 10*b103 - 3*b110 - 4*b117 - 7*b124 - 0.00125*x257
       - 0.000833333333333333*x285 - 0.001*x313 - x470 + x471 >= 0;

e137:  - 5*b90 - 8*b97 - 10*b104 - 3*b111 - 4*b118 - 7*b125 - 0.00125*x258
       - 0.000833333333333333*x286 - 0.001*x314 - x471 + x472 >= 0;

e138:  - 5*b91 - 8*b98 - 10*b105 - 3*b112 - 4*b119 - 7*b126 - 0.00125*x259
       - 0.000833333333333333*x287 - 0.001*x315 - x472 + x476 >= 0;

e139:  - 9*b127 - 11*b134 - 5*b141 - 7*b148 - 6*b155 - 4*b162 - 0.0025*x260
       - 0.002*x288 - 0.00222222222222222*x316 - x466 + x467 >= 0;

e140:  - 9*b128 - 11*b135 - 5*b142 - 7*b149 - 6*b156 - 4*b163 - 0.0025*x261
       - 0.002*x289 - 0.00222222222222222*x317 - x467 + x468 >= 0;

e141:  - 9*b129 - 11*b136 - 5*b143 - 7*b150 - 6*b157 - 4*b164 - 0.0025*x262
       - 0.002*x290 - 0.00222222222222222*x318 - x468 + x469 >= 0;

e142:  - 9*b130 - 11*b137 - 5*b144 - 7*b151 - 6*b158 - 4*b165 - 0.0025*x263
       - 0.002*x291 - 0.00222222222222222*x319 - x469 + x470 >= 0;

e143:  - 9*b131 - 11*b138 - 5*b145 - 7*b152 - 6*b159 - 4*b166 - 0.0025*x264
       - 0.002*x292 - 0.00222222222222222*x320 - x470 + x471 >= 0;

e144:  - 9*b132 - 11*b139 - 5*b146 - 7*b153 - 6*b160 - 4*b167 - 0.0025*x265
       - 0.002*x293 - 0.00222222222222222*x321 - x471 + x472 >= 0;

e145:  - 9*b133 - 11*b140 - 5*b147 - 7*b154 - 6*b161 - 4*b168 - 0.0025*x266
       - 0.002*x294 - 0.00222222222222222*x322 - x472 + x476 >= 0;

e146:  - 11*b169 - b176 - 2*b183 - 5*b190 - 6*b197 - b204
       - 0.00111111111111111*x267 - 0.00166666666666667*x295
       - 0.000909090909090909*x323 - x466 + x467 >= 0;

e147:  - 11*b170 - b177 - 2*b184 - 5*b191 - 6*b198 - b205
       - 0.00111111111111111*x268 - 0.00166666666666667*x296
       - 0.000909090909090909*x324 - x467 + x468 >= 0;

e148:  - 11*b171 - b178 - 2*b185 - 5*b192 - 6*b199 - b206
       - 0.00111111111111111*x269 - 0.00166666666666667*x297
       - 0.000909090909090909*x325 - x468 + x469 >= 0;

e149:  - 11*b172 - b179 - 2*b186 - 5*b193 - 6*b200 - b207
       - 0.00111111111111111*x270 - 0.00166666666666667*x298
       - 0.000909090909090909*x326 - x469 + x470 >= 0;

e150:  - 11*b173 - b180 - 2*b187 - 5*b194 - 6*b201 - b208
       - 0.00111111111111111*x271 - 0.00166666666666667*x299
       - 0.000909090909090909*x327 - x470 + x471 >= 0;

e151:  - 11*b174 - b181 - 2*b188 - 5*b195 - 6*b202 - b209
       - 0.00111111111111111*x272 - 0.00166666666666667*x300
       - 0.000909090909090909*x328 - x471 + x472 >= 0;

e152:  - 11*b175 - b182 - 2*b189 - 5*b196 - 6*b203 - b210
       - 0.00111111111111111*x273 - 0.00166666666666667*x301
       - 0.000909090909090909*x329 - x472 + x476 >= 0;

e153:  - 9*b211 - 11*b218 - 5*b225 - 7*b232 - 6*b239 - 4*b246 - 0.0025*x274
       - 0.002*x302 - 0.00222222222222222*x330 - x466 + x467 >= 0;

e154:  - 9*b212 - 11*b219 - 5*b226 - 7*b233 - 6*b240 - 4*b247 - 0.0025*x275
       - 0.002*x303 - 0.00222222222222222*x331 - x467 + x468 >= 0;

e155:  - 9*b213 - 11*b220 - 5*b227 - 7*b234 - 6*b241 - 4*b248 - 0.0025*x276
       - 0.002*x304 - 0.00222222222222222*x332 - x468 + x469 >= 0;

e156:  - 9*b214 - 11*b221 - 5*b228 - 7*b235 - 6*b242 - 4*b249 - 0.0025*x277
       - 0.002*x305 - 0.00222222222222222*x333 - x469 + x470 >= 0;

e157:  - 9*b215 - 11*b222 - 5*b229 - 7*b236 - 6*b243 - 4*b250 - 0.0025*x278
       - 0.002*x306 - 0.00222222222222222*x334 - x470 + x471 >= 0;

e158:  - 9*b216 - 11*b223 - 5*b230 - 7*b237 - 6*b244 - 4*b251 - 0.0025*x279
       - 0.002*x307 - 0.00222222222222222*x335 - x471 + x472 >= 0;

e159:  - 9*b217 - 11*b224 - 5*b231 - 7*b238 - 6*b245 - 4*b252 - 0.0025*x280
       - 0.002*x308 - 0.00222222222222222*x336 - x472 + x476 >= 0;

e160:  - 480000*b1 + x253 <= 0;

e161:  - 480000*b2 + x254 <= 0;

e162:  - 480000*b3 + x255 <= 0;

e163:  - 480000*b4 + x256 <= 0;

e164:  - 480000*b5 + x257 <= 0;

e165:  - 480000*b6 + x258 <= 0;

e166:  - 480000*b7 + x259 <= 0;

e167:  - 240000*b8 + x260 <= 0;

e168:  - 240000*b9 + x261 <= 0;

e169:  - 240000*b10 + x262 <= 0;

e170:  - 240000*b11 + x263 <= 0;

e171:  - 240000*b12 + x264 <= 0;

e172:  - 240000*b13 + x265 <= 0;

e173:  - 240000*b14 + x266 <= 0;

e174:  - 540000*b15 + x267 <= 0;

e175:  - 540000*b16 + x268 <= 0;

e176:  - 540000*b17 + x269 <= 0;

e177:  - 540000*b18 + x270 <= 0;

e178:  - 540000*b19 + x271 <= 0;

e179:  - 540000*b20 + x272 <= 0;

e180:  - 540000*b21 + x273 <= 0;

e181:  - 240000*b22 + x274 <= 0;

e182:  - 240000*b23 + x275 <= 0;

e183:  - 240000*b24 + x276 <= 0;

e184:  - 240000*b25 + x277 <= 0;

e185:  - 240000*b26 + x278 <= 0;

e186:  - 240000*b27 + x279 <= 0;

e187:  - 240000*b28 + x280 <= 0;

e188:  - 720000*b29 + x281 <= 0;

e189:  - 720000*b30 + x282 <= 0;

e190:  - 720000*b31 + x283 <= 0;

e191:  - 720000*b32 + x284 <= 0;

e192:  - 720000*b33 + x285 <= 0;

e193:  - 720000*b34 + x286 <= 0;

e194:  - 720000*b35 + x287 <= 0;

e195:  - 300000*b36 + x288 <= 0;

e196:  - 300000*b37 + x289 <= 0;

e197:  - 300000*b38 + x290 <= 0;

e198:  - 300000*b39 + x291 <= 0;

e199:  - 300000*b40 + x292 <= 0;

e200:  - 300000*b41 + x293 <= 0;

e201:  - 300000*b42 + x294 <= 0;

e202:  - 360000*b43 + x295 <= 0;

e203:  - 360000*b44 + x296 <= 0;

e204:  - 360000*b45 + x297 <= 0;

e205:  - 360000*b46 + x298 <= 0;

e206:  - 360000*b47 + x299 <= 0;

e207:  - 360000*b48 + x300 <= 0;

e208:  - 360000*b49 + x301 <= 0;

e209:  - 300000*b50 + x302 <= 0;

e210:  - 300000*b51 + x303 <= 0;

e211:  - 300000*b52 + x304 <= 0;

e212:  - 300000*b53 + x305 <= 0;

e213:  - 300000*b54 + x306 <= 0;

e214:  - 300000*b55 + x307 <= 0;

e215:  - 300000*b56 + x308 <= 0;

e216:  - 600000*b57 + x309 <= 0;

e217:  - 600000*b58 + x310 <= 0;

e218:  - 600000*b59 + x311 <= 0;

e219:  - 600000*b60 + x312 <= 0;

e220:  - 600000*b61 + x313 <= 0;

e221:  - 600000*b62 + x314 <= 0;

e222:  - 600000*b63 + x315 <= 0;

e223:  - 270000*b64 + x316 <= 0;

e224:  - 270000*b65 + x317 <= 0;

e225:  - 270000*b66 + x318 <= 0;

e226:  - 270000*b67 + x319 <= 0;

e227:  - 270000*b68 + x320 <= 0;

e228:  - 270000*b69 + x321 <= 0;

e229:  - 270000*b70 + x322 <= 0;

e230:  - 660000*b71 + x323 <= 0;

e231:  - 660000*b72 + x324 <= 0;

e232:  - 660000*b73 + x325 <= 0;

e233:  - 660000*b74 + x326 <= 0;

e234:  - 660000*b75 + x327 <= 0;

e235:  - 660000*b76 + x328 <= 0;

e236:  - 660000*b77 + x329 <= 0;

e237:  - 270000*b78 + x330 <= 0;

e238:  - 270000*b79 + x331 <= 0;

e239:  - 270000*b80 + x332 <= 0;

e240:  - 270000*b81 + x333 <= 0;

e241:  - 270000*b82 + x334 <= 0;

e242:  - 270000*b83 + x335 <= 0;

e243:  - 270000*b84 + x336 <= 0;

e244:    x463 - 50*x476 >= 0;

e245:    x464 - 100*x476 >= 0;

e246:    x465 - 250*x476 >= 0;

e247:    x421 - x473 <= 0;

e248:    x422 - x473 <= 0;

e249:    x423 - x473 <= 0;

e250:    x424 - x473 <= 0;

e251:    x425 - x473 <= 0;

e252:    x426 - x473 <= 0;

e253:    x427 - x473 <= 0;

e254:    x435 - x474 <= 0;

e255:    x436 - x474 <= 0;

e256:    x437 - x474 <= 0;

e257:    x438 - x474 <= 0;

e258:    x439 - x474 <= 0;

e259:    x440 - x474 <= 0;

e260:    x441 - x474 <= 0;

e261:    x449 - x475 <= 0;

e262:    x450 - x475 <= 0;

e263:    x451 - x475 <= 0;

e264:    x452 - x475 <= 0;

e265:    x453 - x475 <= 0;

e266:    x454 - x475 <= 0;

e267:    x455 - x475 <= 0;

e268:    b85 + b86 + b87 + b88 + b89 + b90 + b91 + b92 + b93 + b94 + b95 + b96
       + b97 + b98 + b99 + b100 + b101 + b102 + b103 + b104 + b105 + b106
       + b107 + b108 + b109 + b110 + b111 + b112 + b113 + b114 + b115 + b116
       + b117 + b118 + b119 + b120 + b121 + b122 + b123 + b124 + b125 + b126
       + b127 + b128 + b129 + b130 + b131 + b132 + b133 + b134 + b135 + b136
       + b137 + b138 + b139 + b140 + b141 + b142 + b143 + b144 + b145 + b146
       + b147 + b148 + b149 + b150 + b151 + b152 + b153 + b154 + b155 + b156
       + b157 + b158 + b159 + b160 + b161 + b162 + b163 + b164 + b165 + b166
       + b167 + b168 <= 3;

e269:    b169 + b170 + b171 + b172 + b173 + b174 + b175 + b176 + b177 + b178
       + b179 + b180 + b181 + b182 + b183 + b184 + b185 + b186 + b187 + b188
       + b189 + b190 + b191 + b192 + b193 + b194 + b195 + b196 + b197 + b198
       + b199 + b200 + b201 + b202 + b203 + b204 + b205 + b206 + b207 + b208
       + b209 + b210 + b211 + b212 + b213 + b214 + b215 + b216 + b217 + b218
       + b219 + b220 + b221 + b222 + b223 + b224 + b225 + b226 + b227 + b228
       + b229 + b230 + b231 + b232 + b233 + b234 + b235 + b236 + b237 + b238
       + b239 + b240 + b241 + b242 + b243 + b244 + b245 + b246 + b247 + b248
       + b249 + b250 + b251 + b252 <= 3;

e270:    b1 + b8 = 1;