# MINLP written by GAMS Convert at 03/18/26 11:20:25
#
# Equation counts
#     Total        E        G        L        N        X        C        B
#      1540      270        0     1270        0        0        0        0
#
# Variable counts
#                  x        b        i      s1s      s2s       sc       si
#     Total     cont   binary  integer     sos1     sos2    scont     sint
#       730      505      225        0        0        0        0        0
# FX     20
#
# Nonzero counts
#     Total    const       NL
#      5406     3326     2080
#
# Reformulation has removed 1 variable and 1 equation

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 x226 >= 0, <= 50;
var x227 >= 0, <= 50;
var x228 >= 0, <= 50;
var x229 >= 0, <= 50;
var x230 >= 0, <= 50;
var x231 >= 0, <= 50;
var x232 >= 0, <= 50;
var x233 >= 0, <= 50;
var x234 >= 0, <= 50;
var x235 >= 0, <= 50;
var x236 >= 0, <= 50;
var x237 >= 0, <= 50;
var x238 >= 0, <= 50;
var x239 >= 0, <= 50;
var x240 >= 0, <= 50;
var x241 >= 0, <= 50;
var x242 >= 0, <= 50;
var x243 >= 0, <= 50;
var x244 >= 0, <= 50;
var x245 >= 0, <= 50;
var x246 >= 0, <= 50;
var x247 >= 0, <= 50;
var x248 >= 0, <= 50;
var x249 >= 0, <= 50;
var x250 >= 0, <= 50;
var x251 >= 0, <= 50;
var x252 >= 0, <= 50;
var x253 >= 0, <= 50;
var x254 >= 0, <= 50;
var x255 >= 0, <= 50;
var x256 >= 0, <= 50;
var x257 >= 0, <= 50;
var x258 >= 0, <= 50;
var x259 >= 0, <= 50;
var x260 >= 0, <= 50;
var x261 >= 0, <= 50;
var x262 >= 0, <= 50;
var x263 >= 0, <= 50;
var x264 >= 0, <= 50;
var x265 >= 0, <= 50;
var x266 >= 0, <= 50;
var x267 >= 0, <= 50;
var x268 >= 0, <= 50;
var x269 >= 0, <= 50;
var x270 >= 0, <= 50;
var x271 >= 0, <= 50;
var x272 >= 0, <= 50;
var x273 >= 0, <= 50;
var x274 >= 0, <= 50;
var x275 >= 0, <= 50;
var x276 >= 0, <= 50;
var x277 >= 0, <= 50;
var x278 >= 0, <= 50;
var x279 >= 0, <= 50;
var x280 >= 0, <= 50;
var x281 >= 0, <= 50;
var x282 >= 0, <= 50;
var x283 >= 0, <= 50;
var x284 >= 0, <= 50;
var x285 >= 0, <= 50;
var x286 >= 0, <= 50;
var x287 >= 0, <= 50;
var x288 >= 0, <= 50;
var x289 >= 0, <= 50;
var x290 >= 0, <= 50;
var x291 >= 0, <= 50;
var x292 >= 0, <= 50;
var x293 >= 0, <= 50;
var x294 >= 0, <= 50;
var x295 >= 0, <= 50;
var x296 >= 0, <= 50;
var x297 >= 0, <= 50;
var x298 >= 0, <= 50;
var x299 >= 0, <= 50;
var x300 >= 0, <= 50;
var x301 >= 0, <= 50;
var x302 >= 0, <= 50;
var x303 >= 0, <= 50;
var x304 >= 0, <= 50;
var x305 >= 0, <= 50;
var x306 >= 0, <= 50;
var x307 >= 0, <= 50;
var x308 >= 0, <= 50;
var x309 >= 0, <= 50;
var x310 >= 0, <= 50;
var x311 >= 0, <= 50;
var x312 >= 0, <= 50;
var x313 >= 0, <= 50;
var x314 >= 0, <= 50;
var x315 >= 0, <= 50;
var x316 >= 0, <= 50;
var x317 >= 0, <= 50;
var x318 >= 0, <= 50;
var x319 >= 0, <= 50;
var x320 >= 0, <= 50;
var x321 >= 0, <= 50;
var x322 >= 0, <= 50;
var x323 >= 0, <= 50;
var x324 >= 0, <= 50;
var x325 >= 0, <= 50;
var x326 >= 0, <= 50;
var x327 >= 0, <= 50;
var x328 >= 0, <= 50;
var x329 >= 0, <= 50;
var x330 >= 0, <= 50;
var x331 >= 0, <= 50;
var x332 >= 0, <= 50;
var x333 >= 0, <= 50;
var x334 >= 0, <= 50;
var x335 >= 0, <= 50;
var x336 >= 0, <= 50;
var x337 >= 0, <= 50;
var x338 >= 0, <= 50;
var x339 >= 0, <= 50;
var x340 >= 0, <= 50;
var x341 >= 0, <= 50;
var x342 >= 0, <= 50;
var x343 >= 0, <= 50;
var x344 >= 0, <= 50;
var x345 >= 0, <= 50;
var x346 >= 0, <= 50;
var x347 >= 0, <= 50;
var x348 >= 0, <= 50;
var x349 >= 0, <= 50;
var x350 >= 0, <= 50;
var x351 >= 0, <= 50;
var x352 >= 0, <= 50;
var x353 >= 0, <= 50;
var x354 >= 0, <= 50;
var x355 >= 0, <= 50;
var x356 >= 0, <= 50;
var x357 >= 0, <= 50;
var x358 >= 0, <= 50;
var x359 >= 0, <= 50;
var x360 >= 0, <= 50;
var x361 >= 0, <= 50;
var x362 >= 0, <= 50;
var x363 >= 0, <= 50;
var x364 >= 0, <= 50;
var x365 >= 0, <= 50;
var x366 >= 0, <= 50;
var x367 >= 0, <= 50;
var x368 >= 0, <= 50;
var x369 >= 0, <= 50;
var x370 >= 0, <= 50;
var x371 >= 0, <= 50;
var x372 >= 0, <= 50;
var x373 >= 0, <= 50;
var x374 >= 0, <= 50;
var x375 >= 0, <= 50;
var x376 >= 0, <= 50;
var x377 >= 0, <= 50;
var x378 >= 0, <= 50;
var x379 >= 0, <= 50;
var x380 >= 0, <= 50;
var x381 >= 0, <= 50;
var x382 >= 0, <= 50;
var x383 >= 0, <= 50;
var x384 >= 0, <= 50;
var x385 >= 0, <= 50;
var x386 >= 0, <= 50;
var x387 >= 0, <= 50;
var x388 >= 0, <= 50;
var x389 >= 0, <= 50;
var x390 >= 0, <= 50;
var x391 >= 0, <= 50;
var x392 >= 0, <= 50;
var x393 >= 0, <= 50;
var x394 >= 0, <= 50;
var x395 >= 0, <= 50;
var x396 >= 0, <= 50;
var x397 >= 0, <= 50;
var x398 >= 0, <= 50;
var x399 >= 0, <= 50;
var x400 >= 0, <= 50;
var x401 >= 0, <= 50;
var x402 >= 0, <= 50;
var x403 >= 0, <= 50;
var x404 >= 0, <= 50;
var x405 >= 0, <= 50;
var x406 >= 0, <= 50;
var x407 >= 0, <= 50;
var x408 >= 0, <= 50;
var x409 >= 0, <= 50;
var x410 >= 0, <= 50;
var x411 >= 0, <= 50;
var x412 >= 0, <= 50;
var x413 >= 0, <= 50;
var x414 >= 0, <= 50;
var x415 >= 0, <= 50;
var x416 >= 0, <= 50;
var x417 >= 0, <= 50;
var x418 >= 0, <= 50;
var x419 >= 0, <= 50;
var x420 >= 0, <= 50;
var x421 >= 0, <= 50;
var x422 >= 0, <= 50;
var x423 >= 0, <= 50;
var x424 >= 0, <= 50;
var x425 >= 0, <= 50;
var x426 >= 0, <= 50;
var x427 >= 0, <= 50;
var x428 >= 0, <= 50;
var x429 >= 0, <= 50;
var x430 >= 0, <= 50;
var x431 >= 0, <= 50;
var x432 >= 0, <= 50;
var x433 >= 0, <= 50;
var x434 >= 0, <= 50;
var x435 >= 0, <= 50;
var x436 >= 0, <= 50;
var x437 >= 0, <= 50;
var x438 >= 0, <= 50;
var x439 >= 0, <= 50;
var x440 >= 0, <= 50;
var x441 >= 0, <= 50;
var x442 >= 0, <= 50;
var x443 >= 0, <= 50;
var x444 >= 0, <= 50;
var x445 >= 0, <= 50;
var x446 >= 0, <= 50;
var x447 >= 0, <= 50;
var x448 >= 0, <= 50;
var x449 >= 0, <= 50;
var x450 >= 0, <= 50;
var x451 >= 0, <= 4.98;
var x452 >= 0, <= 4.98;
var x453 >= 0, <= 4.98;
var x454 >= 0, <= 4.98;
var x455 >= 0, <= 4.98;
var x456 >= 0, <= 4.98;
var x457 >= 0, <= 4.98;
var x458 >= 0, <= 4.98;
var x459 >= 0, <= 4.98;
var x460 >= 0, <= 4.98;
var x461 >= 0, <= 4.98;
var x462 >= 0, <= 4.98;
var x463 >= 0, <= 4.98;
var x464 >= 0, <= 4.98;
var x465 >= 0, <= 4.98;
var x466 >= 0, <= 4.98;
var x467 >= 0, <= 4.98;
var x468 >= 0, <= 4.98;
var x469 >= 0, <= 4.98;
var x470 >= 0, <= 4.98;
var x471 >= 0, <= 1.45;
var x472 >= 0, <= 1.45;
var x473 >= 0, <= 1.45;
var x474 >= 0, <= 1.45;
var x475 >= 0, <= 1.45;
var x476 >= 0, <= 1.45;
var x477 >= 0, <= 1.45;
var x478 >= 0, <= 1.45;
var x479 >= 0, <= 1.45;
var x480 >= 0, <= 1.45;
var x481 >= 0, <= 1.45;
var x482 >= 0, <= 1.45;
var x483 >= 0, <= 1.45;
var x484 >= 0, <= 1.45;
var x485 >= 0, <= 1.45;
var x486 >= 0, <= 1.45;
var x487 >= 0, <= 1.45;
var x488 >= 0, <= 1.45;
var x489 >= 0, <= 1.45;
var x490 >= 0, <= 1.45;
var x491 >= 0, <= 1.31;
var x492 >= 0, <= 1.31;
var x493 >= 0, <= 1.31;
var x494 >= 0, <= 1.31;
var x495 >= 0, <= 1.31;
var x496 >= 0, <= 1.31;
var x497 >= 0, <= 1.31;
var x498 >= 0, <= 1.31;
var x499 >= 0, <= 1.31;
var x500 >= 0, <= 1.31;
var x501 >= 0, <= 1.31;
var x502 >= 0, <= 1.31;
var x503 >= 0, <= 1.31;
var x504 >= 0, <= 1.31;
var x505 >= 0, <= 1.31;
var x506 >= 0, <= 1.31;
var x507 >= 0, <= 1.31;
var x508 >= 0, <= 1.31;
var x509 >= 0, <= 1.31;
var x510 >= 0, <= 1.31;
var x511 >= 0, <= 1.64;
var x512 >= 0, <= 1.64;
var x513 >= 0, <= 1.64;
var x514 >= 0, <= 1.64;
var x515 >= 0, <= 1.64;
var x516 >= 0, <= 1.64;
var x517 >= 0, <= 1.64;
var x518 >= 0, <= 1.64;
var x519 >= 0, <= 1.64;
var x520 >= 0, <= 1.64;
var x521 >= 0, <= 1.64;
var x522 >= 0, <= 1.64;
var x523 >= 0, <= 1.64;
var x524 >= 0, <= 1.64;
var x525 >= 0, <= 1.64;
var x526 >= 0, <= 1.64;
var x527 >= 0, <= 1.64;
var x528 >= 0, <= 1.64;
var x529 >= 0, <= 1.64;
var x530 >= 0, <= 1.64;
var x531 >= 0, <= 0;
var x532 >= 0, <= 0;
var x533 >= 0, <= 0;
var x534 >= 0, <= 0;
var x535 >= 0, <= 0;
var x536 >= 0, <= 0;
var x537 >= 0, <= 0;
var x538 >= 0, <= 0;
var x539 >= 0, <= 0;
var x540 >= 0, <= 0;
var x541 >= 0, <= 43;
var x542 >= 0, <= 43;
var x543 >= 0, <= 43;
var x544 >= 0, <= 43;
var x545 >= 0, <= 43;
var x546 >= 0, <= 57;
var x547 >= 0, <= 57;
var x548 >= 0, <= 57;
var x549 >= 0, <= 57;
var x550 >= 0, <= 57;
var x551 >= 0, <= 54;
var x552 >= 0, <= 54;
var x553 >= 0, <= 54;
var x554 >= 0, <= 54;
var x555 >= 0, <= 54;
var x556 >= 0, <= 52;
var x557 >= 0, <= 52;
var x558 >= 0, <= 52;
var x559 >= 0, <= 52;
var x560 >= 0, <= 52;
var x561 >= 0, <= 42;
var x562 >= 0, <= 42;
var x563 >= 0, <= 42;
var x564 >= 0, <= 42;
var x565 >= 0, <= 42;
var x566 >= 0, <= 43;
var x567 >= 0, <= 43;
var x568 >= 0, <= 43;
var x569 >= 0, <= 43;
var x570 >= 0, <= 43;
var x571 >= 0, <= 53;
var x572 >= 0, <= 53;
var x573 >= 0, <= 53;
var x574 >= 0, <= 53;
var x575 >= 0, <= 53;
var x576 >= 0, <= 40;
var x577 >= 0, <= 40;
var x578 >= 0, <= 40;
var x579 >= 0, <= 40;
var x580 >= 0, <= 40;
var x581 >= 0, <= 43;
var x582 >= 0, <= 43;
var x583 >= 0, <= 43;
var x584 >= 0, <= 43;
var x585 >= 0, <= 43;
var x586 >= 0, <= 58;
var x587 >= 0, <= 58;
var x588 >= 0, <= 58;
var x589 >= 0, <= 58;
var x590 >= 0, <= 58;
var x591 >= 0, <= 0;
var x592 >= 0, <= 50;
var x593 >= 0, <= 0;
var x594 >= 0, <= 50;
var x595 >= 0, <= 0;
var x596 >= 0, <= 50;
var x597 >= 0, <= 0;
var x598 >= 0, <= 50;
var x599 >= 0, <= 0;
var x600 >= 0, <= 50;
var x601 >= 0, <= 0;
var x602 >= 0, <= 50;
var x603 >= 0, <= 0;
var x604 >= 0, <= 50;
var x605 >= 0, <= 0;
var x606 >= 0, <= 0;
var x607 >= 0, <= 0;
var x608 >= 0, <= 4.98;
var x609 >= 0, <= 4.98;
var x610 >= 0, <= 4.98;
var x611 >= 0, <= 4.98;
var x612 >= 0, <= 4.98;
var x613 >= 0, <= 4.98;
var x614 >= 0, <= 4.98;
var x615 >= 0, <= 4.98;
var x616 >= 0, <= 4.98;
var x617 >= 0, <= 4.98;
var x618 >= 0, <= 4.98;
var x619 >= 0, <= 4.98;
var x620 >= 0, <= 4.98;
var x621 >= 0, <= 4.98;
var x622 >= 0, <= 4.98;
var x623 >= 0, <= 4.98;
var x624 >= 0, <= 4.98;
var x625 >= 0, <= 4.98;
var x626 >= 0, <= 4.98;
var x627 >= 0, <= 4.98;
var x628 >= 0, <= 4.98;
var x629 >= 0, <= 4.98;
var x630 >= 0, <= 4.98;
var x631 >= 0, <= 4.98;
var x632 >= 0, <= 4.98;
var x633 >= 0, <= 4.98;
var x634 >= 0, <= 4.98;
var x635 >= 0, <= 4.98;
var x636 >= 0, <= 4.98;
var x637 >= 0, <= 4.98;
var x638 >= 0, <= 1.45;
var x639 >= 0, <= 1.45;
var x640 >= 0, <= 1.45;
var x641 >= 0, <= 1.45;
var x642 >= 0, <= 1.45;
var x643 >= 0, <= 1.45;
var x644 >= 0, <= 1.45;
var x645 >= 0, <= 1.45;
var x646 >= 0, <= 1.45;
var x647 >= 0, <= 1.45;
var x648 >= 0, <= 1.45;
var x649 >= 0, <= 1.45;
var x650 >= 0, <= 1.45;
var x651 >= 0, <= 1.45;
var x652 >= 0, <= 1.45;
var x653 >= 0, <= 1.45;
var x654 >= 0, <= 1.45;
var x655 >= 0, <= 1.45;
var x656 >= 0, <= 1.45;
var x657 >= 0, <= 1.45;
var x658 >= 0, <= 1.45;
var x659 >= 0, <= 1.45;
var x660 >= 0, <= 1.45;
var x661 >= 0, <= 1.45;
var x662 >= 0, <= 1.45;
var x663 >= 0, <= 1.45;
var x664 >= 0, <= 1.45;
var x665 >= 0, <= 1.45;
var x666 >= 0, <= 1.45;
var x667 >= 0, <= 1.45;
var x668 >= 0, <= 1.31;
var x669 >= 0, <= 1.31;
var x670 >= 0, <= 1.31;
var x671 >= 0, <= 1.31;
var x672 >= 0, <= 1.31;
var x673 >= 0, <= 1.31;
var x674 >= 0, <= 1.31;
var x675 >= 0, <= 1.31;
var x676 >= 0, <= 1.31;
var x677 >= 0, <= 1.31;
var x678 >= 0, <= 1.31;
var x679 >= 0, <= 1.31;
var x680 >= 0, <= 1.31;
var x681 >= 0, <= 1.31;
var x682 >= 0, <= 1.31;
var x683 >= 0, <= 1.31;
var x684 >= 0, <= 1.31;
var x685 >= 0, <= 1.31;
var x686 >= 0, <= 1.31;
var x687 >= 0, <= 1.31;
var x688 >= 0, <= 1.31;
var x689 >= 0, <= 1.31;
var x690 >= 0, <= 1.31;
var x691 >= 0, <= 1.31;
var x692 >= 0, <= 1.31;
var x693 >= 0, <= 1.31;
var x694 >= 0, <= 1.31;
var x695 >= 0, <= 1.31;
var x696 >= 0, <= 1.31;
var x697 >= 0, <= 1.31;
var x698 >= 0, <= 1.64;
var x699 >= 0, <= 1.64;
var x700 >= 0, <= 1.64;
var x701 >= 0, <= 1.64;
var x702 >= 0, <= 1.64;
var x703 >= 0, <= 1.64;
var x704 >= 0, <= 1.64;
var x705 >= 0, <= 1.64;
var x706 >= 0, <= 1.64;
var x707 >= 0, <= 1.64;
var x708 >= 0, <= 1.64;
var x709 >= 0, <= 1.64;
var x710 >= 0, <= 1.64;
var x711 >= 0, <= 1.64;
var x712 >= 0, <= 1.64;
var x713 >= 0, <= 1.64;
var x714 >= 0, <= 1.64;
var x715 >= 0, <= 1.64;
var x716 >= 0, <= 1.64;
var x717 >= 0, <= 1.64;
var x718 >= 0, <= 1.64;
var x719 >= 0, <= 1.64;
var x720 >= 0, <= 1.64;
var x721 >= 0, <= 1.64;
var x722 >= 0, <= 1.64;
var x723 >= 0, <= 1.64;
var x724 >= 0, <= 1.64;
var x725 >= 0, <= 1.64;
var x726 >= 0, <= 1.64;
var x727 >= 0, <= 1.64;
var x728 := 6, >= 6, <= 50;
var x729 := 10, >= 10, <= 50;
var x730 := 9, >= 9, <= 50;

maximize obj: -33.92 * b1 - 33.92 * b2 - 33.92 * b3 - 33.92 * b4 - 33.92 * b5
    - 33.92 * b6 - 33.92 * b7 - 33.92 * b8 - 33.92 * b9 - 33.92 * b10 - 33.92
    * b11 - 33.92 * b12 - 33.92 * b13 - 33.92 * b14 - 33.92 * b15 - 33.92 * b16
    - 33.92 * b17 - 33.92 * b18 - 33.92 * b19 - 33.92 * b20 - 33.92 * b21 -
    33.92 * b22 - 33.92 * b23 - 33.92 * b24 - 33.92 * b25 - 33.92 * b26 - 33.92
    * b27 - 33.92 * b28 - 33.92 * b29 - 33.92 * b30 - 33.92 * b31 - 33.92 *
    b32 - 33.92 * b33 - 33.92 * b34 - 33.92 * b35 - 33.92 * b36 - 33.92 * b37
    - 33.92 * b38 - 33.92 * b39 - 33.92 * b40 - 33.92 * b41 - 33.92 * b42 -
    33.92 * b43 - 33.92 * b44 - 33.92 * b45 - 33.92 * b46 - 33.92 * b47 - 33.92
    * b48 - 33.92 * b49 - 33.92 * b50 - 33.92 * b51 - 33.92 * b52 - 33.92 *
    b53 - 33.92 * b54 - 33.92 * b55 - 33.92 * b56 - 33.92 * b57 - 33.92 * b58
    - 33.92 * b59 - 33.92 * b60 - 33.92 * b61 - 33.92 * b62 - 33.92 * b63 -
    33.92 * b64 - 33.92 * b65 - 33.92 * b66 - 33.92 * b67 - 33.92 * b68 - 33.92
    * b69 - 33.92 * b70 - 33.92 * b71 - 33.92 * b72 - 33.92 * b73 - 33.92 *
    b74 - 33.92 * b75 - 33.92 * b76 - 33.92 * b77 - 33.92 * b78 - 33.92 * b79
    - 33.92 * b80 - 33.92 * b81 - 33.92 * b82 - 33.92 * b83 - 33.92 * b84 -
    33.92 * b85 - 33.92 * b86 - 33.92 * b87 - 33.92 * b88 - 33.92 * b89 - 33.92
    * b90 - 33.92 * b91 - 33.92 * b92 - 33.92 * b93 - 33.92 * b94 - 33.92 *
    b95 - 33.92 * b96 - 33.92 * b97 - 33.92 * b98 - 33.92 * b99 - 33.92 * b100
    - 33.92 * b101 - 33.92 * b102 - 33.92 * b103 - 33.92 * b104 - 33.92 * b105
    - 33.92 * b106 - 33.92 * b107 - 33.92 * b108 - 33.92 * b109 - 33.92 * b110
    - 33.92 * b111 - 33.92 * b112 - 33.92 * b113 - 33.92 * b114 - 33.92 * b115
    - 33.92 * b116 - 33.92 * b117 - 33.92 * b118 - 33.92 * b119 - 33.92 * b120
    - 33.92 * b121 - 33.92 * b122 - 33.92 * b123 - 33.92 * b124 - 33.92 * b125
    - 33.92 * b126 - 33.92 * b127 - 33.92 * b128 - 33.92 * b129 - 33.92 * b130
    - 33.92 * b131 - 33.92 * b132 - 33.92 * b133 - 33.92 * b134 - 33.92 * b135
    - 33.92 * b136 - 33.92 * b137 - 33.92 * b138 - 33.92 * b139 - 33.92 * b140
    - 33.92 * b141 - 33.92 * b142 - 33.92 * b143 - 33.92 * b144 - 33.92 * b145
    - 33.92 * b146 - 33.92 * b147 - 33.92 * b148 - 33.92 * b149 - 33.92 * b150
    - 33.92 * b151 - 33.92 * b152 - 33.92 * b153 - 33.92 * b154 - 33.92 * b155
    - 33.92 * b156 - 33.92 * b157 - 33.92 * b158 - 33.92 * b159 - 33.92 * b160
    - 33.92 * b161 - 33.92 * b162 - 33.92 * b163 - 33.92 * b164 - 33.92 * b165
    - 33.92 * b166 - 33.92 * b167 - 33.92 * b168 - 33.92 * b169 - 33.92 * b170
    - 33.92 * b171 - 33.92 * b172 - 33.92 * b173 - 33.92 * b174 - 33.92 * b175
    - 33.92 * b176 - 33.92 * b177 - 33.92 * b178 - 33.92 * b179 - 33.92 * b180
    - 33.92 * b181 - 33.92 * b182 - 33.92 * b183 - 33.92 * b184 - 33.92 * b185
    - 33.92 * b186 - 33.92 * b187 - 33.92 * b188 - 33.92 * b189 - 33.92 * b190
    - 33.92 * b191 - 33.92 * b192 - 33.92 * b193 - 33.92 * b194 - 33.92 * b195
    - 33.92 * b196 - 33.92 * b197 - 33.92 * b198 - 33.92 * b199 - 33.92 * b200
    - 33.92 * b201 - 33.92 * b202 - 33.92 * b203 - 33.92 * b204 - 33.92 * b205
    - 33.92 * b206 - 33.92 * b207 - 33.92 * b208 - 33.92 * b209 - 33.92 * b210
    - 33.92 * b211 - 33.92 * b212 - 33.92 * b213 - 33.92 * b214 - 33.92 * b215
    - 33.92 * b216 - 33.92 * b217 - 33.92 * b218 - 33.92 * b219 - 33.92 * b220
    - 33.92 * b221 - 33.92 * b222 - 33.92 * b223 - 33.92 * b224 - 33.92 * b225
    - 14.2464 * x226 - 14.2464 * x227 - 14.2464 * x228 - 14.2464 * x229 -
    14.2464 * x230 - 15.603200000000001 * x231 - 15.603200000000001 * x232 -
    15.603200000000001 * x233 - 15.603200000000001 * x234 - 15.603200000000001
    * x235 - 13.228800000000001 * x236 - 13.228800000000001 * x237 -
    13.228800000000001 * x238 - 13.228800000000001 * x239 - 13.228800000000001
    * x240 - 26.1184 * x241 - 26.1184 * x242 - 26.1184 * x243 - 26.1184 * x244
    - 26.1184 * x245 - 24.7616 * x246 - 24.7616 * x247 - 24.7616 * x248 -
    24.7616 * x249 - 24.7616 * x250 - 16.96 * x251 - 16.96 * x252 - 16.96 *
    x253 - 16.96 * x254 - 16.96 * x255 - 14.924800000000001 * x256 -
    14.924800000000001 * x257 - 14.924800000000001 * x258 - 14.924800000000001
    * x259 - 14.924800000000001 * x260 - 22.7264 * x261 - 22.7264 * x262 -
    22.7264 * x263 - 22.7264 * x264 - 22.7264 * x265 - 14.2464 * x266 - 14.2464
    * x267 - 14.2464 * x268 - 14.2464 * x269 - 14.2464 * x270 - 12.5504 * x271
    - 12.5504 * x272 - 12.5504 * x273 - 12.5504 * x274 - 12.5504 * x275 -
    15.603200000000001 * x276 - 15.603200000000001 * x277 - 15.603200000000001
    * x278 - 15.603200000000001 * x279 - 15.603200000000001 * x280 -
    6.444800000000001 * x281 - 6.444800000000001 * x282 - 6.444800000000001 *
    x283 - 6.444800000000001 * x284 - 6.444800000000001 * x285 -
    1.6960000000000002 * x286 - 1.6960000000000002 * x287 - 1.6960000000000002
    * x288 - 1.6960000000000002 * x289 - 1.6960000000000002 * x290 - 4.0704 *
    x291 - 4.0704 * x292 - 4.0704 * x293 - 4.0704 * x294 - 4.0704 * x295 -
    13.568000000000001 * x296 - 13.568000000000001 * x297 - 13.568000000000001
    * x298 - 13.568000000000001 * x299 - 13.568000000000001 * x300 -
    13.228800000000001 * x301 - 13.228800000000001 * x302 - 13.228800000000001
    * x303 - 13.228800000000001 * x304 - 13.228800000000001 * x305 -
    18.995200000000004 * x306 - 18.995200000000004 * x307 - 18.995200000000004
    * x308 - 18.995200000000004 * x309 - 18.995200000000004 * x310 - 18.3168 *
    x311 - 18.3168 * x312 - 18.3168 * x313 - 18.3168 * x314 - 18.3168 * x315 -
    25.44 * x316 - 25.44 * x317 - 25.44 * x318 - 25.44 * x319 - 25.44 * x320 -
    13.9072 * x321 - 13.9072 * x322 - 13.9072 * x323 - 13.9072 * x324 - 13.9072
    * x325 - 13.228800000000001 * x326 - 13.228800000000001 * x327 -
    13.228800000000001 * x328 - 13.228800000000001 * x329 - 13.228800000000001
    * x330 - 9.1584 * x331 - 9.1584 * x332 - 9.1584 * x333 - 9.1584 * x334 -
    9.1584 * x335 - 6.1056 * x336 - 6.1056 * x337 - 6.1056 * x338 - 6.1056 *
    x339 - 6.1056 * x340 - 12.889600000000002 * x341 - 12.889600000000002 *
    x342 - 12.889600000000002 * x343 - 12.889600000000002 * x344 -
    12.889600000000002 * x345 - 9.497600000000002 * x346 - 9.497600000000002 *
    x347 - 9.497600000000002 * x348 - 9.497600000000002 * x349 -
    9.497600000000002 * x350 - 27.0304 * x351 - 27.0304 * x352 - 27.0304 * x353
    - 27.0304 * x354 - 27.0304 * x355 + 50.432 * x356 + 50.432 * x357 + 50.432
    * x358 + 50.432 * x359 + 50.432 * x360 - 9.731200000000001 * x361 -
    9.731200000000001 * x362 - 9.731200000000001 * x363 - 9.731200000000001 *
    x364 - 9.731200000000001 * x365 + 50.432 * x366 + 50.432 * x367 + 50.432 *
    x368 + 50.432 * x369 + 50.432 * x370 - 15.497600000000002 * x371 -
    15.497600000000002 * x372 - 15.497600000000002 * x373 - 15.497600000000002
    * x374 - 15.497600000000002 * x375 + 50.7712 * x376 + 50.7712 * x377 +
    50.7712 * x378 + 50.7712 * x379 + 50.7712 * x380 - 32.1184 * x381 - 32.1184
    * x382 - 32.1184 * x383 - 32.1184 * x384 - 32.1184 * x385 + 37.8816 * x386
    + 37.8816 * x387 + 37.8816 * x388 + 37.8816 * x389 + 37.8816 * x390 -
    18.5504 * x391 - 18.5504 * x392 - 18.5504 * x393 - 18.5504 * x394 - 18.5504
    * x395 + 57.8944 * x396 + 57.8944 * x397 + 57.8944 * x398 + 57.8944 * x399
    + 57.8944 * x400 - 21.5856 * x401 - 21.5856 * x402 - 21.5856 * x403 -
    21.5856 * x404 - 21.5856 * x405 - 12.7664 * x406 - 12.7664 * x407 - 12.7664
    * x408 - 12.7664 * x409 - 12.7664 * x410 - 24.977600000000002 * x411 -
    24.977600000000002 * x412 - 24.977600000000002 * x413 - 24.977600000000002
    * x414 - 24.977600000000002 * x415 - 18.872 * x416 - 18.872 * x417 - 18.872
    * x418 - 18.872 * x419 - 18.872 * x420 - 28.369600000000002 * x421 -
    28.369600000000002 * x422 - 28.369600000000002 * x423 - 28.369600000000002
    * x424 - 28.369600000000002 * x425 - 23.2816 * x426 - 23.2816 * x427 -
    23.2816 * x428 - 23.2816 * x429 - 23.2816 * x430 - 11.409600000000001 *
    x431 - 11.409600000000001 * x432 - 11.409600000000001 * x433 -
    11.409600000000001 * x434 - 11.409600000000001 * x435 - 14.1232 * x436 -
    14.1232 * x437 - 14.1232 * x438 - 14.1232 * x439 - 14.1232 * x440 - 13.4448
    * x441 - 13.4448 * x442 - 13.4448 * x443 - 13.4448 * x444 - 13.4448 * x445
    - 12.088000000000001 * x446 - 12.088000000000001 * x447 -
    12.088000000000001 * x448 - 12.088000000000001 * x449 - 12.088000000000001
    * x450;

subject to

e1:  b1 - x226 <= 0;
e2:  b2 - x227 <= 0;
e3:  b3 - x228 <= 0;
e4:  b4 - x229 <= 0;
e5:  b5 - x230 <= 0;
e6:  b6 - x231 <= 0;
e7:  b7 - x232 <= 0;
e8:  b8 - x233 <= 0;
e9:  b9 - x234 <= 0;
e10:  b10 - x235 <= 0;
e11:  b11 - x236 <= 0;
e12:  b12 - x237 <= 0;
e13:  b13 - x238 <= 0;
e14:  b14 - x239 <= 0;
e15:  b15 - x240 <= 0;
e16:  b16 - x241 <= 0;
e17:  b17 - x242 <= 0;
e18:  b18 - x243 <= 0;
e19:  b19 - x244 <= 0;
e20:  b20 - x245 <= 0;
e21:  b21 - x246 <= 0;
e22:  b22 - x247 <= 0;
e23:  b23 - x248 <= 0;
e24:  b24 - x249 <= 0;
e25:  b25 - x250 <= 0;
e26:  b26 - x251 <= 0;
e27:  b27 - x252 <= 0;
e28:  b28 - x253 <= 0;
e29:  b29 - x254 <= 0;
e30:  b30 - x255 <= 0;
e31:  b31 - x256 <= 0;
e32:  b32 - x257 <= 0;
e33:  b33 - x258 <= 0;
e34:  b34 - x259 <= 0;
e35:  b35 - x260 <= 0;
e36:  b36 - x261 <= 0;
e37:  b37 - x262 <= 0;
e38:  b38 - x263 <= 0;
e39:  b39 - x264 <= 0;
e40:  b40 - x265 <= 0;
e41:  b41 - x266 <= 0;
e42:  b42 - x267 <= 0;
e43:  b43 - x268 <= 0;
e44:  b44 - x269 <= 0;
e45:  b45 - x270 <= 0;
e46:  b46 - x271 <= 0;
e47:  b47 - x272 <= 0;
e48:  b48 - x273 <= 0;
e49:  b49 - x274 <= 0;
e50:  b50 - x275 <= 0;
e51:  b51 - x276 <= 0;
e52:  b52 - x277 <= 0;
e53:  b53 - x278 <= 0;
e54:  b54 - x279 <= 0;
e55:  b55 - x280 <= 0;
e56:  b56 - x281 <= 0;
e57:  b57 - x282 <= 0;
e58:  b58 - x283 <= 0;
e59:  b59 - x284 <= 0;
e60:  b60 - x285 <= 0;
e61:  b61 - x286 <= 0;
e62:  b62 - x287 <= 0;
e63:  b63 - x288 <= 0;
e64:  b64 - x289 <= 0;
e65:  b65 - x290 <= 0;
e66:  b66 - x291 <= 0;
e67:  b67 - x292 <= 0;
e68:  b68 - x293 <= 0;
e69:  b69 - x294 <= 0;
e70:  b70 - x295 <= 0;
e71:  b71 - x296 <= 0;
e72:  b72 - x297 <= 0;
e73:  b73 - x298 <= 0;
e74:  b74 - x299 <= 0;
e75:  b75 - x300 <= 0;
e76:  b76 - x301 <= 0;
e77:  b77 - x302 <= 0;
e78:  b78 - x303 <= 0;
e79:  b79 - x304 <= 0;
e80:  b80 - x305 <= 0;
e81:  b81 - x306 <= 0;
e82:  b82 - x307 <= 0;
e83:  b83 - x308 <= 0;
e84:  b84 - x309 <= 0;
e85:  b85 - x310 <= 0;
e86:  b86 - x311 <= 0;
e87:  b87 - x312 <= 0;
e88:  b88 - x313 <= 0;
e89:  b89 - x314 <= 0;
e90:  b90 - x315 <= 0;
e91:  b91 - x316 <= 0;
e92:  b92 - x317 <= 0;
e93:  b93 - x318 <= 0;
e94:  b94 - x319 <= 0;
e95:  b95 - x320 <= 0;
e96:  b96 - x321 <= 0;
e97:  b97 - x322 <= 0;
e98:  b98 - x323 <= 0;
e99:  b99 - x324 <= 0;
e100:  b100 - x325 <= 0;
e101:  b101 - x326 <= 0;
e102:  b102 - x327 <= 0;
e103:  b103 - x328 <= 0;
e104:  b104 - x329 <= 0;
e105:  b105 - x330 <= 0;
e106:  b106 - x331 <= 0;
e107:  b107 - x332 <= 0;
e108:  b108 - x333 <= 0;
e109:  b109 - x334 <= 0;
e110:  b110 - x335 <= 0;
e111:  b111 - x336 <= 0;
e112:  b112 - x337 <= 0;
e113:  b113 - x338 <= 0;
e114:  b114 - x339 <= 0;
e115:  b115 - x340 <= 0;
e116:  b116 - x341 <= 0;
e117:  b117 - x342 <= 0;
e118:  b118 - x343 <= 0;
e119:  b119 - x344 <= 0;
e120:  b120 - x345 <= 0;
e121:  b121 - x346 <= 0;
e122:  b122 - x347 <= 0;
e123:  b123 - x348 <= 0;
e124:  b124 - x349 <= 0;
e125:  b125 - x350 <= 0;
e126:  b126 - x351 <= 0;
e127:  b127 - x352 <= 0;
e128:  b128 - x353 <= 0;
e129:  b129 - x354 <= 0;
e130:  b130 - x355 <= 0;
e131:  b131 - x356 <= 0;
e132:  b132 - x357 <= 0;
e133:  b133 - x358 <= 0;
e134:  b134 - x359 <= 0;
e135:  b135 - x360 <= 0;
e136:  b136 - x361 <= 0;
e137:  b137 - x362 <= 0;
e138:  b138 - x363 <= 0;
e139:  b139 - x364 <= 0;
e140:  b140 - x365 <= 0;
e141:  b141 - x366 <= 0;
e142:  b142 - x367 <= 0;
e143:  b143 - x368 <= 0;
e144:  b144 - x369 <= 0;
e145:  b145 - x370 <= 0;
e146:  b146 - x371 <= 0;
e147:  b147 - x372 <= 0;
e148:  b148 - x373 <= 0;
e149:  b149 - x374 <= 0;
e150:  b150 - x375 <= 0;
e151:  b151 - x376 <= 0;
e152:  b152 - x377 <= 0;
e153:  b153 - x378 <= 0;
e154:  b154 - x379 <= 0;
e155:  b155 - x380 <= 0;
e156:  b156 - x381 <= 0;
e157:  b157 - x382 <= 0;
e158:  b158 - x383 <= 0;
e159:  b159 - x384 <= 0;
e160:  b160 - x385 <= 0;
e161:  b161 - x386 <= 0;
e162:  b162 - x387 <= 0;
e163:  b163 - x388 <= 0;
e164:  b164 - x389 <= 0;
e165:  b165 - x390 <= 0;
e166:  b166 - x391 <= 0;
e167:  b167 - x392 <= 0;
e168:  b168 - x393 <= 0;
e169:  b169 - x394 <= 0;
e170:  b170 - x395 <= 0;
e171:  b171 - x396 <= 0;
e172:  b172 - x397 <= 0;
e173:  b173 - x398 <= 0;
e174:  b174 - x399 <= 0;
e175:  b175 - x400 <= 0;
e176:  b176 - x401 <= 0;
e177:  b177 - x402 <= 0;
e178:  b178 - x403 <= 0;
e179:  b179 - x404 <= 0;
e180:  b180 - x405 <= 0;
e181:  b181 - x406 <= 0;
e182:  b182 - x407 <= 0;
e183:  b183 - x408 <= 0;
e184:  b184 - x409 <= 0;
e185:  b185 - x410 <= 0;
e186:  b186 - x411 <= 0;
e187:  b187 - x412 <= 0;
e188:  b188 - x413 <= 0;
e189:  b189 - x414 <= 0;
e190:  b190 - x415 <= 0;
e191:  b191 - x416 <= 0;
e192:  b192 - x417 <= 0;
e193:  b193 - x418 <= 0;
e194:  b194 - x419 <= 0;
e195:  b195 - x420 <= 0;
e196:  b196 - x421 <= 0;
e197:  b197 - x422 <= 0;
e198:  b198 - x423 <= 0;
e199:  b199 - x424 <= 0;
e200:  b200 - x425 <= 0;
e201:  b201 - x426 <= 0;
e202:  b202 - x427 <= 0;
e203:  b203 - x428 <= 0;
e204:  b204 - x429 <= 0;
e205:  b205 - x430 <= 0;
e206:  b206 - x431 <= 0;
e207:  b207 - x432 <= 0;
e208:  b208 - x433 <= 0;
e209:  b209 - x434 <= 0;
e210:  b210 - x435 <= 0;
e211:  b211 - x436 <= 0;
e212:  b212 - x437 <= 0;
e213:  b213 - x438 <= 0;
e214:  b214 - x439 <= 0;
e215:  b215 - x440 <= 0;
e216:  b216 - x441 <= 0;
e217:  b217 - x442 <= 0;
e218:  b218 - x443 <= 0;
e219:  b219 - x444 <= 0;
e220:  b220 - x445 <= 0;
e221:  b221 - x446 <= 0;
e222:  b222 - x447 <= 0;
e223:  b223 - x448 <= 0;
e224:  b224 - x449 <= 0;
e225:  b225 - x450 <= 0;
e226:  -50 * b1 + x226 <= 0;
e227:  -50 * b2 + x227 <= 0;
e228:  -50 * b3 + x228 <= 0;
e229:  -50 * b4 + x229 <= 0;
e230:  -50 * b5 + x230 <= 0;
e231:  -50 * b6 + x231 <= 0;
e232:  -50 * b7 + x232 <= 0;
e233:  -50 * b8 + x233 <= 0;
e234:  -50 * b9 + x234 <= 0;
e235:  -50 * b10 + x235 <= 0;
e236:  -50 * b11 + x236 <= 0;
e237:  -50 * b12 + x237 <= 0;
e238:  -50 * b13 + x238 <= 0;
e239:  -50 * b14 + x239 <= 0;
e240:  -50 * b15 + x240 <= 0;
e241:  -50 * b16 + x241 <= 0;
e242:  -50 * b17 + x242 <= 0;
e243:  -50 * b18 + x243 <= 0;
e244:  -50 * b19 + x244 <= 0;
e245:  -50 * b20 + x245 <= 0;
e246:  -50 * b21 + x246 <= 0;
e247:  -50 * b22 + x247 <= 0;
e248:  -50 * b23 + x248 <= 0;
e249:  -50 * b24 + x249 <= 0;
e250:  -50 * b25 + x250 <= 0;
e251:  -50 * b26 + x251 <= 0;
e252:  -50 * b27 + x252 <= 0;
e253:  -50 * b28 + x253 <= 0;
e254:  -50 * b29 + x254 <= 0;
e255:  -50 * b30 + x255 <= 0;
e256:  -50 * b31 + x256 <= 0;
e257:  -50 * b32 + x257 <= 0;
e258:  -50 * b33 + x258 <= 0;
e259:  -50 * b34 + x259 <= 0;
e260:  -50 * b35 + x260 <= 0;
e261:  -50 * b36 + x261 <= 0;
e262:  -50 * b37 + x262 <= 0;
e263:  -50 * b38 + x263 <= 0;
e264:  -50 * b39 + x264 <= 0;
e265:  -50 * b40 + x265 <= 0;
e266:  -50 * b41 + x266 <= 0;
e267:  -50 * b42 + x267 <= 0;
e268:  -50 * b43 + x268 <= 0;
e269:  -50 * b44 + x269 <= 0;
e270:  -50 * b45 + x270 <= 0;
e271:  -50 * b46 + x271 <= 0;
e272:  -50 * b47 + x272 <= 0;
e273:  -50 * b48 + x273 <= 0;
e274:  -50 * b49 + x274 <= 0;
e275:  -50 * b50 + x275 <= 0;
e276:  -50 * b51 + x276 <= 0;
e277:  -50 * b52 + x277 <= 0;
e278:  -50 * b53 + x278 <= 0;
e279:  -50 * b54 + x279 <= 0;
e280:  -50 * b55 + x280 <= 0;
e281:  -50 * b56 + x281 <= 0;
e282:  -50 * b57 + x282 <= 0;
e283:  -50 * b58 + x283 <= 0;
e284:  -50 * b59 + x284 <= 0;
e285:  -50 * b60 + x285 <= 0;
e286:  -50 * b61 + x286 <= 0;
e287:  -50 * b62 + x287 <= 0;
e288:  -50 * b63 + x288 <= 0;
e289:  -50 * b64 + x289 <= 0;
e290:  -50 * b65 + x290 <= 0;
e291:  -50 * b66 + x291 <= 0;
e292:  -50 * b67 + x292 <= 0;
e293:  -50 * b68 + x293 <= 0;
e294:  -50 * b69 + x294 <= 0;
e295:  -50 * b70 + x295 <= 0;
e296:  -50 * b71 + x296 <= 0;
e297:  -50 * b72 + x297 <= 0;
e298:  -50 * b73 + x298 <= 0;
e299:  -50 * b74 + x299 <= 0;
e300:  -50 * b75 + x300 <= 0;
e301:  -50 * b76 + x301 <= 0;
e302:  -50 * b77 + x302 <= 0;
e303:  -50 * b78 + x303 <= 0;
e304:  -50 * b79 + x304 <= 0;
e305:  -50 * b80 + x305 <= 0;
e306:  -50 * b81 + x306 <= 0;
e307:  -50 * b82 + x307 <= 0;
e308:  -50 * b83 + x308 <= 0;
e309:  -50 * b84 + x309 <= 0;
e310:  -50 * b85 + x310 <= 0;
e311:  -50 * b86 + x311 <= 0;
e312:  -50 * b87 + x312 <= 0;
e313:  -50 * b88 + x313 <= 0;
e314:  -50 * b89 + x314 <= 0;
e315:  -50 * b90 + x315 <= 0;
e316:  -50 * b91 + x316 <= 0;
e317:  -50 * b92 + x317 <= 0;
e318:  -50 * b93 + x318 <= 0;
e319:  -50 * b94 + x319 <= 0;
e320:  -50 * b95 + x320 <= 0;
e321:  -50 * b96 + x321 <= 0;
e322:  -50 * b97 + x322 <= 0;
e323:  -50 * b98 + x323 <= 0;
e324:  -50 * b99 + x324 <= 0;
e325:  -50 * b100 + x325 <= 0;
e326:  -50 * b101 + x326 <= 0;
e327:  -50 * b102 + x327 <= 0;
e328:  -50 * b103 + x328 <= 0;
e329:  -50 * b104 + x329 <= 0;
e330:  -50 * b105 + x330 <= 0;
e331:  -50 * b106 + x331 <= 0;
e332:  -50 * b107 + x332 <= 0;
e333:  -50 * b108 + x333 <= 0;
e334:  -50 * b109 + x334 <= 0;
e335:  -50 * b110 + x335 <= 0;
e336:  -50 * b111 + x336 <= 0;
e337:  -50 * b112 + x337 <= 0;
e338:  -50 * b113 + x338 <= 0;
e339:  -50 * b114 + x339 <= 0;
e340:  -50 * b115 + x340 <= 0;
e341:  -50 * b116 + x341 <= 0;
e342:  -50 * b117 + x342 <= 0;
e343:  -50 * b118 + x343 <= 0;
e344:  -50 * b119 + x344 <= 0;
e345:  -50 * b120 + x345 <= 0;
e346:  -50 * b121 + x346 <= 0;
e347:  -50 * b122 + x347 <= 0;
e348:  -50 * b123 + x348 <= 0;
e349:  -50 * b124 + x349 <= 0;
e350:  -50 * b125 + x350 <= 0;
e351:  -50 * b126 + x351 <= 0;
e352:  -50 * b127 + x352 <= 0;
e353:  -50 * b128 + x353 <= 0;
e354:  -50 * b129 + x354 <= 0;
e355:  -50 * b130 + x355 <= 0;
e356:  -50 * b131 + x356 <= 0;
e357:  -50 * b132 + x357 <= 0;
e358:  -50 * b133 + x358 <= 0;
e359:  -50 * b134 + x359 <= 0;
e360:  -50 * b135 + x360 <= 0;
e361:  -50 * b136 + x361 <= 0;
e362:  -50 * b137 + x362 <= 0;
e363:  -50 * b138 + x363 <= 0;
e364:  -50 * b139 + x364 <= 0;
e365:  -50 * b140 + x365 <= 0;
e366:  -50 * b141 + x366 <= 0;
e367:  -50 * b142 + x367 <= 0;
e368:  -50 * b143 + x368 <= 0;
e369:  -50 * b144 + x369 <= 0;
e370:  -50 * b145 + x370 <= 0;
e371:  -50 * b146 + x371 <= 0;
e372:  -50 * b147 + x372 <= 0;
e373:  -50 * b148 + x373 <= 0;
e374:  -50 * b149 + x374 <= 0;
e375:  -50 * b150 + x375 <= 0;
e376:  -50 * b151 + x376 <= 0;
e377:  -50 * b152 + x377 <= 0;
e378:  -50 * b153 + x378 <= 0;
e379:  -50 * b154 + x379 <= 0;
e380:  -50 * b155 + x380 <= 0;
e381:  -50 * b156 + x381 <= 0;
e382:  -50 * b157 + x382 <= 0;
e383:  -50 * b158 + x383 <= 0;
e384:  -50 * b159 + x384 <= 0;
e385:  -50 * b160 + x385 <= 0;
e386:  -50 * b161 + x386 <= 0;
e387:  -50 * b162 + x387 <= 0;
e388:  -50 * b163 + x388 <= 0;
e389:  -50 * b164 + x389 <= 0;
e390:  -50 * b165 + x390 <= 0;
e391:  -50 * b166 + x391 <= 0;
e392:  -50 * b167 + x392 <= 0;
e393:  -50 * b168 + x393 <= 0;
e394:  -50 * b169 + x394 <= 0;
e395:  -50 * b170 + x395 <= 0;
e396:  -50 * b171 + x396 <= 0;
e397:  -50 * b172 + x397 <= 0;
e398:  -50 * b173 + x398 <= 0;
e399:  -50 * b174 + x399 <= 0;
e400:  -50 * b175 + x400 <= 0;
e401:  -50 * b176 + x401 <= 0;
e402:  -50 * b177 + x402 <= 0;
e403:  -50 * b178 + x403 <= 0;
e404:  -50 * b179 + x404 <= 0;
e405:  -50 * b180 + x405 <= 0;
e406:  -50 * b181 + x406 <= 0;
e407:  -50 * b182 + x407 <= 0;
e408:  -50 * b183 + x408 <= 0;
e409:  -50 * b184 + x409 <= 0;
e410:  -50 * b185 + x410 <= 0;
e411:  -50 * b186 + x411 <= 0;
e412:  -50 * b187 + x412 <= 0;
e413:  -50 * b188 + x413 <= 0;
e414:  -50 * b189 + x414 <= 0;
e415:  -50 * b190 + x415 <= 0;
e416:  -50 * b191 + x416 <= 0;
e417:  -50 * b192 + x417 <= 0;
e418:  -50 * b193 + x418 <= 0;
e419:  -50 * b194 + x419 <= 0;
e420:  -50 * b195 + x420 <= 0;
e421:  -50 * b196 + x421 <= 0;
e422:  -50 * b197 + x422 <= 0;
e423:  -50 * b198 + x423 <= 0;
e424:  -50 * b199 + x424 <= 0;
e425:  -50 * b200 + x425 <= 0;
e426:  -50 * b201 + x426 <= 0;
e427:  -50 * b202 + x427 <= 0;
e428:  -50 * b203 + x428 <= 0;
e429:  -50 * b204 + x429 <= 0;
e430:  -50 * b205 + x430 <= 0;
e431:  -50 * b206 + x431 <= 0;
e432:  -50 * b207 + x432 <= 0;
e433:  -50 * b208 + x433 <= 0;
e434:  -50 * b209 + x434 <= 0;
e435:  -50 * b210 + x435 <= 0;
e436:  -50 * b211 + x436 <= 0;
e437:  -50 * b212 + x437 <= 0;
e438:  -50 * b213 + x438 <= 0;
e439:  -50 * b214 + x439 <= 0;
e440:  -50 * b215 + x440 <= 0;
e441:  -50 * b216 + x441 <= 0;
e442:  -50 * b217 + x442 <= 0;
e443:  -50 * b218 + x443 <= 0;
e444:  -50 * b219 + x444 <= 0;
e445:  -50 * b220 + x445 <= 0;
e446:  -50 * b221 + x446 <= 0;
e447:  -50 * b222 + x447 <= 0;
e448:  -50 * b223 + x448 <= 0;
e449:  -50 * b224 + x449 <= 0;
e450:  -50 * b225 + x450 <= 0;
e451:  4.98 * b127 - x451 <= 4.98;
e452:  4.98 * b128 - x452 <= 4.98;
e453:  4.98 * b129 - x453 <= 4.98;
e454:  4.98 * b130 - x454 <= 4.98;
e455:  4.98 * b132 - x451 <= 4.98;
e456:  4.98 * b133 - x452 <= 4.98;
e457:  4.98 * b134 - x453 <= 4.98;
e458:  4.98 * b135 - x454 <= 4.98;
e459:  4.98 * b137 - x455 <= 4.98;
e460:  4.98 * b138 - x456 <= 4.98;
e461:  4.98 * b139 - x457 <= 4.98;
e462:  4.98 * b140 - x458 <= 4.98;
e463:  4.98 * b142 - x455 <= 4.98;
e464:  4.98 * b143 - x456 <= 4.98;
e465:  4.98 * b144 - x457 <= 4.98;
e466:  4.98 * b145 - x458 <= 4.98;
e467:  4.98 * b147 - x459 <= 4.98;
e468:  4.98 * b148 - x460 <= 4.98;
e469:  4.98 * b149 - x461 <= 4.98;
e470:  4.98 * b150 - x462 <= 4.98;
e471:  4.98 * b152 - x459 <= 4.98;
e472:  4.98 * b153 - x460 <= 4.98;
e473:  4.98 * b154 - x461 <= 4.98;
e474:  4.98 * b155 - x462 <= 4.98;
e475:  4.98 * b157 - x463 <= 4.98;
e476:  4.98 * b158 - x464 <= 4.98;
e477:  4.98 * b159 - x465 <= 4.98;
e478:  4.98 * b160 - x466 <= 4.98;
e479:  4.98 * b162 - x463 <= 4.98;
e480:  4.98 * b163 - x464 <= 4.98;
e481:  4.98 * b164 - x465 <= 4.98;
e482:  4.98 * b165 - x466 <= 4.98;
e483:  4.98 * b167 - x467 <= 4.98;
e484:  4.98 * b168 - x468 <= 4.98;
e485:  4.98 * b169 - x469 <= 4.98;
e486:  4.98 * b170 - x470 <= 4.98;
e487:  4.98 * b172 - x467 <= 4.98;
e488:  4.98 * b173 - x468 <= 4.98;
e489:  4.98 * b174 - x469 <= 4.98;
e490:  4.98 * b175 - x470 <= 4.98;
e491:  1.45 * b127 - x471 <= 1.45;
e492:  1.45 * b128 - x472 <= 1.45;
e493:  1.45 * b129 - x473 <= 1.45;
e494:  1.45 * b130 - x474 <= 1.45;
e495:  1.45 * b132 - x471 <= 1.45;
e496:  1.45 * b133 - x472 <= 1.45;
e497:  1.45 * b134 - x473 <= 1.45;
e498:  1.45 * b135 - x474 <= 1.45;
e499:  1.45 * b137 - x475 <= 1.45;
e500:  1.45 * b138 - x476 <= 1.45;
e501:  1.45 * b139 - x477 <= 1.45;
e502:  1.45 * b140 - x478 <= 1.45;
e503:  1.45 * b142 - x475 <= 1.45;
e504:  1.45 * b143 - x476 <= 1.45;
e505:  1.45 * b144 - x477 <= 1.45;
e506:  1.45 * b145 - x478 <= 1.45;
e507:  1.45 * b147 - x479 <= 1.45;
e508:  1.45 * b148 - x480 <= 1.45;
e509:  1.45 * b149 - x481 <= 1.45;
e510:  1.45 * b150 - x482 <= 1.45;
e511:  1.45 * b152 - x479 <= 1.45;
e512:  1.45 * b153 - x480 <= 1.45;
e513:  1.45 * b154 - x481 <= 1.45;
e514:  1.45 * b155 - x482 <= 1.45;
e515:  1.45 * b157 - x483 <= 1.45;
e516:  1.45 * b158 - x484 <= 1.45;
e517:  1.45 * b159 - x485 <= 1.45;
e518:  1.45 * b160 - x486 <= 1.45;
e519:  1.45 * b162 - x483 <= 1.45;
e520:  1.45 * b163 - x484 <= 1.45;
e521:  1.45 * b164 - x485 <= 1.45;
e522:  1.45 * b165 - x486 <= 1.45;
e523:  1.45 * b167 - x487 <= 1.45;
e524:  1.45 * b168 - x488 <= 1.45;
e525:  1.45 * b169 - x489 <= 1.45;
e526:  1.45 * b170 - x490 <= 1.45;
e527:  1.45 * b172 - x487 <= 1.45;
e528:  1.45 * b173 - x488 <= 1.45;
e529:  1.45 * b174 - x489 <= 1.45;
e530:  1.45 * b175 - x490 <= 1.45;
e531:  1.31 * b127 - x491 <= 1.31;
e532:  1.31 * b128 - x492 <= 1.31;
e533:  1.31 * b129 - x493 <= 1.31;
e534:  1.31 * b130 - x494 <= 1.31;
e535:  1.31 * b132 - x491 <= 1.31;
e536:  1.31 * b133 - x492 <= 1.31;
e537:  1.31 * b134 - x493 <= 1.31;
e538:  1.31 * b135 - x494 <= 1.31;
e539:  1.31 * b137 - x495 <= 1.31;
e540:  1.31 * b138 - x496 <= 1.31;
e541:  1.31 * b139 - x497 <= 1.31;
e542:  1.31 * b140 - x498 <= 1.31;
e543:  1.31 * b142 - x495 <= 1.31;
e544:  1.31 * b143 - x496 <= 1.31;
e545:  1.31 * b144 - x497 <= 1.31;
e546:  1.31 * b145 - x498 <= 1.31;
e547:  1.31 * b147 - x499 <= 1.31;
e548:  1.31 * b148 - x500 <= 1.31;
e549:  1.31 * b149 - x501 <= 1.31;
e550:  1.31 * b150 - x502 <= 1.31;
e551:  1.31 * b152 - x499 <= 1.31;
e552:  1.31 * b153 - x500 <= 1.31;
e553:  1.31 * b154 - x501 <= 1.31;
e554:  1.31 * b155 - x502 <= 1.31;
e555:  1.31 * b157 - x503 <= 1.31;
e556:  1.31 * b158 - x504 <= 1.31;
e557:  1.31 * b159 - x505 <= 1.31;
e558:  1.31 * b160 - x506 <= 1.31;
e559:  1.31 * b162 - x503 <= 1.31;
e560:  1.31 * b163 - x504 <= 1.31;
e561:  1.31 * b164 - x505 <= 1.31;
e562:  1.31 * b165 - x506 <= 1.31;
e563:  1.31 * b167 - x507 <= 1.31;
e564:  1.31 * b168 - x508 <= 1.31;
e565:  1.31 * b169 - x509 <= 1.31;
e566:  1.31 * b170 - x510 <= 1.31;
e567:  1.31 * b172 - x507 <= 1.31;
e568:  1.31 * b173 - x508 <= 1.31;
e569:  1.31 * b174 - x509 <= 1.31;
e570:  1.31 * b175 - x510 <= 1.31;
e571:  1.64 * b127 - x511 <= 1.64;
e572:  1.64 * b128 - x512 <= 1.64;
e573:  1.64 * b129 - x513 <= 1.64;
e574:  1.64 * b130 - x514 <= 1.64;
e575:  1.64 * b132 - x511 <= 1.64;
e576:  1.64 * b133 - x512 <= 1.64;
e577:  1.64 * b134 - x513 <= 1.64;
e578:  1.64 * b135 - x514 <= 1.64;
e579:  1.64 * b137 - x515 <= 1.64;
e580:  1.64 * b138 - x516 <= 1.64;
e581:  1.64 * b139 - x517 <= 1.64;
e582:  1.64 * b140 - x518 <= 1.64;
e583:  1.64 * b142 - x515 <= 1.64;
e584:  1.64 * b143 - x516 <= 1.64;
e585:  1.64 * b144 - x517 <= 1.64;
e586:  1.64 * b145 - x518 <= 1.64;
e587:  1.64 * b147 - x519 <= 1.64;
e588:  1.64 * b148 - x520 <= 1.64;
e589:  1.64 * b149 - x521 <= 1.64;
e590:  1.64 * b150 - x522 <= 1.64;
e591:  1.64 * b152 - x519 <= 1.64;
e592:  1.64 * b153 - x520 <= 1.64;
e593:  1.64 * b154 - x521 <= 1.64;
e594:  1.64 * b155 - x522 <= 1.64;
e595:  1.64 * b157 - x523 <= 1.64;
e596:  1.64 * b158 - x524 <= 1.64;
e597:  1.64 * b159 - x525 <= 1.64;
e598:  1.64 * b160 - x526 <= 1.64;
e599:  1.64 * b162 - x523 <= 1.64;
e600:  1.64 * b163 - x524 <= 1.64;
e601:  1.64 * b164 - x525 <= 1.64;
e602:  1.64 * b165 - x526 <= 1.64;
e603:  1.64 * b167 - x527 <= 1.64;
e604:  1.64 * b168 - x528 <= 1.64;
e605:  1.64 * b169 - x529 <= 1.64;
e606:  1.64 * b170 - x530 <= 1.64;
e607:  1.64 * b172 - x527 <= 1.64;
e608:  1.64 * b173 - x528 <= 1.64;
e609:  1.64 * b174 - x529 <= 1.64;
e610:  1.64 * b175 - x530 <= 1.64;
e611:  4.98 * b127 + x451 <= 9.96;
e612:  4.98 * b128 + x452 <= 9.96;
e613:  4.98 * b129 + x453 <= 9.96;
e614:  4.98 * b130 + x454 <= 9.96;
e615:  4.98 * b132 + x451 <= 7.890000000000001;
e616:  4.98 * b133 + x452 <= 7.890000000000001;
e617:  4.98 * b134 + x453 <= 7.890000000000001;
e618:  4.98 * b135 + x454 <= 7.890000000000001;
e619:  4.98 * b137 + x455 <= 9.96;
e620:  4.98 * b138 + x456 <= 9.96;
e621:  4.98 * b139 + x457 <= 9.96;
e622:  4.98 * b140 + x458 <= 9.96;
e623:  4.98 * b142 + x455 <= 7.890000000000001;
e624:  4.98 * b143 + x456 <= 7.890000000000001;
e625:  4.98 * b144 + x457 <= 7.890000000000001;
e626:  4.98 * b145 + x458 <= 7.890000000000001;
e627:  4.98 * b147 + x459 <= 9.96;
e628:  4.98 * b148 + x460 <= 9.96;
e629:  4.98 * b149 + x461 <= 9.96;
e630:  4.98 * b150 + x462 <= 9.96;
e631:  4.98 * b152 + x459 <= 7.890000000000001;
e632:  4.98 * b153 + x460 <= 7.890000000000001;
e633:  4.98 * b154 + x461 <= 7.890000000000001;
e634:  4.98 * b155 + x462 <= 7.890000000000001;
e635:  4.98 * b157 + x463 <= 9.96;
e636:  4.98 * b158 + x464 <= 9.96;
e637:  4.98 * b159 + x465 <= 9.96;
e638:  4.98 * b160 + x466 <= 9.96;
e639:  4.98 * b162 + x463 <= 7.890000000000001;
e640:  4.98 * b163 + x464 <= 7.890000000000001;
e641:  4.98 * b164 + x465 <= 7.890000000000001;
e642:  4.98 * b165 + x466 <= 7.890000000000001;
e643:  4.98 * b167 + x467 <= 9.96;
e644:  4.98 * b168 + x468 <= 9.96;
e645:  4.98 * b169 + x469 <= 9.96;
e646:  4.98 * b170 + x470 <= 9.96;
e647:  4.98 * b172 + x467 <= 7.890000000000001;
e648:  4.98 * b173 + x468 <= 7.890000000000001;
e649:  4.98 * b174 + x469 <= 7.890000000000001;
e650:  4.98 * b175 + x470 <= 7.890000000000001;
e651:  1.45 * b127 + x471 <= 6.430000000000001;
e652:  1.45 * b128 + x472 <= 6.430000000000001;
e653:  1.45 * b129 + x473 <= 6.430000000000001;
e654:  1.45 * b130 + x474 <= 6.430000000000001;
e655:  1.45 * b132 + x471 <= 5.62;
e656:  1.45 * b133 + x472 <= 5.62;
e657:  1.45 * b134 + x473 <= 5.62;
e658:  1.45 * b135 + x474 <= 5.62;
e659:  1.45 * b137 + x475 <= 6.430000000000001;
e660:  1.45 * b138 + x476 <= 6.430000000000001;
e661:  1.45 * b139 + x477 <= 6.430000000000001;
e662:  1.45 * b140 + x478 <= 6.430000000000001;
e663:  1.45 * b142 + x475 <= 5.62;
e664:  1.45 * b143 + x476 <= 5.62;
e665:  1.45 * b144 + x477 <= 5.62;
e666:  1.45 * b145 + x478 <= 5.62;
e667:  1.45 * b147 + x479 <= 6.430000000000001;
e668:  1.45 * b148 + x480 <= 6.430000000000001;
e669:  1.45 * b149 + x481 <= 6.430000000000001;
e670:  1.45 * b150 + x482 <= 6.430000000000001;
e671:  1.45 * b152 + x479 <= 5.62;
e672:  1.45 * b153 + x480 <= 5.62;
e673:  1.45 * b154 + x481 <= 5.62;
e674:  1.45 * b155 + x482 <= 5.62;
e675:  1.45 * b157 + x483 <= 6.430000000000001;
e676:  1.45 * b158 + x484 <= 6.430000000000001;
e677:  1.45 * b159 + x485 <= 6.430000000000001;
e678:  1.45 * b160 + x486 <= 6.430000000000001;
e679:  1.45 * b162 + x483 <= 5.62;
e680:  1.45 * b163 + x484 <= 5.62;
e681:  1.45 * b164 + x485 <= 5.62;
e682:  1.45 * b165 + x486 <= 5.62;
e683:  1.45 * b167 + x487 <= 6.430000000000001;
e684:  1.45 * b168 + x488 <= 6.430000000000001;
e685:  1.45 * b169 + x489 <= 6.430000000000001;
e686:  1.45 * b170 + x490 <= 6.430000000000001;
e687:  1.45 * b172 + x487 <= 5.62;
e688:  1.45 * b173 + x488 <= 5.62;
e689:  1.45 * b174 + x489 <= 5.62;
e690:  1.45 * b175 + x490 <= 5.62;
e691:  1.31 * b127 + x491 <= 6.290000000000001;
e692:  1.31 * b128 + x492 <= 6.290000000000001;
e693:  1.31 * b129 + x493 <= 6.290000000000001;
e694:  1.31 * b130 + x494 <= 6.290000000000001;
e695:  1.31 * b132 + x491 <= 6.029999999999999;
e696:  1.31 * b133 + x492 <= 6.029999999999999;
e697:  1.31 * b134 + x493 <= 6.029999999999999;
e698:  1.31 * b135 + x494 <= 6.029999999999999;
e699:  1.31 * b137 + x495 <= 6.290000000000001;
e700:  1.31 * b138 + x496 <= 6.290000000000001;
e701:  1.31 * b139 + x497 <= 6.290000000000001;
e702:  1.31 * b140 + x498 <= 6.290000000000001;
e703:  1.31 * b142 + x495 <= 6.029999999999999;
e704:  1.31 * b143 + x496 <= 6.029999999999999;
e705:  1.31 * b144 + x497 <= 6.029999999999999;
e706:  1.31 * b145 + x498 <= 6.029999999999999;
e707:  1.31 * b147 + x499 <= 6.290000000000001;
e708:  1.31 * b148 + x500 <= 6.290000000000001;
e709:  1.31 * b149 + x501 <= 6.290000000000001;
e710:  1.31 * b150 + x502 <= 6.290000000000001;
e711:  1.31 * b152 + x499 <= 6.029999999999999;
e712:  1.31 * b153 + x500 <= 6.029999999999999;
e713:  1.31 * b154 + x501 <= 6.029999999999999;
e714:  1.31 * b155 + x502 <= 6.029999999999999;
e715:  1.31 * b157 + x503 <= 6.290000000000001;
e716:  1.31 * b158 + x504 <= 6.290000000000001;
e717:  1.31 * b159 + x505 <= 6.290000000000001;
e718:  1.31 * b160 + x506 <= 6.290000000000001;
e719:  1.31 * b162 + x503 <= 6.029999999999999;
e720:  1.31 * b163 + x504 <= 6.029999999999999;
e721:  1.31 * b164 + x505 <= 6.029999999999999;
e722:  1.31 * b165 + x506 <= 6.029999999999999;
e723:  1.31 * b167 + x507 <= 6.290000000000001;
e724:  1.31 * b168 + x508 <= 6.290000000000001;
e725:  1.31 * b169 + x509 <= 6.290000000000001;
e726:  1.31 * b170 + x510 <= 6.290000000000001;
e727:  1.31 * b172 + x507 <= 6.029999999999999;
e728:  1.31 * b173 + x508 <= 6.029999999999999;
e729:  1.31 * b174 + x509 <= 6.029999999999999;
e730:  1.31 * b175 + x510 <= 6.029999999999999;
e731:  1.64 * b127 + x511 <= 6.62;
e732:  1.64 * b128 + x512 <= 6.62;
e733:  1.64 * b129 + x513 <= 6.62;
e734:  1.64 * b130 + x514 <= 6.62;
e735:  1.64 * b132 + x511 <= 6.449999999999999;
e736:  1.64 * b133 + x512 <= 6.449999999999999;
e737:  1.64 * b134 + x513 <= 6.449999999999999;
e738:  1.64 * b135 + x514 <= 6.449999999999999;
e739:  1.64 * b137 + x515 <= 6.62;
e740:  1.64 * b138 + x516 <= 6.62;
e741:  1.64 * b139 + x517 <= 6.62;
e742:  1.64 * b140 + x518 <= 6.62;
e743:  1.64 * b142 + x515 <= 6.449999999999999;
e744:  1.64 * b143 + x516 <= 6.449999999999999;
e745:  1.64 * b144 + x517 <= 6.449999999999999;
e746:  1.64 * b145 + x518 <= 6.449999999999999;
e747:  1.64 * b147 + x519 <= 6.62;
e748:  1.64 * b148 + x520 <= 6.62;
e749:  1.64 * b149 + x521 <= 6.62;
e750:  1.64 * b150 + x522 <= 6.62;
e751:  1.64 * b152 + x519 <= 6.449999999999999;
e752:  1.64 * b153 + x520 <= 6.449999999999999;
e753:  1.64 * b154 + x521 <= 6.449999999999999;
e754:  1.64 * b155 + x522 <= 6.449999999999999;
e755:  1.64 * b157 + x523 <= 6.62;
e756:  1.64 * b158 + x524 <= 6.62;
e757:  1.64 * b159 + x525 <= 6.62;
e758:  1.64 * b160 + x526 <= 6.62;
e759:  1.64 * b162 + x523 <= 6.449999999999999;
e760:  1.64 * b163 + x524 <= 6.449999999999999;
e761:  1.64 * b164 + x525 <= 6.449999999999999;
e762:  1.64 * b165 + x526 <= 6.449999999999999;
e763:  1.64 * b167 + x527 <= 6.62;
e764:  1.64 * b168 + x528 <= 6.62;
e765:  1.64 * b169 + x529 <= 6.62;
e766:  1.64 * b170 + x530 <= 6.62;
e767:  1.64 * b172 + x527 <= 6.449999999999999;
e768:  1.64 * b173 + x528 <= 6.449999999999999;
e769:  1.64 * b174 + x529 <= 6.449999999999999;
e770:  1.64 * b175 + x530 <= 6.449999999999999;
e771:  x401 + x406 + x411 + x416 + x421 + x531 = 33;
e772:  x402 + x407 + x412 + x417 + x422 - x531 + x532 = 7;
e773:  x403 + x408 + x413 + x418 + x423 - x532 + x533 = 0;
e774:  x404 + x409 + x414 + x419 + x424 - x533 + x534 = 0;
e775:  x405 + x410 + x415 + x420 + x425 - x534 + x535 = 0;
e776:  x426 + x431 + x436 + x441 + x446 + x536 = 32;
e777:  x427 + x432 + x437 + x442 + x447 - x536 + x537 = 12;
e778:  x428 + x433 + x438 + x443 + x448 - x537 + x538 = 0;
e779:  x429 + x434 + x439 + x444 + x449 - x538 + x539 = 0;
e780:  x430 + x435 + x440 + x445 + x450 - x539 + x540 = 0;
e781:  x226 + x231 + x236 + x241 + x246 - x401 - x426 + x541 = 0;
e782:  x227 + x232 + x237 + x242 + x247 - x402 - x427 - x541 + x542 = 0;
e783:  x228 + x233 + x238 + x243 + x248 - x403 - x428 - x542 + x543 = 0;
e784:  x229 + x234 + x239 + x244 + x249 - x404 - x429 - x543 + x544 = 0;
e785:  x230 + x235 + x240 + x245 + x250 - x405 - x430 - x544 + x545 = 0;
e786:  x251 + x256 + x261 + x266 + x271 - x406 - x431 + x546 = 0;
e787:  x252 + x257 + x262 + x267 + x272 - x407 - x432 - x546 + x547 = 0;
e788:  x253 + x258 + x263 + x268 + x273 - x408 - x433 - x547 + x548 = 0;
e789:  x254 + x259 + x264 + x269 + x274 - x409 - x434 - x548 + x549 = 0;
e790:  x255 + x260 + x265 + x270 + x275 - x410 - x435 - x549 + x550 = 0;
e791:  x276 + x281 + x286 + x291 + x296 - x411 - x436 + x551 = 0;
e792:  x277 + x282 + x287 + x292 + x297 - x412 - x437 - x551 + x552 = 0;
e793:  x278 + x283 + x288 + x293 + x298 - x413 - x438 - x552 + x553 = 0;
e794:  x279 + x284 + x289 + x294 + x299 - x414 - x439 - x553 + x554 = 0;
e795:  x280 + x285 + x290 + x295 + x300 - x415 - x440 - x554 + x555 = 0;
e796:  x301 + x306 + x311 + x316 + x321 - x416 - x441 + x556 = 0;
e797:  x302 + x307 + x312 + x317 + x322 - x417 - x442 - x556 + x557 = 0;
e798:  x303 + x308 + x313 + x318 + x323 - x418 - x443 - x557 + x558 = 0;
e799:  x304 + x309 + x314 + x319 + x324 - x419 - x444 - x558 + x559 = 0;
e800:  x305 + x310 + x315 + x320 + x325 - x420 - x445 - x559 + x560 = 0;
e801:  x326 + x331 + x336 + x341 + x346 - x421 - x446 + x561 = 0;
e802:  x327 + x332 + x337 + x342 + x347 - x422 - x447 - x561 + x562 = 0;
e803:  x328 + x333 + x338 + x343 + x348 - x423 - x448 - x562 + x563 = 0;
e804:  x329 + x334 + x339 + x344 + x349 - x424 - x449 - x563 + x564 = 0;
e805:  x330 + x335 + x340 + x345 + x350 - x425 - x450 - x564 + x565 = 0;
e806:  -x226 - x251 - x276 - x301 - x326 + x351 + x356 + x566 = 0;
e807:  -x227 - x252 - x277 - x302 - x327 + x352 + x357 - x566 + x567 = 0;
e808:  -x228 - x253 - x278 - x303 - x328 + x353 + x358 - x567 + x568 = 0;
e809:  -x229 - x254 - x279 - x304 - x329 + x354 + x359 - x568 + x569 = 0;
e810:  -x230 - x255 - x280 - x305 - x330 + x355 + x360 - x569 + x570 = 0;
e811:  -x231 - x256 - x281 - x306 - x331 + x361 + x366 + x571 = 0;
e812:  -x232 - x257 - x282 - x307 - x332 + x362 + x367 - x571 + x572 = 0;
e813:  -x233 - x258 - x283 - x308 - x333 + x363 + x368 - x572 + x573 = 0;
e814:  -x234 - x259 - x284 - x309 - x334 + x364 + x369 - x573 + x574 = 0;
e815:  -x235 - x260 - x285 - x310 - x335 + x365 + x370 - x574 + x575 = 0;
e816:  -x236 - x261 - x286 - x311 - x336 + x371 + x376 + x576 = 0;
e817:  -x237 - x262 - x287 - x312 - x337 + x372 + x377 - x576 + x577 = 0;
e818:  -x238 - x263 - x288 - x313 - x338 + x373 + x378 - x577 + x578 = 0;
e819:  -x239 - x264 - x289 - x314 - x339 + x374 + x379 - x578 + x579 = 0;
e820:  -x240 - x265 - x290 - x315 - x340 + x375 + x380 - x579 + x580 = 0;
e821:  -x241 - x266 - x291 - x316 - x341 + x381 + x386 + x581 = 0;
e822:  -x242 - x267 - x292 - x317 - x342 + x382 + x387 - x581 + x582 = 0;
e823:  -x243 - x268 - x293 - x318 - x343 + x383 + x388 - x582 + x583 = 0;
e824:  -x244 - x269 - x294 - x319 - x344 + x384 + x389 - x583 + x584 = 0;
e825:  -x245 - x270 - x295 - x320 - x345 + x385 + x390 - x584 + x585 = 0;
e826:  -x246 - x271 - x296 - x321 - x346 + x391 + x396 + x586 = 0;
e827:  -x247 - x272 - x297 - x322 - x347 + x392 + x397 - x586 + x587 = 0;
e828:  -x248 - x273 - x298 - x323 - x348 + x393 + x398 - x587 + x588 = 0;
e829:  -x249 - x274 - x299 - x324 - x349 + x394 + x399 - x588 + x589 = 0;
e830:  -x250 - x275 - x300 - x325 - x350 + x395 + x400 - x589 + x590 = 0;
e831:  -x351 - x361 - x371 - x381 - x391 + x591 + x592 = 0;
e832:  -x352 - x362 - x372 - x382 - x392 - x591 + x593 + x594 = 0;
e833:  -x353 - x363 - x373 - x383 - x393 - x593 + x595 + x596 = 0;
e834:  -x354 - x364 - x374 - x384 - x394 - x595 + x597 + x598 = 0;
e835:  -x355 - x365 - x375 - x385 - x395 - x597 + x599 + x600 = 0;
e836:  -x356 - x366 - x376 - x386 - x396 + x601 + x602 = 0;
e837:  -x357 - x367 - x377 - x387 - x397 - x601 + x603 + x604 = 0;
e838:  -x358 - x368 - x378 - x388 - x398 - x603 + x605 + x728 = 0;
e839:  -x359 - x369 - x379 - x389 - x399 - x605 + x606 + x729 = 0;
e840:  -x360 - x370 - x380 - x390 - x400 - x606 + x607 + x730 = 0;
e841:  x541 * x608 - 1.97 * x401 - 4.98 * x426 = 0;
e842:  x542 * x609 - x541 * x608 + x227 * x608 + x232 * x608 + x237 * x608 +
       x242 * x608 + x247 * x608 - 1.97 * x402 - 4.98 * x427 = 0;
e843:  x543 * x610 - x542 * x609 + x228 * x609 + x233 * x609 + x238 * x609 +
       x243 * x609 + x248 * x609 - 1.97 * x403 - 4.98 * x428 = 0;
e844:  x544 * x611 - x543 * x610 + x229 * x610 + x234 * x610 + x239 * x610 +
       x244 * x610 + x249 * x610 - 1.97 * x404 - 4.98 * x429 = 0;
e845:  x545 * x612 - x544 * x611 + x230 * x611 + x235 * x611 + x240 * x611 +
       x245 * x611 + x250 * x611 - 1.97 * x405 - 4.98 * x430 = 0;
e846:  x546 * x613 - 1.97 * x406 - 4.98 * x431 = 0;
e847:  x547 * x614 - x546 * x613 + x252 * x613 + x257 * x613 + x262 * x613 +
       x267 * x613 + x272 * x613 - 1.97 * x407 - 4.98 * x432 = 0;
e848:  x548 * x615 - x547 * x614 + x253 * x614 + x258 * x614 + x263 * x614 +
       x268 * x614 + x273 * x614 - 1.97 * x408 - 4.98 * x433 = 0;
e849:  x549 * x616 - x548 * x615 + x254 * x615 + x259 * x615 + x264 * x615 +
       x269 * x615 + x274 * x615 - 1.97 * x409 - 4.98 * x434 = 0;
e850:  x550 * x617 - x549 * x616 + x255 * x616 + x260 * x616 + x265 * x616 +
       x270 * x616 + x275 * x616 - 1.97 * x410 - 4.98 * x435 = 0;
e851:  x551 * x618 - 1.97 * x411 - 4.98 * x436 = 0;
e852:  x552 * x619 - x551 * x618 + x277 * x618 + x282 * x618 + x287 * x618 +
       x292 * x618 + x297 * x618 - 1.97 * x412 - 4.98 * x437 = 0;
e853:  x553 * x620 - x552 * x619 + x278 * x619 + x283 * x619 + x288 * x619 +
       x293 * x619 + x298 * x619 - 1.97 * x413 - 4.98 * x438 = 0;
e854:  x554 * x621 - x553 * x620 + x279 * x620 + x284 * x620 + x289 * x620 +
       x294 * x620 + x299 * x620 - 1.97 * x414 - 4.98 * x439 = 0;
e855:  x555 * x622 - x554 * x621 + x280 * x621 + x285 * x621 + x290 * x621 +
       x295 * x621 + x300 * x621 - 1.97 * x415 - 4.98 * x440 = 0;
e856:  x556 * x623 - 1.97 * x416 - 4.98 * x441 = 0;
e857:  x557 * x624 - x556 * x623 + x302 * x623 + x307 * x623 + x312 * x623 +
       x317 * x623 + x322 * x623 - 1.97 * x417 - 4.98 * x442 = 0;
e858:  x558 * x625 - x557 * x624 + x303 * x624 + x308 * x624 + x313 * x624 +
       x318 * x624 + x323 * x624 - 1.97 * x418 - 4.98 * x443 = 0;
e859:  x559 * x626 - x558 * x625 + x304 * x625 + x309 * x625 + x314 * x625 +
       x319 * x625 + x324 * x625 - 1.97 * x419 - 4.98 * x444 = 0;
e860:  x560 * x627 - x559 * x626 + x305 * x626 + x310 * x626 + x315 * x626 +
       x320 * x626 + x325 * x626 - 1.97 * x420 - 4.98 * x445 = 0;
e861:  x561 * x628 - 1.97 * x421 - 4.98 * x446 = 0;
e862:  x562 * x629 - x561 * x628 + x327 * x628 + x332 * x628 + x337 * x628 +
       x342 * x628 + x347 * x628 - 1.97 * x422 - 4.98 * x447 = 0;
e863:  x563 * x630 - x562 * x629 + x328 * x629 + x333 * x629 + x338 * x629 +
       x343 * x629 + x348 * x629 - 1.97 * x423 - 4.98 * x448 = 0;
e864:  x564 * x631 - x563 * x630 + x329 * x630 + x334 * x630 + x339 * x630 +
       x344 * x630 + x349 * x630 - 1.97 * x424 - 4.98 * x449 = 0;
e865:  x565 * x632 - x564 * x631 + x330 * x631 + x335 * x631 + x340 * x631 +
       x345 * x631 + x350 * x631 - 1.97 * x425 - 4.98 * x450 = 0;
e866:  x566 * x451 = 0;
e867:  x567 * x452 - x227 * x608 - x252 * x613 - x277 * x618 - x302 * x623 -
       x327 * x628 - x566 * x451 + x352 * x451 + x357 * x451 = 0;
e868:  x568 * x453 - x228 * x609 - x253 * x614 - x278 * x619 - x303 * x624 -
       x328 * x629 - x567 * x452 + x353 * x452 + x358 * x452 = 0;
e869:  x569 * x454 - x229 * x610 - x254 * x615 - x279 * x620 - x304 * x625 -
       x329 * x630 - x568 * x453 + x354 * x453 + x359 * x453 = 0;
e870:  x570 * x633 - x230 * x611 - x255 * x616 - x280 * x621 - x305 * x626 -
       x330 * x631 - x569 * x454 + x355 * x454 + x360 * x454 = 0;
e871:  x571 * x455 = 0;
e872:  x572 * x456 - x232 * x608 - x257 * x613 - x282 * x618 - x307 * x623 -
       x332 * x628 - x571 * x455 + x362 * x455 + x367 * x455 = 0;
e873:  x573 * x457 - x233 * x609 - x258 * x614 - x283 * x619 - x308 * x624 -
       x333 * x629 - x572 * x456 + x363 * x456 + x368 * x456 = 0;
e874:  x574 * x458 - x234 * x610 - x259 * x615 - x284 * x620 - x309 * x625 -
       x334 * x630 - x573 * x457 + x364 * x457 + x369 * x457 = 0;
e875:  x575 * x634 - x235 * x611 - x260 * x616 - x285 * x621 - x310 * x626 -
       x335 * x631 - x574 * x458 + x365 * x458 + x370 * x458 = 0;
e876:  x576 * x459 = 0;
e877:  x577 * x460 - x237 * x608 - x262 * x613 - x287 * x618 - x312 * x623 -
       x337 * x628 - x576 * x459 + x372 * x459 + x377 * x459 = 0;
e878:  x578 * x461 - x238 * x609 - x263 * x614 - x288 * x619 - x313 * x624 -
       x338 * x629 - x577 * x460 + x373 * x460 + x378 * x460 = 0;
e879:  x579 * x462 - x239 * x610 - x264 * x615 - x289 * x620 - x314 * x625 -
       x339 * x630 - x578 * x461 + x374 * x461 + x379 * x461 = 0;
e880:  x580 * x635 - x240 * x611 - x265 * x616 - x290 * x621 - x315 * x626 -
       x340 * x631 - x579 * x462 + x375 * x462 + x380 * x462 = 0;
e881:  x581 * x463 = 0;
e882:  x582 * x464 - x242 * x608 - x267 * x613 - x292 * x618 - x317 * x623 -
       x342 * x628 - x581 * x463 + x382 * x463 + x387 * x463 = 0;
e883:  x583 * x465 - x243 * x609 - x268 * x614 - x293 * x619 - x318 * x624 -
       x343 * x629 - x582 * x464 + x383 * x464 + x388 * x464 = 0;
e884:  x584 * x466 - x244 * x610 - x269 * x615 - x294 * x620 - x319 * x625 -
       x344 * x630 - x583 * x465 + x384 * x465 + x389 * x465 = 0;
e885:  x585 * x636 - x245 * x611 - x270 * x616 - x295 * x621 - x320 * x626 -
       x345 * x631 - x584 * x466 + x385 * x466 + x390 * x466 = 0;
e886:  x586 * x467 = 0;
e887:  x587 * x468 - x247 * x608 - x272 * x613 - x297 * x618 - x322 * x623 -
       x347 * x628 - x586 * x467 + x392 * x467 + x397 * x467 = 0;
e888:  x588 * x469 - x248 * x609 - x273 * x614 - x298 * x619 - x323 * x624 -
       x348 * x629 - x587 * x468 + x393 * x468 + x398 * x468 = 0;
e889:  x589 * x470 - x249 * x610 - x274 * x615 - x299 * x620 - x324 * x625 -
       x349 * x630 - x588 * x469 + x394 * x469 + x399 * x469 = 0;
e890:  x590 * x637 - x250 * x611 - x275 * x616 - x300 * x621 - x325 * x626 -
       x350 * x631 - x589 * x470 + x395 * x470 + x400 * x470 = 0;
e891:  x541 * x638 - 1.45 * x401 - 0.74 * x426 = 0;
e892:  x542 * x639 - x541 * x638 + x227 * x638 + x232 * x638 + x237 * x638 +
       x242 * x638 + x247 * x638 - 1.45 * x402 - 0.74 * x427 = 0;
e893:  x543 * x640 - x542 * x639 + x228 * x639 + x233 * x639 + x238 * x639 +
       x243 * x639 + x248 * x639 - 1.45 * x403 - 0.74 * x428 = 0;
e894:  x544 * x641 - x543 * x640 + x229 * x640 + x234 * x640 + x239 * x640 +
       x244 * x640 + x249 * x640 - 1.45 * x404 - 0.74 * x429 = 0;
e895:  x545 * x642 - x544 * x641 + x230 * x641 + x235 * x641 + x240 * x641 +
       x245 * x641 + x250 * x641 - 1.45 * x405 - 0.74 * x430 = 0;
e896:  x546 * x643 - 1.45 * x406 - 0.74 * x431 = 0;
e897:  x547 * x644 - x546 * x643 + x252 * x643 + x257 * x643 + x262 * x643 +
       x267 * x643 + x272 * x643 - 1.45 * x407 - 0.74 * x432 = 0;
e898:  x548 * x645 - x547 * x644 + x253 * x644 + x258 * x644 + x263 * x644 +
       x268 * x644 + x273 * x644 - 1.45 * x408 - 0.74 * x433 = 0;
e899:  x549 * x646 - x548 * x645 + x254 * x645 + x259 * x645 + x264 * x645 +
       x269 * x645 + x274 * x645 - 1.45 * x409 - 0.74 * x434 = 0;
e900:  x550 * x647 - x549 * x646 + x255 * x646 + x260 * x646 + x265 * x646 +
       x270 * x646 + x275 * x646 - 1.45 * x410 - 0.74 * x435 = 0;
e901:  x551 * x648 - 1.45 * x411 - 0.74 * x436 = 0;
e902:  x552 * x649 - x551 * x648 + x277 * x648 + x282 * x648 + x287 * x648 +
       x292 * x648 + x297 * x648 - 1.45 * x412 - 0.74 * x437 = 0;
e903:  x553 * x650 - x552 * x649 + x278 * x649 + x283 * x649 + x288 * x649 +
       x293 * x649 + x298 * x649 - 1.45 * x413 - 0.74 * x438 = 0;
e904:  x554 * x651 - x553 * x650 + x279 * x650 + x284 * x650 + x289 * x650 +
       x294 * x650 + x299 * x650 - 1.45 * x414 - 0.74 * x439 = 0;
e905:  x555 * x652 - x554 * x651 + x280 * x651 + x285 * x651 + x290 * x651 +
       x295 * x651 + x300 * x651 - 1.45 * x415 - 0.74 * x440 = 0;
e906:  x556 * x653 - 1.45 * x416 - 0.74 * x441 = 0;
e907:  x557 * x654 - x556 * x653 + x302 * x653 + x307 * x653 + x312 * x653 +
       x317 * x653 + x322 * x653 - 1.45 * x417 - 0.74 * x442 = 0;
e908:  x558 * x655 - x557 * x654 + x303 * x654 + x308 * x654 + x313 * x654 +
       x318 * x654 + x323 * x654 - 1.45 * x418 - 0.74 * x443 = 0;
e909:  x559 * x656 - x558 * x655 + x304 * x655 + x309 * x655 + x314 * x655 +
       x319 * x655 + x324 * x655 - 1.45 * x419 - 0.74 * x444 = 0;
e910:  x560 * x657 - x559 * x656 + x305 * x656 + x310 * x656 + x315 * x656 +
       x320 * x656 + x325 * x656 - 1.45 * x420 - 0.74 * x445 = 0;
e911:  x561 * x658 - 1.45 * x421 - 0.74 * x446 = 0;
e912:  x562 * x659 - x561 * x658 + x327 * x658 + x332 * x658 + x337 * x658 +
       x342 * x658 + x347 * x658 - 1.45 * x422 - 0.74 * x447 = 0;
e913:  x563 * x660 - x562 * x659 + x328 * x659 + x333 * x659 + x338 * x659 +
       x343 * x659 + x348 * x659 - 1.45 * x423 - 0.74 * x448 = 0;
e914:  x564 * x661 - x563 * x660 + x329 * x660 + x334 * x660 + x339 * x660 +
       x344 * x660 + x349 * x660 - 1.45 * x424 - 0.74 * x449 = 0;
e915:  x565 * x662 - x564 * x661 + x330 * x661 + x335 * x661 + x340 * x661 +
       x345 * x661 + x350 * x661 - 1.45 * x425 - 0.74 * x450 = 0;
e916:  x566 * x471 = 0;
e917:  x567 * x472 - x227 * x638 - x252 * x643 - x277 * x648 - x302 * x653 -
       x327 * x658 - x566 * x471 + x352 * x471 + x357 * x471 = 0;
e918:  x568 * x473 - x228 * x639 - x253 * x644 - x278 * x649 - x303 * x654 -
       x328 * x659 - x567 * x472 + x353 * x472 + x358 * x472 = 0;
e919:  x569 * x474 - x229 * x640 - x254 * x645 - x279 * x650 - x304 * x655 -
       x329 * x660 - x568 * x473 + x354 * x473 + x359 * x473 = 0;
e920:  x570 * x663 - x230 * x641 - x255 * x646 - x280 * x651 - x305 * x656 -
       x330 * x661 - x569 * x474 + x355 * x474 + x360 * x474 = 0;
e921:  x571 * x475 = 0;
e922:  x572 * x476 - x232 * x638 - x257 * x643 - x282 * x648 - x307 * x653 -
       x332 * x658 - x571 * x475 + x362 * x475 + x367 * x475 = 0;
e923:  x573 * x477 - x233 * x639 - x258 * x644 - x283 * x649 - x308 * x654 -
       x333 * x659 - x572 * x476 + x363 * x476 + x368 * x476 = 0;
e924:  x574 * x478 - x234 * x640 - x259 * x645 - x284 * x650 - x309 * x655 -
       x334 * x660 - x573 * x477 + x364 * x477 + x369 * x477 = 0;
e925:  x575 * x664 - x235 * x641 - x260 * x646 - x285 * x651 - x310 * x656 -
       x335 * x661 - x574 * x478 + x365 * x478 + x370 * x478 = 0;
e926:  x576 * x479 = 0;
e927:  x577 * x480 - x237 * x638 - x262 * x643 - x287 * x648 - x312 * x653 -
       x337 * x658 - x576 * x479 + x372 * x479 + x377 * x479 = 0;
e928:  x578 * x481 - x238 * x639 - x263 * x644 - x288 * x649 - x313 * x654 -
       x338 * x659 - x577 * x480 + x373 * x480 + x378 * x480 = 0;
e929:  x579 * x482 - x239 * x640 - x264 * x645 - x289 * x650 - x314 * x655 -
       x339 * x660 - x578 * x481 + x374 * x481 + x379 * x481 = 0;
e930:  x580 * x665 - x240 * x641 - x265 * x646 - x290 * x651 - x315 * x656 -
       x340 * x661 - x579 * x482 + x375 * x482 + x380 * x482 = 0;
e931:  x581 * x483 = 0;
e932:  x582 * x484 - x242 * x638 - x267 * x643 - x292 * x648 - x317 * x653 -
       x342 * x658 - x581 * x483 + x382 * x483 + x387 * x483 = 0;
e933:  x583 * x485 - x243 * x639 - x268 * x644 - x293 * x649 - x318 * x654 -
       x343 * x659 - x582 * x484 + x383 * x484 + x388 * x484 = 0;
e934:  x584 * x486 - x244 * x640 - x269 * x645 - x294 * x650 - x319 * x655 -
       x344 * x660 - x583 * x485 + x384 * x485 + x389 * x485 = 0;
e935:  x585 * x666 - x245 * x641 - x270 * x646 - x295 * x651 - x320 * x656 -
       x345 * x661 - x584 * x486 + x385 * x486 + x390 * x486 = 0;
e936:  x586 * x487 = 0;
e937:  x587 * x488 - x247 * x638 - x272 * x643 - x297 * x648 - x322 * x653 -
       x347 * x658 - x586 * x487 + x392 * x487 + x397 * x487 = 0;
e938:  x588 * x489 - x248 * x639 - x273 * x644 - x298 * x649 - x323 * x654 -
       x348 * x659 - x587 * x488 + x393 * x488 + x398 * x488 = 0;
e939:  x589 * x490 - x249 * x640 - x274 * x645 - x299 * x650 - x324 * x655 -
       x349 * x660 - x588 * x489 + x394 * x489 + x399 * x489 = 0;
e940:  x590 * x667 - x250 * x641 - x275 * x646 - x300 * x651 - x325 * x656 -
       x350 * x661 - x589 * x490 + x395 * x490 + x400 * x490 = 0;
e941:  x541 * x668 - 1.31 * x401 - 1.3 * x426 = 0;
e942:  x542 * x669 - x541 * x668 + x227 * x668 + x232 * x668 + x237 * x668 +
       x242 * x668 + x247 * x668 - 1.31 * x402 - 1.3 * x427 = 0;
e943:  x543 * x670 - x542 * x669 + x228 * x669 + x233 * x669 + x238 * x669 +
       x243 * x669 + x248 * x669 - 1.31 * x403 - 1.3 * x428 = 0;
e944:  x544 * x671 - x543 * x670 + x229 * x670 + x234 * x670 + x239 * x670 +
       x244 * x670 + x249 * x670 - 1.31 * x404 - 1.3 * x429 = 0;
e945:  x545 * x672 - x544 * x671 + x230 * x671 + x235 * x671 + x240 * x671 +
       x245 * x671 + x250 * x671 - 1.31 * x405 - 1.3 * x430 = 0;
e946:  x546 * x673 - 1.31 * x406 - 1.3 * x431 = 0;
e947:  x547 * x674 - x546 * x673 + x252 * x673 + x257 * x673 + x262 * x673 +
       x267 * x673 + x272 * x673 - 1.31 * x407 - 1.3 * x432 = 0;
e948:  x548 * x675 - x547 * x674 + x253 * x674 + x258 * x674 + x263 * x674 +
       x268 * x674 + x273 * x674 - 1.31 * x408 - 1.3 * x433 = 0;
e949:  x549 * x676 - x548 * x675 + x254 * x675 + x259 * x675 + x264 * x675 +
       x269 * x675 + x274 * x675 - 1.31 * x409 - 1.3 * x434 = 0;
e950:  x550 * x677 - x549 * x676 + x255 * x676 + x260 * x676 + x265 * x676 +
       x270 * x676 + x275 * x676 - 1.31 * x410 - 1.3 * x435 = 0;
e951:  x551 * x678 - 1.31 * x411 - 1.3 * x436 = 0;
e952:  x552 * x679 - x551 * x678 + x277 * x678 + x282 * x678 + x287 * x678 +
       x292 * x678 + x297 * x678 - 1.31 * x412 - 1.3 * x437 = 0;
e953:  x553 * x680 - x552 * x679 + x278 * x679 + x283 * x679 + x288 * x679 +
       x293 * x679 + x298 * x679 - 1.31 * x413 - 1.3 * x438 = 0;
e954:  x554 * x681 - x553 * x680 + x279 * x680 + x284 * x680 + x289 * x680 +
       x294 * x680 + x299 * x680 - 1.31 * x414 - 1.3 * x439 = 0;
e955:  x555 * x682 - x554 * x681 + x280 * x681 + x285 * x681 + x290 * x681 +
       x295 * x681 + x300 * x681 - 1.31 * x415 - 1.3 * x440 = 0;
e956:  x556 * x683 - 1.31 * x416 - 1.3 * x441 = 0;
e957:  x557 * x684 - x556 * x683 + x302 * x683 + x307 * x683 + x312 * x683 +
       x317 * x683 + x322 * x683 - 1.31 * x417 - 1.3 * x442 = 0;
e958:  x558 * x685 - x557 * x684 + x303 * x684 + x308 * x684 + x313 * x684 +
       x318 * x684 + x323 * x684 - 1.31 * x418 - 1.3 * x443 = 0;
e959:  x559 * x686 - x558 * x685 + x304 * x685 + x309 * x685 + x314 * x685 +
       x319 * x685 + x324 * x685 - 1.31 * x419 - 1.3 * x444 = 0;
e960:  x560 * x687 - x559 * x686 + x305 * x686 + x310 * x686 + x315 * x686 +
       x320 * x686 + x325 * x686 - 1.31 * x420 - 1.3 * x445 = 0;
e961:  x561 * x688 - 1.31 * x421 - 1.3 * x446 = 0;
e962:  x562 * x689 - x561 * x688 + x327 * x688 + x332 * x688 + x337 * x688 +
       x342 * x688 + x347 * x688 - 1.31 * x422 - 1.3 * x447 = 0;
e963:  x563 * x690 - x562 * x689 + x328 * x689 + x333 * x689 + x338 * x689 +
       x343 * x689 + x348 * x689 - 1.31 * x423 - 1.3 * x448 = 0;
e964:  x564 * x691 - x563 * x690 + x329 * x690 + x334 * x690 + x339 * x690 +
       x344 * x690 + x349 * x690 - 1.31 * x424 - 1.3 * x449 = 0;
e965:  x565 * x692 - x564 * x691 + x330 * x691 + x335 * x691 + x340 * x691 +
       x345 * x691 + x350 * x691 - 1.31 * x425 - 1.3 * x450 = 0;
e966:  x566 * x491 = 0;
e967:  x567 * x492 - x227 * x668 - x252 * x673 - x277 * x678 - x302 * x683 -
       x327 * x688 - x566 * x491 + x352 * x491 + x357 * x491 = 0;
e968:  x568 * x493 - x228 * x669 - x253 * x674 - x278 * x679 - x303 * x684 -
       x328 * x689 - x567 * x492 + x353 * x492 + x358 * x492 = 0;
e969:  x569 * x494 - x229 * x670 - x254 * x675 - x279 * x680 - x304 * x685 -
       x329 * x690 - x568 * x493 + x354 * x493 + x359 * x493 = 0;
e970:  x570 * x693 - x230 * x671 - x255 * x676 - x280 * x681 - x305 * x686 -
       x330 * x691 - x569 * x494 + x355 * x494 + x360 * x494 = 0;
e971:  x571 * x495 = 0;
e972:  x572 * x496 - x232 * x668 - x257 * x673 - x282 * x678 - x307 * x683 -
       x332 * x688 - x571 * x495 + x362 * x495 + x367 * x495 = 0;
e973:  x573 * x497 - x233 * x669 - x258 * x674 - x283 * x679 - x308 * x684 -
       x333 * x689 - x572 * x496 + x363 * x496 + x368 * x496 = 0;
e974:  x574 * x498 - x234 * x670 - x259 * x675 - x284 * x680 - x309 * x685 -
       x334 * x690 - x573 * x497 + x364 * x497 + x369 * x497 = 0;
e975:  x575 * x694 - x235 * x671 - x260 * x676 - x285 * x681 - x310 * x686 -
       x335 * x691 - x574 * x498 + x365 * x498 + x370 * x498 = 0;
e976:  x576 * x499 = 0;
e977:  x577 * x500 - x237 * x668 - x262 * x673 - x287 * x678 - x312 * x683 -
       x337 * x688 - x576 * x499 + x372 * x499 + x377 * x499 = 0;
e978:  x578 * x501 - x238 * x669 - x263 * x674 - x288 * x679 - x313 * x684 -
       x338 * x689 - x577 * x500 + x373 * x500 + x378 * x500 = 0;
e979:  x579 * x502 - x239 * x670 - x264 * x675 - x289 * x680 - x314 * x685 -
       x339 * x690 - x578 * x501 + x374 * x501 + x379 * x501 = 0;
e980:  x580 * x695 - x240 * x671 - x265 * x676 - x290 * x681 - x315 * x686 -
       x340 * x691 - x579 * x502 + x375 * x502 + x380 * x502 = 0;
e981:  x581 * x503 = 0;
e982:  x582 * x504 - x242 * x668 - x267 * x673 - x292 * x678 - x317 * x683 -
       x342 * x688 - x581 * x503 + x382 * x503 + x387 * x503 = 0;
e983:  x583 * x505 - x243 * x669 - x268 * x674 - x293 * x679 - x318 * x684 -
       x343 * x689 - x582 * x504 + x383 * x504 + x388 * x504 = 0;
e984:  x584 * x506 - x244 * x670 - x269 * x675 - x294 * x680 - x319 * x685 -
       x344 * x690 - x583 * x505 + x384 * x505 + x389 * x505 = 0;
e985:  x585 * x696 - x245 * x671 - x270 * x676 - x295 * x681 - x320 * x686 -
       x345 * x691 - x584 * x506 + x385 * x506 + x390 * x506 = 0;
e986:  x586 * x507 = 0;
e987:  x587 * x508 - x247 * x668 - x272 * x673 - x297 * x678 - x322 * x683 -
       x347 * x688 - x586 * x507 + x392 * x507 + x397 * x507 = 0;
e988:  x588 * x509 - x248 * x669 - x273 * x674 - x298 * x679 - x323 * x684 -
       x348 * x689 - x587 * x508 + x393 * x508 + x398 * x508 = 0;
e989:  x589 * x510 - x249 * x670 - x274 * x675 - x299 * x680 - x324 * x685 -
       x349 * x690 - x588 * x509 + x394 * x509 + x399 * x509 = 0;
e990:  x590 * x697 - x250 * x671 - x275 * x676 - x300 * x681 - x325 * x686 -
       x350 * x691 - x589 * x510 + x395 * x510 + x400 * x510 = 0;
e991:  x541 * x698 - 1.64 * x401 - 1.34 * x426 = 0;
e992:  x542 * x699 - x541 * x698 + x227 * x698 + x232 * x698 + x237 * x698 +
       x242 * x698 + x247 * x698 - 1.64 * x402 - 1.34 * x427 = 0;
e993:  x543 * x700 - x542 * x699 + x228 * x699 + x233 * x699 + x238 * x699 +
       x243 * x699 + x248 * x699 - 1.64 * x403 - 1.34 * x428 = 0;
e994:  x544 * x701 - x543 * x700 + x229 * x700 + x234 * x700 + x239 * x700 +
       x244 * x700 + x249 * x700 - 1.64 * x404 - 1.34 * x429 = 0;
e995:  x545 * x702 - x544 * x701 + x230 * x701 + x235 * x701 + x240 * x701 +
       x245 * x701 + x250 * x701 - 1.64 * x405 - 1.34 * x430 = 0;
e996:  x546 * x703 - 1.64 * x406 - 1.34 * x431 = 0;
e997:  x547 * x704 - x546 * x703 + x252 * x703 + x257 * x703 + x262 * x703 +
       x267 * x703 + x272 * x703 - 1.64 * x407 - 1.34 * x432 = 0;
e998:  x548 * x705 - x547 * x704 + x253 * x704 + x258 * x704 + x263 * x704 +
       x268 * x704 + x273 * x704 - 1.64 * x408 - 1.34 * x433 = 0;
e999:  x549 * x706 - x548 * x705 + x254 * x705 + x259 * x705 + x264 * x705 +
       x269 * x705 + x274 * x705 - 1.64 * x409 - 1.34 * x434 = 0;
e1000:  x550 * x707 - x549 * x706 + x255 * x706 + x260 * x706 + x265 * x706 +
        x270 * x706 + x275 * x706 - 1.64 * x410 - 1.34 * x435 = 0;
e1001:  x551 * x708 - 1.64 * x411 - 1.34 * x436 = 0;
e1002:  x552 * x709 - x551 * x708 + x277 * x708 + x282 * x708 + x287 * x708 +
        x292 * x708 + x297 * x708 - 1.64 * x412 - 1.34 * x437 = 0;
e1003:  x553 * x710 - x552 * x709 + x278 * x709 + x283 * x709 + x288 * x709 +
        x293 * x709 + x298 * x709 - 1.64 * x413 - 1.34 * x438 = 0;
e1004:  x554 * x711 - x553 * x710 + x279 * x710 + x284 * x710 + x289 * x710 +
        x294 * x710 + x299 * x710 - 1.64 * x414 - 1.34 * x439 = 0;
e1005:  x555 * x712 - x554 * x711 + x280 * x711 + x285 * x711 + x290 * x711 +
        x295 * x711 + x300 * x711 - 1.64 * x415 - 1.34 * x440 = 0;
e1006:  x556 * x713 - 1.64 * x416 - 1.34 * x441 = 0;
e1007:  x557 * x714 - x556 * x713 + x302 * x713 + x307 * x713 + x312 * x713 +
        x317 * x713 + x322 * x713 - 1.64 * x417 - 1.34 * x442 = 0;
e1008:  x558 * x715 - x557 * x714 + x303 * x714 + x308 * x714 + x313 * x714 +
        x318 * x714 + x323 * x714 - 1.64 * x418 - 1.34 * x443 = 0;
e1009:  x559 * x716 - x558 * x715 + x304 * x715 + x309 * x715 + x314 * x715 +
        x319 * x715 + x324 * x715 - 1.64 * x419 - 1.34 * x444 = 0;
e1010:  x560 * x717 - x559 * x716 + x305 * x716 + x310 * x716 + x315 * x716 +
        x320 * x716 + x325 * x716 - 1.64 * x420 - 1.34 * x445 = 0;
e1011:  x561 * x718 - 1.64 * x421 - 1.34 * x446 = 0;
e1012:  x562 * x719 - x561 * x718 + x327 * x718 + x332 * x718 + x337 * x718 +
        x342 * x718 + x347 * x718 - 1.64 * x422 - 1.34 * x447 = 0;
e1013:  x563 * x720 - x562 * x719 + x328 * x719 + x333 * x719 + x338 * x719 +
        x343 * x719 + x348 * x719 - 1.64 * x423 - 1.34 * x448 = 0;
e1014:  x564 * x721 - x563 * x720 + x329 * x720 + x334 * x720 + x339 * x720 +
        x344 * x720 + x349 * x720 - 1.64 * x424 - 1.34 * x449 = 0;
e1015:  x565 * x722 - x564 * x721 + x330 * x721 + x335 * x721 + x340 * x721 +
        x345 * x721 + x350 * x721 - 1.64 * x425 - 1.34 * x450 = 0;
e1016:  x566 * x511 = 0;
e1017:  x567 * x512 - x227 * x698 - x252 * x703 - x277 * x708 - x302 * x713 -
        x327 * x718 - x566 * x511 + x352 * x511 + x357 * x511 = 0;
e1018:  x568 * x513 - x228 * x699 - x253 * x704 - x278 * x709 - x303 * x714 -
        x328 * x719 - x567 * x512 + x353 * x512 + x358 * x512 = 0;
e1019:  x569 * x514 - x229 * x700 - x254 * x705 - x279 * x710 - x304 * x715 -
        x329 * x720 - x568 * x513 + x354 * x513 + x359 * x513 = 0;
e1020:  x570 * x723 - x230 * x701 - x255 * x706 - x280 * x711 - x305 * x716 -
        x330 * x721 - x569 * x514 + x355 * x514 + x360 * x514 = 0;
e1021:  x571 * x515 = 0;
e1022:  x572 * x516 - x232 * x698 - x257 * x703 - x282 * x708 - x307 * x713 -
        x332 * x718 - x571 * x515 + x362 * x515 + x367 * x515 = 0;
e1023:  x573 * x517 - x233 * x699 - x258 * x704 - x283 * x709 - x308 * x714 -
        x333 * x719 - x572 * x516 + x363 * x516 + x368 * x516 = 0;
e1024:  x574 * x518 - x234 * x700 - x259 * x705 - x284 * x710 - x309 * x715 -
        x334 * x720 - x573 * x517 + x364 * x517 + x369 * x517 = 0;
e1025:  x575 * x724 - x235 * x701 - x260 * x706 - x285 * x711 - x310 * x716 -
        x335 * x721 - x574 * x518 + x365 * x518 + x370 * x518 = 0;
e1026:  x576 * x519 = 0;
e1027:  x577 * x520 - x237 * x698 - x262 * x703 - x287 * x708 - x312 * x713 -
        x337 * x718 - x576 * x519 + x372 * x519 + x377 * x519 = 0;
e1028:  x578 * x521 - x238 * x699 - x263 * x704 - x288 * x709 - x313 * x714 -
        x338 * x719 - x577 * x520 + x373 * x520 + x378 * x520 = 0;
e1029:  x579 * x522 - x239 * x700 - x264 * x705 - x289 * x710 - x314 * x715 -
        x339 * x720 - x578 * x521 + x374 * x521 + x379 * x521 = 0;
e1030:  x580 * x725 - x240 * x701 - x265 * x706 - x290 * x711 - x315 * x716 -
        x340 * x721 - x579 * x522 + x375 * x522 + x380 * x522 = 0;
e1031:  x581 * x523 = 0;
e1032:  x582 * x524 - x242 * x698 - x267 * x703 - x292 * x708 - x317 * x713 -
        x342 * x718 - x581 * x523 + x382 * x523 + x387 * x523 = 0;
e1033:  x583 * x525 - x243 * x699 - x268 * x704 - x293 * x709 - x318 * x714 -
        x343 * x719 - x582 * x524 + x383 * x524 + x388 * x524 = 0;
e1034:  x584 * x526 - x244 * x700 - x269 * x705 - x294 * x710 - x319 * x715 -
        x344 * x720 - x583 * x525 + x384 * x525 + x389 * x525 = 0;
e1035:  x585 * x726 - x245 * x701 - x270 * x706 - x295 * x711 - x320 * x716 -
        x345 * x721 - x584 * x526 + x385 * x526 + x390 * x526 = 0;
e1036:  x586 * x527 = 0;
e1037:  x587 * x528 - x247 * x698 - x272 * x703 - x297 * x708 - x322 * x713 -
        x347 * x718 - x586 * x527 + x392 * x527 + x397 * x527 = 0;
e1038:  x588 * x529 - x248 * x699 - x273 * x704 - x298 * x709 - x323 * x714 -
        x348 * x719 - x587 * x528 + x393 * x528 + x398 * x528 = 0;
e1039:  x589 * x530 - x249 * x700 - x274 * x705 - x299 * x710 - x324 * x715 -
        x349 * x720 - x588 * x529 + x394 * x529 + x399 * x529 = 0;
e1040:  x590 * x727 - x250 * x701 - x275 * x706 - x300 * x711 - x325 * x716 -
        x350 * x721 - x589 * x530 + x395 * x530 + x400 * x530 = 0;
e1041:  b1 + b126 <= 1;
e1042:  b2 + b127 <= 1;
e1043:  b3 + b128 <= 1;
e1044:  b4 + b129 <= 1;
e1045:  b5 + b130 <= 1;
e1046:  b1 + b131 <= 1;
e1047:  b2 + b132 <= 1;
e1048:  b3 + b133 <= 1;
e1049:  b4 + b134 <= 1;
e1050:  b5 + b135 <= 1;
e1051:  b6 + b136 <= 1;
e1052:  b7 + b137 <= 1;
e1053:  b8 + b138 <= 1;
e1054:  b9 + b139 <= 1;
e1055:  b10 + b140 <= 1;
e1056:  b6 + b141 <= 1;
e1057:  b7 + b142 <= 1;
e1058:  b8 + b143 <= 1;
e1059:  b9 + b144 <= 1;
e1060:  b10 + b145 <= 1;
e1061:  b11 + b146 <= 1;
e1062:  b12 + b147 <= 1;
e1063:  b13 + b148 <= 1;
e1064:  b14 + b149 <= 1;
e1065:  b15 + b150 <= 1;
e1066:  b11 + b151 <= 1;
e1067:  b12 + b152 <= 1;
e1068:  b13 + b153 <= 1;
e1069:  b14 + b154 <= 1;
e1070:  b15 + b155 <= 1;
e1071:  b16 + b156 <= 1;
e1072:  b17 + b157 <= 1;
e1073:  b18 + b158 <= 1;
e1074:  b19 + b159 <= 1;
e1075:  b20 + b160 <= 1;
e1076:  b16 + b161 <= 1;
e1077:  b17 + b162 <= 1;
e1078:  b18 + b163 <= 1;
e1079:  b19 + b164 <= 1;
e1080:  b20 + b165 <= 1;
e1081:  b21 + b166 <= 1;
e1082:  b22 + b167 <= 1;
e1083:  b23 + b168 <= 1;
e1084:  b24 + b169 <= 1;
e1085:  b25 + b170 <= 1;
e1086:  b21 + b171 <= 1;
e1087:  b22 + b172 <= 1;
e1088:  b23 + b173 <= 1;
e1089:  b24 + b174 <= 1;
e1090:  b25 + b175 <= 1;
e1091:  b26 + b126 <= 1;
e1092:  b27 + b127 <= 1;
e1093:  b28 + b128 <= 1;
e1094:  b29 + b129 <= 1;
e1095:  b30 + b130 <= 1;
e1096:  b26 + b131 <= 1;
e1097:  b27 + b132 <= 1;
e1098:  b28 + b133 <= 1;
e1099:  b29 + b134 <= 1;
e1100:  b30 + b135 <= 1;
e1101:  b31 + b136 <= 1;
e1102:  b32 + b137 <= 1;
e1103:  b33 + b138 <= 1;
e1104:  b34 + b139 <= 1;
e1105:  b35 + b140 <= 1;
e1106:  b31 + b141 <= 1;
e1107:  b32 + b142 <= 1;
e1108:  b33 + b143 <= 1;
e1109:  b34 + b144 <= 1;
e1110:  b35 + b145 <= 1;
e1111:  b36 + b146 <= 1;
e1112:  b37 + b147 <= 1;
e1113:  b38 + b148 <= 1;
e1114:  b39 + b149 <= 1;
e1115:  b40 + b150 <= 1;
e1116:  b36 + b151 <= 1;
e1117:  b37 + b152 <= 1;
e1118:  b38 + b153 <= 1;
e1119:  b39 + b154 <= 1;
e1120:  b40 + b155 <= 1;
e1121:  b41 + b156 <= 1;
e1122:  b42 + b157 <= 1;
e1123:  b43 + b158 <= 1;
e1124:  b44 + b159 <= 1;
e1125:  b45 + b160 <= 1;
e1126:  b41 + b161 <= 1;
e1127:  b42 + b162 <= 1;
e1128:  b43 + b163 <= 1;
e1129:  b44 + b164 <= 1;
e1130:  b45 + b165 <= 1;
e1131:  b46 + b166 <= 1;
e1132:  b47 + b167 <= 1;
e1133:  b48 + b168 <= 1;
e1134:  b49 + b169 <= 1;
e1135:  b50 + b170 <= 1;
e1136:  b46 + b171 <= 1;
e1137:  b47 + b172 <= 1;
e1138:  b48 + b173 <= 1;
e1139:  b49 + b174 <= 1;
e1140:  b50 + b175 <= 1;
e1141:  b51 + b126 <= 1;
e1142:  b52 + b127 <= 1;
e1143:  b53 + b128 <= 1;
e1144:  b54 + b129 <= 1;
e1145:  b55 + b130 <= 1;
e1146:  b51 + b131 <= 1;
e1147:  b52 + b132 <= 1;
e1148:  b53 + b133 <= 1;
e1149:  b54 + b134 <= 1;
e1150:  b55 + b135 <= 1;
e1151:  b56 + b136 <= 1;
e1152:  b57 + b137 <= 1;
e1153:  b58 + b138 <= 1;
e1154:  b59 + b139 <= 1;
e1155:  b60 + b140 <= 1;
e1156:  b56 + b141 <= 1;
e1157:  b57 + b142 <= 1;
e1158:  b58 + b143 <= 1;
e1159:  b59 + b144 <= 1;
e1160:  b60 + b145 <= 1;
e1161:  b61 + b146 <= 1;
e1162:  b62 + b147 <= 1;
e1163:  b63 + b148 <= 1;
e1164:  b64 + b149 <= 1;
e1165:  b65 + b150 <= 1;
e1166:  b61 + b151 <= 1;
e1167:  b62 + b152 <= 1;
e1168:  b63 + b153 <= 1;
e1169:  b64 + b154 <= 1;
e1170:  b65 + b155 <= 1;
e1171:  b66 + b156 <= 1;
e1172:  b67 + b157 <= 1;
e1173:  b68 + b158 <= 1;
e1174:  b69 + b159 <= 1;
e1175:  b70 + b160 <= 1;
e1176:  b66 + b161 <= 1;
e1177:  b67 + b162 <= 1;
e1178:  b68 + b163 <= 1;
e1179:  b69 + b164 <= 1;
e1180:  b70 + b165 <= 1;
e1181:  b71 + b166 <= 1;
e1182:  b72 + b167 <= 1;
e1183:  b73 + b168 <= 1;
e1184:  b74 + b169 <= 1;
e1185:  b75 + b170 <= 1;
e1186:  b71 + b171 <= 1;
e1187:  b72 + b172 <= 1;
e1188:  b73 + b173 <= 1;
e1189:  b74 + b174 <= 1;
e1190:  b75 + b175 <= 1;
e1191:  b76 + b126 <= 1;
e1192:  b77 + b127 <= 1;
e1193:  b78 + b128 <= 1;
e1194:  b79 + b129 <= 1;
e1195:  b80 + b130 <= 1;
e1196:  b76 + b131 <= 1;
e1197:  b77 + b132 <= 1;
e1198:  b78 + b133 <= 1;
e1199:  b79 + b134 <= 1;
e1200:  b80 + b135 <= 1;
e1201:  b81 + b136 <= 1;
e1202:  b82 + b137 <= 1;
e1203:  b83 + b138 <= 1;
e1204:  b84 + b139 <= 1;
e1205:  b85 + b140 <= 1;
e1206:  b81 + b141 <= 1;
e1207:  b82 + b142 <= 1;
e1208:  b83 + b143 <= 1;
e1209:  b84 + b144 <= 1;
e1210:  b85 + b145 <= 1;
e1211:  b86 + b146 <= 1;
e1212:  b87 + b147 <= 1;
e1213:  b88 + b148 <= 1;
e1214:  b89 + b149 <= 1;
e1215:  b90 + b150 <= 1;
e1216:  b86 + b151 <= 1;
e1217:  b87 + b152 <= 1;
e1218:  b88 + b153 <= 1;
e1219:  b89 + b154 <= 1;
e1220:  b90 + b155 <= 1;
e1221:  b91 + b156 <= 1;
e1222:  b92 + b157 <= 1;
e1223:  b93 + b158 <= 1;
e1224:  b94 + b159 <= 1;
e1225:  b95 + b160 <= 1;
e1226:  b91 + b161 <= 1;
e1227:  b92 + b162 <= 1;
e1228:  b93 + b163 <= 1;
e1229:  b94 + b164 <= 1;
e1230:  b95 + b165 <= 1;
e1231:  b96 + b166 <= 1;
e1232:  b97 + b167 <= 1;
e1233:  b98 + b168 <= 1;
e1234:  b99 + b169 <= 1;
e1235:  b100 + b170 <= 1;
e1236:  b96 + b171 <= 1;
e1237:  b97 + b172 <= 1;
e1238:  b98 + b173 <= 1;
e1239:  b99 + b174 <= 1;
e1240:  b100 + b175 <= 1;
e1241:  b101 + b126 <= 1;
e1242:  b102 + b127 <= 1;
e1243:  b103 + b128 <= 1;
e1244:  b104 + b129 <= 1;
e1245:  b105 + b130 <= 1;
e1246:  b101 + b131 <= 1;
e1247:  b102 + b132 <= 1;
e1248:  b103 + b133 <= 1;
e1249:  b104 + b134 <= 1;
e1250:  b105 + b135 <= 1;
e1251:  b106 + b136 <= 1;
e1252:  b107 + b137 <= 1;
e1253:  b108 + b138 <= 1;
e1254:  b109 + b139 <= 1;
e1255:  b110 + b140 <= 1;
e1256:  b106 + b141 <= 1;
e1257:  b107 + b142 <= 1;
e1258:  b108 + b143 <= 1;
e1259:  b109 + b144 <= 1;
e1260:  b110 + b145 <= 1;
e1261:  b111 + b146 <= 1;
e1262:  b112 + b147 <= 1;
e1263:  b113 + b148 <= 1;
e1264:  b114 + b149 <= 1;
e1265:  b115 + b150 <= 1;
e1266:  b111 + b151 <= 1;
e1267:  b112 + b152 <= 1;
e1268:  b113 + b153 <= 1;
e1269:  b114 + b154 <= 1;
e1270:  b115 + b155 <= 1;
e1271:  b116 + b156 <= 1;
e1272:  b117 + b157 <= 1;
e1273:  b118 + b158 <= 1;
e1274:  b119 + b159 <= 1;
e1275:  b120 + b160 <= 1;
e1276:  b116 + b161 <= 1;
e1277:  b117 + b162 <= 1;
e1278:  b118 + b163 <= 1;
e1279:  b119 + b164 <= 1;
e1280:  b120 + b165 <= 1;
e1281:  b121 + b166 <= 1;
e1282:  b122 + b167 <= 1;
e1283:  b123 + b168 <= 1;
e1284:  b124 + b169 <= 1;
e1285:  b125 + b170 <= 1;
e1286:  b121 + b171 <= 1;
e1287:  b122 + b172 <= 1;
e1288:  b123 + b173 <= 1;
e1289:  b124 + b174 <= 1;
e1290:  b125 + b175 <= 1;
e1291:  b1 + b176 <= 1;
e1292:  b2 + b177 <= 1;
e1293:  b3 + b178 <= 1;
e1294:  b4 + b179 <= 1;
e1295:  b5 + b180 <= 1;
e1296:  b6 + b176 <= 1;
e1297:  b7 + b177 <= 1;
e1298:  b8 + b178 <= 1;
e1299:  b9 + b179 <= 1;
e1300:  b10 + b180 <= 1;
e1301:  b11 + b176 <= 1;
e1302:  b12 + b177 <= 1;
e1303:  b13 + b178 <= 1;
e1304:  b14 + b179 <= 1;
e1305:  b15 + b180 <= 1;
e1306:  b16 + b176 <= 1;
e1307:  b17 + b177 <= 1;
e1308:  b18 + b178 <= 1;
e1309:  b19 + b179 <= 1;
e1310:  b20 + b180 <= 1;
e1311:  b21 + b176 <= 1;
e1312:  b22 + b177 <= 1;
e1313:  b23 + b178 <= 1;
e1314:  b24 + b179 <= 1;
e1315:  b25 + b180 <= 1;
e1316:  b26 + b181 <= 1;
e1317:  b27 + b182 <= 1;
e1318:  b28 + b183 <= 1;
e1319:  b29 + b184 <= 1;
e1320:  b30 + b185 <= 1;
e1321:  b31 + b181 <= 1;
e1322:  b32 + b182 <= 1;
e1323:  b33 + b183 <= 1;
e1324:  b34 + b184 <= 1;
e1325:  b35 + b185 <= 1;
e1326:  b36 + b181 <= 1;
e1327:  b37 + b182 <= 1;
e1328:  b38 + b183 <= 1;
e1329:  b39 + b184 <= 1;
e1330:  b40 + b185 <= 1;
e1331:  b41 + b181 <= 1;
e1332:  b42 + b182 <= 1;
e1333:  b43 + b183 <= 1;
e1334:  b44 + b184 <= 1;
e1335:  b45 + b185 <= 1;
e1336:  b46 + b181 <= 1;
e1337:  b47 + b182 <= 1;
e1338:  b48 + b183 <= 1;
e1339:  b49 + b184 <= 1;
e1340:  b50 + b185 <= 1;
e1341:  b51 + b186 <= 1;
e1342:  b52 + b187 <= 1;
e1343:  b53 + b188 <= 1;
e1344:  b54 + b189 <= 1;
e1345:  b55 + b190 <= 1;
e1346:  b56 + b186 <= 1;
e1347:  b57 + b187 <= 1;
e1348:  b58 + b188 <= 1;
e1349:  b59 + b189 <= 1;
e1350:  b60 + b190 <= 1;
e1351:  b61 + b186 <= 1;
e1352:  b62 + b187 <= 1;
e1353:  b63 + b188 <= 1;
e1354:  b64 + b189 <= 1;
e1355:  b65 + b190 <= 1;
e1356:  b66 + b186 <= 1;
e1357:  b67 + b187 <= 1;
e1358:  b68 + b188 <= 1;
e1359:  b69 + b189 <= 1;
e1360:  b70 + b190 <= 1;
e1361:  b71 + b186 <= 1;
e1362:  b72 + b187 <= 1;
e1363:  b73 + b188 <= 1;
e1364:  b74 + b189 <= 1;
e1365:  b75 + b190 <= 1;
e1366:  b76 + b191 <= 1;
e1367:  b77 + b192 <= 1;
e1368:  b78 + b193 <= 1;
e1369:  b79 + b194 <= 1;
e1370:  b80 + b195 <= 1;
e1371:  b81 + b191 <= 1;
e1372:  b82 + b192 <= 1;
e1373:  b83 + b193 <= 1;
e1374:  b84 + b194 <= 1;
e1375:  b85 + b195 <= 1;
e1376:  b86 + b191 <= 1;
e1377:  b87 + b192 <= 1;
e1378:  b88 + b193 <= 1;
e1379:  b89 + b194 <= 1;
e1380:  b90 + b195 <= 1;
e1381:  b91 + b191 <= 1;
e1382:  b92 + b192 <= 1;
e1383:  b93 + b193 <= 1;
e1384:  b94 + b194 <= 1;
e1385:  b95 + b195 <= 1;
e1386:  b96 + b191 <= 1;
e1387:  b97 + b192 <= 1;
e1388:  b98 + b193 <= 1;
e1389:  b99 + b194 <= 1;
e1390:  b100 + b195 <= 1;
e1391:  b101 + b196 <= 1;
e1392:  b102 + b197 <= 1;
e1393:  b103 + b198 <= 1;
e1394:  b104 + b199 <= 1;
e1395:  b105 + b200 <= 1;
e1396:  b106 + b196 <= 1;
e1397:  b107 + b197 <= 1;
e1398:  b108 + b198 <= 1;
e1399:  b109 + b199 <= 1;
e1400:  b110 + b200 <= 1;
e1401:  b111 + b196 <= 1;
e1402:  b112 + b197 <= 1;
e1403:  b113 + b198 <= 1;
e1404:  b114 + b199 <= 1;
e1405:  b115 + b200 <= 1;
e1406:  b116 + b196 <= 1;
e1407:  b117 + b197 <= 1;
e1408:  b118 + b198 <= 1;
e1409:  b119 + b199 <= 1;
e1410:  b120 + b200 <= 1;
e1411:  b121 + b196 <= 1;
e1412:  b122 + b197 <= 1;
e1413:  b123 + b198 <= 1;
e1414:  b124 + b199 <= 1;
e1415:  b125 + b200 <= 1;
e1416:  b1 + b201 <= 1;
e1417:  b2 + b202 <= 1;
e1418:  b3 + b203 <= 1;
e1419:  b4 + b204 <= 1;
e1420:  b5 + b205 <= 1;
e1421:  b6 + b201 <= 1;
e1422:  b7 + b202 <= 1;
e1423:  b8 + b203 <= 1;
e1424:  b9 + b204 <= 1;
e1425:  b10 + b205 <= 1;
e1426:  b11 + b201 <= 1;
e1427:  b12 + b202 <= 1;
e1428:  b13 + b203 <= 1;
e1429:  b14 + b204 <= 1;
e1430:  b15 + b205 <= 1;
e1431:  b16 + b201 <= 1;
e1432:  b17 + b202 <= 1;
e1433:  b18 + b203 <= 1;
e1434:  b19 + b204 <= 1;
e1435:  b20 + b205 <= 1;
e1436:  b21 + b201 <= 1;
e1437:  b22 + b202 <= 1;
e1438:  b23 + b203 <= 1;
e1439:  b24 + b204 <= 1;
e1440:  b25 + b205 <= 1;
e1441:  b26 + b206 <= 1;
e1442:  b27 + b207 <= 1;
e1443:  b28 + b208 <= 1;
e1444:  b29 + b209 <= 1;
e1445:  b30 + b210 <= 1;
e1446:  b31 + b206 <= 1;
e1447:  b32 + b207 <= 1;
e1448:  b33 + b208 <= 1;
e1449:  b34 + b209 <= 1;
e1450:  b35 + b210 <= 1;
e1451:  b36 + b206 <= 1;
e1452:  b37 + b207 <= 1;
e1453:  b38 + b208 <= 1;
e1454:  b39 + b209 <= 1;
e1455:  b40 + b210 <= 1;
e1456:  b41 + b206 <= 1;
e1457:  b42 + b207 <= 1;
e1458:  b43 + b208 <= 1;
e1459:  b44 + b209 <= 1;
e1460:  b45 + b210 <= 1;
e1461:  b46 + b206 <= 1;
e1462:  b47 + b207 <= 1;
e1463:  b48 + b208 <= 1;
e1464:  b49 + b209 <= 1;
e1465:  b50 + b210 <= 1;
e1466:  b51 + b211 <= 1;
e1467:  b52 + b212 <= 1;
e1468:  b53 + b213 <= 1;
e1469:  b54 + b214 <= 1;
e1470:  b55 + b215 <= 1;
e1471:  b56 + b211 <= 1;
e1472:  b57 + b212 <= 1;
e1473:  b58 + b213 <= 1;
e1474:  b59 + b214 <= 1;
e1475:  b60 + b215 <= 1;
e1476:  b61 + b211 <= 1;
e1477:  b62 + b212 <= 1;
e1478:  b63 + b213 <= 1;
e1479:  b64 + b214 <= 1;
e1480:  b65 + b215 <= 1;
e1481:  b66 + b211 <= 1;
e1482:  b67 + b212 <= 1;
e1483:  b68 + b213 <= 1;
e1484:  b69 + b214 <= 1;
e1485:  b70 + b215 <= 1;
e1486:  b71 + b211 <= 1;
e1487:  b72 + b212 <= 1;
e1488:  b73 + b213 <= 1;
e1489:  b74 + b214 <= 1;
e1490:  b75 + b215 <= 1;
e1491:  b76 + b216 <= 1;
e1492:  b77 + b217 <= 1;
e1493:  b78 + b218 <= 1;
e1494:  b79 + b219 <= 1;
e1495:  b80 + b220 <= 1;
e1496:  b81 + b216 <= 1;
e1497:  b82 + b217 <= 1;
e1498:  b83 + b218 <= 1;
e1499:  b84 + b219 <= 1;
e1500:  b85 + b220 <= 1;
e1501:  b86 + b216 <= 1;
e1502:  b87 + b217 <= 1;
e1503:  b88 + b218 <= 1;
e1504:  b89 + b219 <= 1;
e1505:  b90 + b220 <= 1;
e1506:  b91 + b216 <= 1;
e1507:  b92 + b217 <= 1;
e1508:  b93 + b218 <= 1;
e1509:  b94 + b219 <= 1;
e1510:  b95 + b220 <= 1;
e1511:  b96 + b216 <= 1;
e1512:  b97 + b217 <= 1;
e1513:  b98 + b218 <= 1;
e1514:  b99 + b219 <= 1;
e1515:  b100 + b220 <= 1;
e1516:  b101 + b221 <= 1;
e1517:  b102 + b222 <= 1;
e1518:  b103 + b223 <= 1;
e1519:  b104 + b224 <= 1;
e1520:  b105 + b225 <= 1;
e1521:  b106 + b221 <= 1;
e1522:  b107 + b222 <= 1;
e1523:  b108 + b223 <= 1;
e1524:  b109 + b224 <= 1;
e1525:  b110 + b225 <= 1;
e1526:  b111 + b221 <= 1;
e1527:  b112 + b222 <= 1;
e1528:  b113 + b223 <= 1;
e1529:  b114 + b224 <= 1;
e1530:  b115 + b225 <= 1;
e1531:  b116 + b221 <= 1;
e1532:  b117 + b222 <= 1;
e1533:  b118 + b223 <= 1;
e1534:  b119 + b224 <= 1;
e1535:  b120 + b225 <= 1;
e1536:  b121 + b221 <= 1;
e1537:  b122 + b222 <= 1;
e1538:  b123 + b223 <= 1;
e1539:  b124 + b224 <= 1;
e1540:  b125 + b225 <= 1;