#  QCP written by GAMS Convert at 02/15/18 15:47:13
#  
#  Equation counts
#      Total        E        G        L        N        X        C        B
#        149      137       12        0        0        0        0        0
#  
#  Variable counts
#                   x        b        i      s1s      s2s       sc       si
#      Total     cont   binary  integer     sos1     sos2    scont     sint
#        486      486        0        0        0        0        0        0
#  FX      0        0        0        0        0        0        0        0
#  
#  Nonzero counts
#      Total    const       NL      DLL
#       3199     1275     1924        0
# 
#  Reformulation has removed 1 variable and 1 equation


var x2 >= 0, <= 100000;
var x3 >= 0, <= 100000;
var x4 >= 0, <= 100000;
var x5 >= 0, <= 100000;
var x6 >= 0, <= 100000;
var x7 >= 0, <= 100000;
var x8 >= 0, <= 100000;
var x9 >= 0, <= 100000;
var x10 >= 0, <= 100000;
var x11 >= 0, <= 100000;
var x12 >= 0, <= 100000;
var x13 >= 0, <= 100000;
var x14 >= 0, <= 100000;
var x15 >= 0, <= 100000;
var x16 >= 0, <= 100000;
var x17 >= 0, <= 100000;
var x18 >= 0, <= 100000;
var x19 >= 0, <= 100000;
var x20 >= 0, <= 100000;
var x21 >= 0, <= 100000;
var x22 >= 0, <= 100000;
var x23 >= 0, <= 100000;
var x24 >= 0, <= 100000;
var x25 >= 0, <= 100000;
var x26 >= 0, <= 100000;
var x27 >= 0, <= 100000;
var x28 >= 0, <= 100000;
var x29 >= 0, <= 100000;
var x30 >= 0, <= 100000;
var x31 >= 0, <= 100000;
var x32 >= 0, <= 100000;
var x33 >= 0, <= 100000;
var x34 >= 0, <= 100000;
var x35 >= 0, <= 100000;
var x36 >= 0, <= 100000;
var x37 >= 0, <= 100000;
var x38 >= 0, <= 100000;
var x39 >= 0, <= 100000;
var x40 >= 0, <= 100000;
var x41 >= 0, <= 100000;
var x42 >= 0, <= 100000;
var x43 >= 0, <= 100000;
var x44 >= 0, <= 100000;
var x45 >= 0, <= 100000;
var x46 >= 0, <= 100000;
var x47 >= 0, <= 100000;
var x48 >= 0, <= 100000;
var x49 >= 0, <= 100000;
var x50 >= 0, <= 100000;
var x51 >= 0, <= 100000;
var x52 >= 0, <= 100000;
var x53 >= 0, <= 100000;
var x54 >= 0, <= 100000;
var x55 >= 0, <= 100000;
var x56 >= 0, <= 100000;
var x57 >= 0, <= 100000;
var x58 >= 0, <= 100000;
var x59 >= 0, <= 100000;
var x60 >= 0, <= 100000;
var x61 >= 0, <= 100000;
var x62 >= 0, <= 100000;
var x63 >= 0, <= 100000;
var x64 >= 0, <= 100000;
var x65 >= 0, <= 100000;
var x66 >= 0, <= 100000;
var x67 >= 0, <= 100000;
var x68 >= 0, <= 100000;
var x69 >= 0, <= 100000;
var x70 >= 0, <= 100000;
var x71 >= 0, <= 100000;
var x72 >= 0, <= 100000;
var x73 >= 0, <= 100000;
var x74 >= 0, <= 100000;
var x75 >= 0, <= 100000;
var x76 >= 0, <= 100000;
var x77 >= 0, <= 100000;
var x78 >= 0, <= 100000;
var x79 >= 0, <= 100000;
var x80 >= 0, <= 100000;
var x81 >= 0, <= 100000;
var x82 >= 0, <= 100000;
var x83 >= 0, <= 100000;
var x84 >= 0, <= 100000;
var x85 >= 0, <= 100000;
var x86 >= 0, <= 100000;
var x87 >= 0, <= 100000;
var x88 >= 0, <= 100000;
var x89 >= 0, <= 100000;
var x90 >= 0, <= 100000;
var x91 >= 0, <= 100000;
var x92 >= 0, <= 100000;
var x93 >= 0, <= 100000;
var x94 >= 0, <= 100000;
var x95 >= 0, <= 100000;
var x96 >= 0, <= 100000;
var x97 >= 0, <= 100000;
var x98 >= 0, <= 2250;
var x99 >= 0, <= 575;
var x100 >= 0, <= 203;
var x101 >= 0, <= 1393;
var x102 >= 0, <= 298;
var x103 >= 0, <= 2353;
var x104 >= 0, <= 364;
var x105 >= 0, <= 2396;
var x106 >= 0, <= 883;
var x107 >= 0, <= 1292;
var x108 >= 0, <= 2398;
var x109 >= 0, <= 862;
var x110 >= 0, <= 1257;
var x111 >= 0, <= 2354;
var x112 >= 0, <= 327;
var x113 >= 0, <= 341;
var x114 >= 0, <= 1680;
var x115 >= 0, <= 2476;
var x116 >= 0, <= 2105;
var x117 >= 0, <= 1092;
var x118 >= 0, <= 1759;
var x119 >= 0, <= 301;
var x120 >= 0, <= 139;
var x121 >= 0, <= 1354;
var x122 >= 0, <= 58;
var x123 >= 0, <= 2025;
var x124 >= 0, <= 511;
var x125 >= 0, <= 124;
var x126 >= 0, <= 2084;
var x127 >= 0, <= 538;
var x128 >= 0, <= 537;
var x129 >= 0, <= 225;
var x130 >= 0, <= 427;
var x131 >= 0, <= 2087;
var x132 >= 0, <= 1759;
var x133 >= 0, <= 482;
var x134 >= 0, <= 2086;
var x135 >= 0, <= 1863;
var x136 >= 0, <= 2195;
var x137 >= 0, <= 396;
var x138 >= 0, <= 2012;
var x139 >= 0, <= 994;
var x140 >= 0, <= 1923;
var x141 >= 0, <= 2076;
var x142 >= 0, <= 647;
var x143 >= 0, <= 557;
var x144 >= 0, <= 1675;
var x145 >= 0, <= 2330;
var x146 >= 0, <= 1898;
var x147 >= 0, <= 527;
var x148 >= 0, <= 381;
var x149 >= 0, <= 1257;
var x150 >= 0, <= 2278;
var x151 >= 0, <= 1665;
var x152 >= 0, <= 1333;
var x153 >= 0, <= 2093;
var x154 >= 0, <= 439;
var x155 >= 0, <= 2755;
var x156 >= 0, <= 935;
var x157 >= 0, <= 2669;
var x158 >= 0, <= 2730;
var x159 >= 0, <= 1823;
var x160 >= 0, <= 2960;
var x161 >= 0, <= 2369;
var x162 >= 0, <= 2664;
var x163 >= 0, <= 2616;
var x164 >= 0, <= 2706;
var x165 >= 0, <= 2563;
var x166 >= 0, <= 2755;
var x167 >= 0, <= 2722;
var x168 >= 0, <= 2904;
var x169 >= 0, <= 2952;
var x170 >= 0, <= 1855;
var x171 >= 0, <= 869;
var x172 >= 0, <= 1360;
var x173 >= 0, <= 2739;
var x174 >= 0, <= 1216;
var x175 >= 0, <= 2222;
var x176 >= 0, <= 1225;
var x177 >= 0, <= 2815;
var x178 >= 0, <= 2185;
var x179 >= 0, <= 1836;
var x180 >= 0, <= 1425;
var x181 >= 0, <= 2821;
var x182 >= 0, <= 2704;
var x183 >= 0, <= 2282;
var x184 >= 0, <= 2753;
var x185 >= 0, <= 716;
var x186 >= 0, <= 2504;
var x187 >= 0, <= 2858;
var x188 >= 0, <= 2823;
var x189 >= 0, <= 2142;
var x190 >= 0, <= 2966;
var x191 >= 0, <= 2563;
var x192 >= 0, <= 2218;
var x193 >= 0, <= 2127;
var x194 >= 0, <= 1446;
var x195 >= 0, <= 1730;
var x196 >= 0, <= 2830;
var x197 >= 0, <= 2558;
var x198 >= 0, <= 2236;
var x199 >= 0, <= 2292;
var x200 >= 0, <= 1911;
var x201 >= 0, <= 2001;
var x202 >= 0, <= 134;
var x203 >= 0, <= 100000;
var x204 >= 0, <= 100000;
var x205 >= 0, <= 100000;
var x206 >= 0, <= 100000;
var x207 >= 0, <= 100000;
var x208 >= 0, <= 100000;
var x209 >= 0, <= 100000;
var x210 >= 0, <= 100000;
var x211 >= 0, <= 100000;
var x212 >= 0, <= 100000;
var x213 >= 0, <= 100000;
var x214 >= 0, <= 100000;
var x215 >= 0, <= 100000;
var x216 >= 0, <= 100000;
var x217 >= 0, <= 100000;
var x218 >= 0, <= 100000;
var x219 >= 0, <= 74;
var x220 >= 0, <= 100000;
var x221 >= 0, <= 100000;
var x222 >= 0, <= 100000;
var x223 >= 0, <= 100000;
var x224 >= 0, <= 100000;
var x225 >= 0, <= 100000;
var x226 >= 0, <= 100000;
var x227 >= 0, <= 100000;
var x228 >= 0, <= 100000;
var x229 >= 0, <= 100000;
var x230 >= 0, <= 100000;
var x231 >= 0, <= 100000;
var x232 >= 0, <= 100000;
var x233 >= 0, <= 100000;
var x234 >= 0, <= 100000;
var x235 >= 0, <= 100000;
var x236 >= 0, <= 26;
var x237 >= 0, <= 100000;
var x238 >= 0, <= 100000;
var x239 >= 0, <= 100000;
var x240 >= 0, <= 100000;
var x241 >= 0, <= 100000;
var x242 >= 0, <= 100000;
var x243 >= 0, <= 100000;
var x244 >= 0, <= 100000;
var x245 >= 0, <= 100000;
var x246 >= 0, <= 100000;
var x247 >= 0, <= 100000;
var x248 >= 0, <= 100000;
var x249 >= 0, <= 100000;
var x250 >= 0, <= 100000;
var x251 >= 0, <= 100000;
var x252 >= 0, <= 100000;
var x253 >= 0, <= 88;
var x254 >= 0, <= 100000;
var x255 >= 0, <= 100000;
var x256 >= 0, <= 100000;
var x257 >= 0, <= 100000;
var x258 >= 0, <= 100000;
var x259 >= 0, <= 100000;
var x260 >= 0, <= 100000;
var x261 >= 0, <= 100000;
var x262 >= 0, <= 100000;
var x263 >= 0, <= 100000;
var x264 >= 0, <= 100000;
var x265 >= 0, <= 100000;
var x266 >= 0, <= 100000;
var x267 >= 0, <= 100000;
var x268 >= 0, <= 100000;
var x269 >= 0, <= 100000;
var x270 >= 0, <= 100;
var x271 >= 0, <= 100000;
var x272 >= 0, <= 100000;
var x273 >= 0, <= 100000;
var x274 >= 0, <= 100000;
var x275 >= 0, <= 100000;
var x276 >= 0, <= 100000;
var x277 >= 0, <= 100000;
var x278 >= 0, <= 100000;
var x279 >= 0, <= 100000;
var x280 >= 0, <= 100000;
var x281 >= 0, <= 100000;
var x282 >= 0, <= 100000;
var x283 >= 0, <= 100000;
var x284 >= 0, <= 100000;
var x285 >= 0, <= 100000;
var x286 >= 0, <= 100000;
var x287 >= 0, <= 55;
var x288 >= 0, <= 100000;
var x289 >= 0, <= 100000;
var x290 >= 0, <= 100000;
var x291 >= 0, <= 100000;
var x292 >= 0, <= 100000;
var x293 >= 0, <= 100000;
var x294 >= 0, <= 100000;
var x295 >= 0, <= 100000;
var x296 >= 0, <= 100000;
var x297 >= 0, <= 100000;
var x298 >= 0, <= 100000;
var x299 >= 0, <= 100000;
var x300 >= 0, <= 100000;
var x301 >= 0, <= 100000;
var x302 >= 0, <= 100000;
var x303 >= 0, <= 100000;
var x304 >= 0, <= 50;
var x305 >= 0, <= 100000;
var x306 >= 0, <= 100000;
var x307 >= 0, <= 100000;
var x308 >= 0, <= 100000;
var x309 >= 0, <= 100000;
var x310 >= 0, <= 100000;
var x311 >= 0, <= 100000;
var x312 >= 0, <= 100000;
var x313 >= 0, <= 100000;
var x314 >= 0, <= 100000;
var x315 >= 0, <= 100000;
var x316 >= 0, <= 100000;
var x317 >= 0, <= 100000;
var x318 >= 0, <= 100000;
var x319 >= 0, <= 100000;
var x320 >= 0, <= 100000;
var x321 >= 0, <= 26;
var x322 >= 0, <= 100000;
var x323 >= 0, <= 100000;
var x324 >= 0, <= 100000;
var x325 >= 0, <= 100000;
var x326 >= 0, <= 100000;
var x327 >= 0, <= 100000;
var x328 >= 0, <= 100000;
var x329 >= 0, <= 100000;
var x330 >= 0, <= 100000;
var x331 >= 0, <= 100000;
var x332 >= 0, <= 100000;
var x333 >= 0, <= 100000;
var x334 >= 0, <= 100000;
var x335 >= 0, <= 100000;
var x336 >= 0, <= 100000;
var x337 >= 0, <= 100000;
var x338 >= 0, <= 98;
var x339 >= 0, <= 100000;
var x340 >= 0, <= 100000;
var x341 >= 0, <= 100000;
var x342 >= 0, <= 100000;
var x343 >= 0, <= 100000;
var x344 >= 0, <= 100000;
var x345 >= 0, <= 100000;
var x346 >= 0, <= 100000;
var x347 >= 0, <= 100000;
var x348 >= 0, <= 100000;
var x349 >= 0, <= 100000;
var x350 >= 0, <= 100000;
var x351 >= 0, <= 100000;
var x352 >= 0, <= 100000;
var x353 >= 0, <= 100000;
var x354 >= 0, <= 100000;
var x355 >= 0, <= 115;
var x356 >= 0, <= 100000;
var x357 >= 0, <= 100000;
var x358 >= 0, <= 100000;
var x359 >= 0, <= 100000;
var x360 >= 0, <= 100000;
var x361 >= 0, <= 100000;
var x362 >= 0, <= 100000;
var x363 >= 0, <= 100000;
var x364 >= 0, <= 100000;
var x365 >= 0, <= 100000;
var x366 >= 0, <= 100000;
var x367 >= 0, <= 100000;
var x368 >= 0, <= 100000;
var x369 >= 0, <= 100000;
var x370 >= 0, <= 100000;
var x371 >= 0, <= 100000;
var x372 >= 0, <= 85;
var x373 >= 0, <= 100000;
var x374 >= 0, <= 100000;
var x375 >= 0, <= 100000;
var x376 >= 0, <= 100000;
var x377 >= 0, <= 100000;
var x378 >= 0, <= 100000;
var x379 >= 0, <= 100000;
var x380 >= 0, <= 100000;
var x381 >= 0, <= 100000;
var x382 >= 0, <= 100000;
var x383 >= 0, <= 100000;
var x384 >= 0, <= 100000;
var x385 >= 0, <= 100000;
var x386 >= 0, <= 100000;
var x387 >= 0, <= 100000;
var x388 >= 0, <= 100000;
var x389 >= 0, <= 95;
var x390 >= 0, <= 100000;
var x391 >= 0, <= 100000;
var x392 >= 0, <= 100000;
var x393 >= 0, <= 100000;
var x394 >= 0, <= 100000;
var x395 >= 0, <= 100000;
var x396 >= 0, <= 100000;
var x397 >= 0, <= 100000;
var x398 >= 0, <= 100000;
var x399 >= 0, <= 100000;
var x400 >= 0, <= 100000;
var x401 >= 0, <= 100000;
var x402 >= 0, <= 100000;
var x403 >= 0, <= 100000;
var x404 >= 0, <= 100000;
var x405 >= 0, <= 100000;
var x406 >= 0, <= 100;
var x407 >= 0, <= 100000;
var x408 >= 0, <= 100000;
var x409 >= 0, <= 100000;
var x410 >= 0, <= 100000;
var x411 >= 0, <= 100000;
var x412 >= 0, <= 100000;
var x413 >= 0, <= 100000;
var x414 >= 0, <= 100000;
var x415 >= 0, <= 100000;
var x416 >= 0, <= 100000;
var x417 >= 0, <= 100000;
var x418 >= 0, <= 100000;
var x419 >= 0, <= 100000;
var x420 >= 0, <= 100000;
var x421 >= 0, <= 100000;
var x422 >= 0, <= 100000;
var x423 >= 0, <= 100000;
var x424 >= 0, <= 100000;
var x425 >= 0, <= 100000;
var x426 >= 0, <= 100000;
var x427 >= 0, <= 100000;
var x428 >= 0, <= 100000;
var x429 >= 0, <= 100000;
var x430 >= 0, <= 100000;
var x431 >= 0, <= 100000;
var x432 >= 0, <= 100000;
var x433 >= 0, <= 100000;
var x434 >= 0, <= 100000;
var x435 >= 0, <= 100000;
var x436 >= 0, <= 100000;
var x437 >= 0, <= 100000;
var x438 >= 0, <= 100000;
var x439 >= 0, <= 100000;
var x440 >= 0, <= 100000;
var x441 >= 0, <= 100000;
var x442 >= 0, <= 100000;
var x443 >= 0, <= 100000;
var x444 >= 0, <= 100000;
var x445 >= 0, <= 100000;
var x446 >= 0, <= 100000;
var x447 >= 0, <= 100000;
var x448 >= 0, <= 100000;
var x449 >= 0, <= 100000;
var x450 >= 0, <= 100000;
var x451 >= 0, <= 100000;
var x452 >= 0, <= 100000;
var x453 >= 0, <= 100000;
var x454 >= 0, <= 100000;
var x455 >= 0, <= 100000;
var x456 >= 0, <= 100000;
var x457 >= 0, <= 100000;
var x458 >= 0, <= 100000;
var x459 >= 0, <= 100000;
var x460 >= 0, <= 100000;
var x461 >= 0, <= 100000;
var x462 >= 0, <= 100000;
var x463 >= 0, <= 100000;
var x464 >= 0, <= 100000;
var x465 >= 0, <= 100000;
var x466 >= 0, <= 100000;
var x467 >= 0, <= 100000;
var x468 >= 0, <= 100000;
var x469 >= 0, <= 100000;
var x470 >= 0, <= 100000;
var x471 >= 0, <= 100000;
var x472 >= 0, <= 100000;
var x473 >= 0, <= 100000;
var x474 >= 0, <= 100000;
var x475 >= 0, <= 100000;
var x476 >= 0, <= 100000;
var x477 >= 0, <= 100000;
var x478 >= 0, <= 100000;
var x479 >= 0, <= 100000;
var x480 >= 0, <= 100000;
var x481 >= 0, <= 100000;
var x482 >= 0, <= 100000;
var x483 >= 0, <= 100000;
var x484 >= 0, <= 100000;
var x485 >= 0, <= 100000;
var x486 >= 0, <= 100000;

minimize obj:    x2 + x3 + x4 + x5 + x6 + x7 + x8 + x9 + x10 + x11 + x12 + x13
     + x14 + x15 + x16 + x17 + x18 + x19 + x20 + x21 + x22 + x23 + x24 + x25
     + x26 + x27 + x28 + x29 + x30 + x31 + x32 + x33 + x34 + x35 + x36 + x37
     + x38 + x39 + x40 + x41 + x42 + x43 + x44 + x45 + x46 + x47 + x48 + x49
     + x50 + x51 + x52 + x53 + x54 + x55 + x56 + x57 + x58 + x59 + x60 + x61
     + x62 + x63 + x64 + x65 + x66 + x67 + x68 + x69 + x70 + x71 + x72 + x73
     + x74 + x75 + x76 + x77 + x78 + x79 + x80 + x81 + x82 + x83 + x84 + x85
     + x86 + x87 + x88 + x89 + x90 + x91 + x92 + x93 + x94 + x95 + x96 + x97;

subject to

e2:  - x2 - x18 - x34 - x50 - x66 - x82 + x202 - x203 - x204 - x205 - x206
     - x207 - x208 - x209 - x210 - x211 - x212 - x213 - x214 - x215 - x216
     - x217 - x218 = 0;

e3:  - x3 - x19 - x35 - x51 - x67 - x83 + x219 - x220 - x221 - x222 - x223
     - x224 - x225 - x226 - x227 - x228 - x229 - x230 - x231 - x232 - x233
     - x234 - x235 = 0;

e4:  - x4 - x20 - x36 - x52 - x68 - x84 + x236 - x237 - x238 - x239 - x240
     - x241 - x242 - x243 - x244 - x245 - x246 - x247 - x248 - x249 - x250
     - x251 - x252 = 0;

e5:  - x5 - x21 - x37 - x53 - x69 - x85 + x253 - x254 - x255 - x256 - x257
     - x258 - x259 - x260 - x261 - x262 - x263 - x264 - x265 - x266 - x267
     - x268 - x269 = 0;

e6:  - x6 - x22 - x38 - x54 - x70 - x86 + x270 - x271 - x272 - x273 - x274
     - x275 - x276 - x277 - x278 - x279 - x280 - x281 - x282 - x283 - x284
     - x285 - x286 = 0;

e7:  - x7 - x23 - x39 - x55 - x71 - x87 + x287 - x288 - x289 - x290 - x291
     - x292 - x293 - x294 - x295 - x296 - x297 - x298 - x299 - x300 - x301
     - x302 - x303 = 0;

e8:  - x8 - x24 - x40 - x56 - x72 - x88 + x304 - x305 - x306 - x307 - x308
     - x309 - x310 - x311 - x312 - x313 - x314 - x315 - x316 - x317 - x318
     - x319 - x320 = 0;

e9:  - x9 - x25 - x41 - x57 - x73 - x89 + x321 - x322 - x323 - x324 - x325
     - x326 - x327 - x328 - x329 - x330 - x331 - x332 - x333 - x334 - x335
     - x336 - x337 = 0;

e10:  - x10 - x26 - x42 - x58 - x74 - x90 + x338 - x339 - x340 - x341 - x342
      - x343 - x344 - x345 - x346 - x347 - x348 - x349 - x350 - x351 - x352
      - x353 - x354 = 0;

e11:  - x11 - x27 - x43 - x59 - x75 - x91 + x355 - x356 - x357 - x358 - x359
      - x360 - x361 - x362 - x363 - x364 - x365 - x366 - x367 - x368 - x369
      - x370 - x371 = 0;

e12:  - x12 - x28 - x44 - x60 - x76 - x92 + x372 - x373 - x374 - x375 - x376
      - x377 - x378 - x379 - x380 - x381 - x382 - x383 - x384 - x385 - x386
      - x387 - x388 = 0;

e13:  - x13 - x29 - x45 - x61 - x77 - x93 + x389 - x390 - x391 - x392 - x393
      - x394 - x395 - x396 - x397 - x398 - x399 - x400 - x401 - x402 - x403
      - x404 - x405 = 0;

e14:  - x14 - x30 - x46 - x62 - x78 - x94 + x406 - x407 - x408 - x409 - x410
      - x411 - x412 - x413 - x414 - x415 - x416 - x417 - x418 - x419 - x420
      - x421 - x422 = 0;

e15:  - x15 - x31 - x47 - x63 - x79 - x95 - x423 - x424 - x425 - x426 - x427
      - x428 - x429 - x430 - x431 - x432 - x433 - x434 - x435 - x436 - x437
      - x438 = -45;

e16:  - x16 - x32 - x48 - x64 - x80 - x96 - x439 - x440 - x441 - x442 - x443
      - x444 - x445 - x446 - x447 - x448 - x449 - x450 - x451 - x452 - x453
      - x454 = -100;

e17:  - x17 - x33 - x49 - x65 - x81 - x97 - x455 - x456 - x457 - x458 - x459
      - x460 - x461 - x462 - x463 - x464 - x465 - x466 - x467 - x468 - x469
      - x470 = -75;

e18:    x202 - x203 - x220 - x237 - x254 - x271 - x288 - x305 - x322 - x339
      - x356 - x373 - x390 - x407 - x423 - x439 - x455 - x471 = 0;

e19:  - x204 + x219 - x221 - x238 - x255 - x272 - x289 - x306 - x323 - x340
      - x357 - x374 - x391 - x408 - x424 - x440 - x456 - x472 = 0;

e20:  - x205 - x222 + x236 - x239 - x256 - x273 - x290 - x307 - x324 - x341
      - x358 - x375 - x392 - x409 - x425 - x441 - x457 - x473 = 0;

e21:  - x206 - x223 - x240 + x253 - x257 - x274 - x291 - x308 - x325 - x342
      - x359 - x376 - x393 - x410 - x426 - x442 - x458 - x474 = 0;

e22:  - x207 - x224 - x241 - x258 + x270 - x275 - x292 - x309 - x326 - x343
      - x360 - x377 - x394 - x411 - x427 - x443 - x459 - x475 = 0;

e23:  - x208 - x225 - x242 - x259 - x276 + x287 - x293 - x310 - x327 - x344
      - x361 - x378 - x395 - x412 - x428 - x444 - x460 - x476 = 0;

e24:  - x209 - x226 - x243 - x260 - x277 - x294 + x304 - x311 - x328 - x345
      - x362 - x379 - x396 - x413 - x429 - x445 - x461 - x477 = 0;

e25:  - x210 - x227 - x244 - x261 - x278 - x295 - x312 + x321 - x329 - x346
      - x363 - x380 - x397 - x414 - x430 - x446 - x462 - x478 = 0;

e26:  - x211 - x228 - x245 - x262 - x279 - x296 - x313 - x330 + x338 - x347
      - x364 - x381 - x398 - x415 - x431 - x447 - x463 - x479 = 0;

e27:  - x212 - x229 - x246 - x263 - x280 - x297 - x314 - x331 - x348 + x355
      - x365 - x382 - x399 - x416 - x432 - x448 - x464 - x480 = 0;

e28:  - x213 - x230 - x247 - x264 - x281 - x298 - x315 - x332 - x349 - x366
      + x372 - x383 - x400 - x417 - x433 - x449 - x465 - x481 = 0;

e29:  - x214 - x231 - x248 - x265 - x282 - x299 - x316 - x333 - x350 - x367
      - x384 + x389 - x401 - x418 - x434 - x450 - x466 - x482 = 0;

e30:  - x215 - x232 - x249 - x266 - x283 - x300 - x317 - x334 - x351 - x368
      - x385 - x402 + x406 - x419 - x435 - x451 - x467 - x483 = 0;

e31:  - x216 - x233 - x250 - x267 - x284 - x301 - x318 - x335 - x352 - x369
      - x386 - x403 - x420 - x436 - x452 - x468 - x484 = -70;

e32:  - x217 - x234 - x251 - x268 - x285 - x302 - x319 - x336 - x353 - x370
      - x387 - x404 - x421 - x437 - x453 - x469 - x485 = -120;

e33:  - x218 - x235 - x252 - x269 - x286 - x303 - x320 - x337 - x354 - x371
      - x388 - x405 - x422 - x438 - x454 - x470 - x486 = -80;

e34: x202*x98 - x203*x150 - x204*x154 - x205*x158 - x206*x162 - x207*x166 - 
     x208*x170 - x209*x174 - x210*x178 - x211*x182 - x212*x186 - x213*x190 - 
     x214*x194 - x215*x198 - 2*x2 - 7*x18 - 7*x34 - 6*x50 - 4*x66 - 8*x82
      - 2808*x216 - 1753*x217 - 1379*x218 = 0;

e35: x202*x99 - x203*x151 - x204*x155 - x205*x159 - x206*x163 - x207*x167 - 
     x208*x171 - x209*x175 - x210*x179 - x211*x183 - x212*x187 - x213*x191 - 
     x214*x195 - x215*x199 - 9*x2 - 6*x18 - 9*x34 - 9*x50 - 5*x82 - 1630*x216
      - 1716*x217 - 2352*x218 = 0;

e36: x202*x100 - x203*x152 - x204*x156 - x205*x160 - x206*x164 - x207*x168 - 
     x208*x172 - x209*x176 - x210*x180 - x211*x184 - x212*x188 - x213*x192 - 
     x214*x196 - x215*x200 - 8*x2 - 4*x18 - 7*x34 - 8*x50 - 6*x82 - 2281*x216
      - 890*x217 - 2532*x218 = 0;

e37: x202*x101 - x203*x153 - x204*x157 - x205*x161 - x206*x165 - x207*x169 - 
     x208*x173 - x209*x177 - x210*x181 - x211*x185 - x212*x189 - x213*x193 - 
     x214*x197 - x215*x201 - x2 - 6*x18 - x34 - 6*x66 - 9*x82 - 1996*x216
      - 1853*x217 - 626*x218 = 0;

e38: x219*x102 - x220*x150 - x221*x154 - x222*x158 - x223*x162 - x224*x166 - 
     x225*x170 - x226*x174 - x227*x178 - x228*x182 - x229*x186 - x230*x190 - 
     x231*x194 - x232*x198 - 2*x3 - 7*x19 - 7*x35 - 6*x51 - 4*x67 - 8*x83
      - 2808*x233 - 1753*x234 - 1379*x235 = 0;

e39: x219*x103 - x220*x151 - x221*x155 - x222*x159 - x223*x163 - x224*x167 - 
     x225*x171 - x226*x175 - x227*x179 - x228*x183 - x229*x187 - x230*x191 - 
     x231*x195 - x232*x199 - 9*x3 - 6*x19 - 9*x35 - 9*x51 - 5*x83 - 1630*x233
      - 1716*x234 - 2352*x235 = 0;

e40: x219*x104 - x220*x152 - x221*x156 - x222*x160 - x223*x164 - x224*x168 - 
     x225*x172 - x226*x176 - x227*x180 - x228*x184 - x229*x188 - x230*x192 - 
     x231*x196 - x232*x200 - 8*x3 - 4*x19 - 7*x35 - 8*x51 - 6*x83 - 2281*x233
      - 890*x234 - 2532*x235 = 0;

e41: x219*x105 - x220*x153 - x221*x157 - x222*x161 - x223*x165 - x224*x169 - 
     x225*x173 - x226*x177 - x227*x181 - x228*x185 - x229*x189 - x230*x193 - 
     x231*x197 - x232*x201 - x3 - 6*x19 - x35 - 6*x67 - 9*x83 - 1996*x233
      - 1853*x234 - 626*x235 = 0;

e42: x236*x106 - x237*x150 - x238*x154 - x239*x158 - x240*x162 - x241*x166 - 
     x242*x170 - x243*x174 - x244*x178 - x245*x182 - x246*x186 - x247*x190 - 
     x248*x194 - x249*x198 - 2*x4 - 7*x20 - 7*x36 - 6*x52 - 4*x68 - 8*x84
      - 2808*x250 - 1753*x251 - 1379*x252 = 0;

e43: x236*x107 - x237*x151 - x238*x155 - x239*x159 - x240*x163 - x241*x167 - 
     x242*x171 - x243*x175 - x244*x179 - x245*x183 - x246*x187 - x247*x191 - 
     x248*x195 - x249*x199 - 9*x4 - 6*x20 - 9*x36 - 9*x52 - 5*x84 - 1630*x250
      - 1716*x251 - 2352*x252 = 0;

e44: x236*x108 - x237*x152 - x238*x156 - x239*x160 - x240*x164 - x241*x168 - 
     x242*x172 - x243*x176 - x244*x180 - x245*x184 - x246*x188 - x247*x192 - 
     x248*x196 - x249*x200 - 8*x4 - 4*x20 - 7*x36 - 8*x52 - 6*x84 - 2281*x250
      - 890*x251 - 2532*x252 = 0;

e45: x236*x109 - x237*x153 - x238*x157 - x239*x161 - x240*x165 - x241*x169 - 
     x242*x173 - x243*x177 - x244*x181 - x245*x185 - x246*x189 - x247*x193 - 
     x248*x197 - x249*x201 - x4 - 6*x20 - x36 - 6*x68 - 9*x84 - 1996*x250
      - 1853*x251 - 626*x252 = 0;

e46: x253*x110 - x254*x150 - x255*x154 - x256*x158 - x257*x162 - x258*x166 - 
     x259*x170 - x260*x174 - x261*x178 - x262*x182 - x263*x186 - x264*x190 - 
     x265*x194 - x266*x198 - 2*x5 - 7*x21 - 7*x37 - 6*x53 - 4*x69 - 8*x85
      - 2808*x267 - 1753*x268 - 1379*x269 = 0;

e47: x253*x111 - x254*x151 - x255*x155 - x256*x159 - x257*x163 - x258*x167 - 
     x259*x171 - x260*x175 - x261*x179 - x262*x183 - x263*x187 - x264*x191 - 
     x265*x195 - x266*x199 - 9*x5 - 6*x21 - 9*x37 - 9*x53 - 5*x85 - 1630*x267
      - 1716*x268 - 2352*x269 = 0;

e48: x253*x112 - x254*x152 - x255*x156 - x256*x160 - x257*x164 - x258*x168 - 
     x259*x172 - x260*x176 - x261*x180 - x262*x184 - x263*x188 - x264*x192 - 
     x265*x196 - x266*x200 - 8*x5 - 4*x21 - 7*x37 - 8*x53 - 6*x85 - 2281*x267
      - 890*x268 - 2532*x269 = 0;

e49: x253*x113 - x254*x153 - x255*x157 - x256*x161 - x257*x165 - x258*x169 - 
     x259*x173 - x260*x177 - x261*x181 - x262*x185 - x263*x189 - x264*x193 - 
     x265*x197 - x266*x201 - x5 - 6*x21 - x37 - 6*x69 - 9*x85 - 1996*x267
      - 1853*x268 - 626*x269 = 0;

e50: x270*x114 - x271*x150 - x272*x154 - x273*x158 - x274*x162 - x275*x166 - 
     x276*x170 - x277*x174 - x278*x178 - x279*x182 - x280*x186 - x281*x190 - 
     x282*x194 - x283*x198 - 2*x6 - 7*x22 - 7*x38 - 6*x54 - 4*x70 - 8*x86
      - 2808*x284 - 1753*x285 - 1379*x286 = 0;

e51: x270*x115 - x271*x151 - x272*x155 - x273*x159 - x274*x163 - x275*x167 - 
     x276*x171 - x277*x175 - x278*x179 - x279*x183 - x280*x187 - x281*x191 - 
     x282*x195 - x283*x199 - 9*x6 - 6*x22 - 9*x38 - 9*x54 - 5*x86 - 1630*x284
      - 1716*x285 - 2352*x286 = 0;

e52: x270*x116 - x271*x152 - x272*x156 - x273*x160 - x274*x164 - x275*x168 - 
     x276*x172 - x277*x176 - x278*x180 - x279*x184 - x280*x188 - x281*x192 - 
     x282*x196 - x283*x200 - 8*x6 - 4*x22 - 7*x38 - 8*x54 - 6*x86 - 2281*x284
      - 890*x285 - 2532*x286 = 0;

e53: x270*x117 - x271*x153 - x272*x157 - x273*x161 - x274*x165 - x275*x169 - 
     x276*x173 - x277*x177 - x278*x181 - x279*x185 - x280*x189 - x281*x193 - 
     x282*x197 - x283*x201 - x6 - 6*x22 - x38 - 6*x70 - 9*x86 - 1996*x284
      - 1853*x285 - 626*x286 = 0;

e54: x287*x118 - x288*x150 - x289*x154 - x290*x158 - x291*x162 - x292*x166 - 
     x293*x170 - x294*x174 - x295*x178 - x296*x182 - x297*x186 - x298*x190 - 
     x299*x194 - x300*x198 - 2*x7 - 7*x23 - 7*x39 - 6*x55 - 4*x71 - 8*x87
      - 2808*x301 - 1753*x302 - 1379*x303 = 0;

e55: x287*x119 - x288*x151 - x289*x155 - x290*x159 - x291*x163 - x292*x167 - 
     x293*x171 - x294*x175 - x295*x179 - x296*x183 - x297*x187 - x298*x191 - 
     x299*x195 - x300*x199 - 9*x7 - 6*x23 - 9*x39 - 9*x55 - 5*x87 - 1630*x301
      - 1716*x302 - 2352*x303 = 0;

e56: x287*x120 - x288*x152 - x289*x156 - x290*x160 - x291*x164 - x292*x168 - 
     x293*x172 - x294*x176 - x295*x180 - x296*x184 - x297*x188 - x298*x192 - 
     x299*x196 - x300*x200 - 8*x7 - 4*x23 - 7*x39 - 8*x55 - 6*x87 - 2281*x301
      - 890*x302 - 2532*x303 = 0;

e57: x287*x121 - x288*x153 - x289*x157 - x290*x161 - x291*x165 - x292*x169 - 
     x293*x173 - x294*x177 - x295*x181 - x296*x185 - x297*x189 - x298*x193 - 
     x299*x197 - x300*x201 - x7 - 6*x23 - x39 - 6*x71 - 9*x87 - 1996*x301
      - 1853*x302 - 626*x303 = 0;

e58: x304*x122 - x305*x150 - x306*x154 - x307*x158 - x308*x162 - x309*x166 - 
     x310*x170 - x311*x174 - x312*x178 - x313*x182 - x314*x186 - x315*x190 - 
     x316*x194 - x317*x198 - 2*x8 - 7*x24 - 7*x40 - 6*x56 - 4*x72 - 8*x88
      - 2808*x318 - 1753*x319 - 1379*x320 = 0;

e59: x304*x123 - x305*x151 - x306*x155 - x307*x159 - x308*x163 - x309*x167 - 
     x310*x171 - x311*x175 - x312*x179 - x313*x183 - x314*x187 - x315*x191 - 
     x316*x195 - x317*x199 - 9*x8 - 6*x24 - 9*x40 - 9*x56 - 5*x88 - 1630*x318
      - 1716*x319 - 2352*x320 = 0;

e60: x304*x124 - x305*x152 - x306*x156 - x307*x160 - x308*x164 - x309*x168 - 
     x310*x172 - x311*x176 - x312*x180 - x313*x184 - x314*x188 - x315*x192 - 
     x316*x196 - x317*x200 - 8*x8 - 4*x24 - 7*x40 - 8*x56 - 6*x88 - 2281*x318
      - 890*x319 - 2532*x320 = 0;

e61: x304*x125 - x305*x153 - x306*x157 - x307*x161 - x308*x165 - x309*x169 - 
     x310*x173 - x311*x177 - x312*x181 - x313*x185 - x314*x189 - x315*x193 - 
     x316*x197 - x317*x201 - x8 - 6*x24 - x40 - 6*x72 - 9*x88 - 1996*x318
      - 1853*x319 - 626*x320 = 0;

e62: x321*x126 - x322*x150 - x323*x154 - x324*x158 - x325*x162 - x326*x166 - 
     x327*x170 - x328*x174 - x329*x178 - x330*x182 - x331*x186 - x332*x190 - 
     x333*x194 - x334*x198 - 2*x9 - 7*x25 - 7*x41 - 6*x57 - 4*x73 - 8*x89
      - 2808*x335 - 1753*x336 - 1379*x337 = 0;

e63: x321*x127 - x322*x151 - x323*x155 - x324*x159 - x325*x163 - x326*x167 - 
     x327*x171 - x328*x175 - x329*x179 - x330*x183 - x331*x187 - x332*x191 - 
     x333*x195 - x334*x199 - 9*x9 - 6*x25 - 9*x41 - 9*x57 - 5*x89 - 1630*x335
      - 1716*x336 - 2352*x337 = 0;

e64: x321*x128 - x322*x152 - x323*x156 - x324*x160 - x325*x164 - x326*x168 - 
     x327*x172 - x328*x176 - x329*x180 - x330*x184 - x331*x188 - x332*x192 - 
     x333*x196 - x334*x200 - 8*x9 - 4*x25 - 7*x41 - 8*x57 - 6*x89 - 2281*x335
      - 890*x336 - 2532*x337 = 0;

e65: x321*x129 - x322*x153 - x323*x157 - x324*x161 - x325*x165 - x326*x169 - 
     x327*x173 - x328*x177 - x329*x181 - x330*x185 - x331*x189 - x332*x193 - 
     x333*x197 - x334*x201 - x9 - 6*x25 - x41 - 6*x73 - 9*x89 - 1996*x335
      - 1853*x336 - 626*x337 = 0;

e66: x338*x130 - x339*x150 - x340*x154 - x341*x158 - x342*x162 - x343*x166 - 
     x344*x170 - x345*x174 - x346*x178 - x347*x182 - x348*x186 - x349*x190 - 
     x350*x194 - x351*x198 - 2*x10 - 7*x26 - 7*x42 - 6*x58 - 4*x74 - 8*x90
      - 2808*x352 - 1753*x353 - 1379*x354 = 0;

e67: x338*x131 - x339*x151 - x340*x155 - x341*x159 - x342*x163 - x343*x167 - 
     x344*x171 - x345*x175 - x346*x179 - x347*x183 - x348*x187 - x349*x191 - 
     x350*x195 - x351*x199 - 9*x10 - 6*x26 - 9*x42 - 9*x58 - 5*x90 - 1630*x352
      - 1716*x353 - 2352*x354 = 0;

e68: x338*x132 - x339*x152 - x340*x156 - x341*x160 - x342*x164 - x343*x168 - 
     x344*x172 - x345*x176 - x346*x180 - x347*x184 - x348*x188 - x349*x192 - 
     x350*x196 - x351*x200 - 8*x10 - 4*x26 - 7*x42 - 8*x58 - 6*x90 - 2281*x352
      - 890*x353 - 2532*x354 = 0;

e69: x338*x133 - x339*x153 - x340*x157 - x341*x161 - x342*x165 - x343*x169 - 
     x344*x173 - x345*x177 - x346*x181 - x347*x185 - x348*x189 - x349*x193 - 
     x350*x197 - x351*x201 - x10 - 6*x26 - x42 - 6*x74 - 9*x90 - 1996*x352
      - 1853*x353 - 626*x354 = 0;

e70: x355*x134 - x356*x150 - x357*x154 - x358*x158 - x359*x162 - x360*x166 - 
     x361*x170 - x362*x174 - x363*x178 - x364*x182 - x365*x186 - x366*x190 - 
     x367*x194 - x368*x198 - 2*x11 - 7*x27 - 7*x43 - 6*x59 - 4*x75 - 8*x91
      - 2808*x369 - 1753*x370 - 1379*x371 = 0;

e71: x355*x135 - x356*x151 - x357*x155 - x358*x159 - x359*x163 - x360*x167 - 
     x361*x171 - x362*x175 - x363*x179 - x364*x183 - x365*x187 - x366*x191 - 
     x367*x195 - x368*x199 - 9*x11 - 6*x27 - 9*x43 - 9*x59 - 5*x91 - 1630*x369
      - 1716*x370 - 2352*x371 = 0;

e72: x355*x136 - x356*x152 - x357*x156 - x358*x160 - x359*x164 - x360*x168 - 
     x361*x172 - x362*x176 - x363*x180 - x364*x184 - x365*x188 - x366*x192 - 
     x367*x196 - x368*x200 - 8*x11 - 4*x27 - 7*x43 - 8*x59 - 6*x91 - 2281*x369
      - 890*x370 - 2532*x371 = 0;

e73: x355*x137 - x356*x153 - x357*x157 - x358*x161 - x359*x165 - x360*x169 - 
     x361*x173 - x362*x177 - x363*x181 - x364*x185 - x365*x189 - x366*x193 - 
     x367*x197 - x368*x201 - x11 - 6*x27 - x43 - 6*x75 - 9*x91 - 1996*x369
      - 1853*x370 - 626*x371 = 0;

e74: x372*x138 - x373*x150 - x374*x154 - x375*x158 - x376*x162 - x377*x166 - 
     x378*x170 - x379*x174 - x380*x178 - x381*x182 - x382*x186 - x383*x190 - 
     x384*x194 - x385*x198 - 2*x12 - 7*x28 - 7*x44 - 6*x60 - 4*x76 - 8*x92
      - 2808*x386 - 1753*x387 - 1379*x388 = 0;

e75: x372*x139 - x373*x151 - x374*x155 - x375*x159 - x376*x163 - x377*x167 - 
     x378*x171 - x379*x175 - x380*x179 - x381*x183 - x382*x187 - x383*x191 - 
     x384*x195 - x385*x199 - 9*x12 - 6*x28 - 9*x44 - 9*x60 - 5*x92 - 1630*x386
      - 1716*x387 - 2352*x388 = 0;

e76: x372*x140 - x373*x152 - x374*x156 - x375*x160 - x376*x164 - x377*x168 - 
     x378*x172 - x379*x176 - x380*x180 - x381*x184 - x382*x188 - x383*x192 - 
     x384*x196 - x385*x200 - 8*x12 - 4*x28 - 7*x44 - 8*x60 - 6*x92 - 2281*x386
      - 890*x387 - 2532*x388 = 0;

e77: x372*x141 - x373*x153 - x374*x157 - x375*x161 - x376*x165 - x377*x169 - 
     x378*x173 - x379*x177 - x380*x181 - x381*x185 - x382*x189 - x383*x193 - 
     x384*x197 - x385*x201 - x12 - 6*x28 - x44 - 6*x76 - 9*x92 - 1996*x386
      - 1853*x387 - 626*x388 = 0;

e78: x389*x142 - x390*x150 - x391*x154 - x392*x158 - x393*x162 - x394*x166 - 
     x395*x170 - x396*x174 - x397*x178 - x398*x182 - x399*x186 - x400*x190 - 
     x401*x194 - x402*x198 - 2*x13 - 7*x29 - 7*x45 - 6*x61 - 4*x77 - 8*x93
      - 2808*x403 - 1753*x404 - 1379*x405 = 0;

e79: x389*x143 - x390*x151 - x391*x155 - x392*x159 - x393*x163 - x394*x167 - 
     x395*x171 - x396*x175 - x397*x179 - x398*x183 - x399*x187 - x400*x191 - 
     x401*x195 - x402*x199 - 9*x13 - 6*x29 - 9*x45 - 9*x61 - 5*x93 - 1630*x403
      - 1716*x404 - 2352*x405 = 0;

e80: x389*x144 - x390*x152 - x391*x156 - x392*x160 - x393*x164 - x394*x168 - 
     x395*x172 - x396*x176 - x397*x180 - x398*x184 - x399*x188 - x400*x192 - 
     x401*x196 - x402*x200 - 8*x13 - 4*x29 - 7*x45 - 8*x61 - 6*x93 - 2281*x403
      - 890*x404 - 2532*x405 = 0;

e81: x389*x145 - x390*x153 - x391*x157 - x392*x161 - x393*x165 - x394*x169 - 
     x395*x173 - x396*x177 - x397*x181 - x398*x185 - x399*x189 - x400*x193 - 
     x401*x197 - x402*x201 - x13 - 6*x29 - x45 - 6*x77 - 9*x93 - 1996*x403
      - 1853*x404 - 626*x405 = 0;

e82: x406*x146 - x407*x150 - x408*x154 - x409*x158 - x410*x162 - x411*x166 - 
     x412*x170 - x413*x174 - x414*x178 - x415*x182 - x416*x186 - x417*x190 - 
     x418*x194 - x419*x198 - 2*x14 - 7*x30 - 7*x46 - 6*x62 - 4*x78 - 8*x94
      - 2808*x420 - 1753*x421 - 1379*x422 = 0;

e83: x406*x147 - x407*x151 - x408*x155 - x409*x159 - x410*x163 - x411*x167 - 
     x412*x171 - x413*x175 - x414*x179 - x415*x183 - x416*x187 - x417*x191 - 
     x418*x195 - x419*x199 - 9*x14 - 6*x30 - 9*x46 - 9*x62 - 5*x94 - 1630*x420
      - 1716*x421 - 2352*x422 = 0;

e84: x406*x148 - x407*x152 - x408*x156 - x409*x160 - x410*x164 - x411*x168 - 
     x412*x172 - x413*x176 - x414*x180 - x415*x184 - x416*x188 - x417*x192 - 
     x418*x196 - x419*x200 - 8*x14 - 4*x30 - 7*x46 - 8*x62 - 6*x94 - 2281*x420
      - 890*x421 - 2532*x422 = 0;

e85: x406*x149 - x407*x153 - x408*x157 - x409*x161 - x410*x165 - x411*x169 - 
     x412*x173 - x413*x177 - x414*x181 - x415*x185 - x416*x189 - x417*x193 - 
     x418*x197 - x419*x201 - x14 - 6*x30 - x46 - 6*x78 - 9*x94 - 1996*x420
      - 1853*x421 - 626*x422 = 0;

e86: (-x423*x150) - x424*x154 - x425*x158 - x426*x162 - x427*x166 - x428*x170
      - x429*x174 - x430*x178 - x431*x182 - x432*x186 - x433*x190 - x434*x194
      - x435*x198 - 2*x15 - 7*x31 - 7*x47 - 6*x63 - 4*x79 - 8*x95 - 2808*x436
      - 1753*x437 - 1379*x438 >= -77310;

e87: (-x423*x151) - x424*x155 - x425*x159 - x426*x163 - x427*x167 - x428*x171
      - x429*x175 - x430*x179 - x431*x183 - x432*x187 - x433*x191 - x434*x195
      - x435*x199 - 9*x15 - 6*x31 - 9*x47 - 9*x63 - 5*x95 - 1630*x436
      - 1716*x437 - 2352*x438 >= -38610;

e88: (-x423*x152) - x424*x156 - x425*x160 - x426*x164 - x427*x168 - x428*x172
      - x429*x176 - x430*x180 - x431*x184 - x432*x188 - x433*x192 - x434*x196
      - x435*x200 - 8*x15 - 4*x31 - 7*x47 - 8*x63 - 6*x95 - 2281*x436
      - 890*x437 - 2532*x438 >= -14535;

e89: (-x423*x153) - x424*x157 - x425*x161 - x426*x165 - x427*x169 - x428*x173
      - x429*x177 - x430*x181 - x431*x185 - x432*x189 - x433*x193 - x434*x197
      - x435*x201 - x15 - 6*x31 - x47 - 6*x79 - 9*x95 - 1996*x436 - 1853*x437
      - 626*x438 >= -8595;

e90: (-x439*x150) - x440*x154 - x441*x158 - x442*x162 - x443*x166 - x444*x170
      - x445*x174 - x446*x178 - x447*x182 - x448*x186 - x449*x190 - x450*x194
      - x451*x198 - 2*x16 - 7*x32 - 7*x48 - 6*x64 - 4*x80 - 8*x96 - 2808*x452
      - 1753*x453 - 1379*x454 >= -166100;

e91: (-x439*x151) - x440*x155 - x441*x159 - x442*x163 - x443*x167 - x444*x171
      - x445*x175 - x446*x179 - x447*x183 - x448*x187 - x449*x191 - x450*x195
      - x451*x199 - 9*x16 - 6*x32 - 9*x48 - 9*x64 - 5*x96 - 1630*x452
      - 1716*x453 - 2352*x454 >= -136600;

e92: (-x439*x152) - x440*x156 - x441*x160 - x442*x164 - x443*x168 - x444*x172
      - x445*x176 - x446*x180 - x447*x184 - x448*x188 - x449*x192 - x450*x196
      - x451*x200 - 8*x16 - 4*x32 - 7*x48 - 8*x64 - 6*x96 - 2281*x452
      - 890*x453 - 2532*x454 >= -41300;

e93: (-x439*x153) - x440*x157 - x441*x161 - x442*x165 - x443*x169 - x444*x173
      - x445*x177 - x446*x181 - x447*x185 - x448*x189 - x449*x193 - x450*x197
      - x451*x201 - x16 - 6*x32 - x48 - 6*x80 - 9*x96 - 1996*x452 - 1853*x453
      - 626*x454 >= -154600;

e94: (-x455*x150) - x456*x154 - x457*x158 - x458*x162 - x459*x166 - x460*x170
      - x461*x174 - x462*x178 - x463*x182 - x464*x186 - x465*x190 - x466*x194
      - x467*x198 - 2*x17 - 7*x33 - 7*x49 - 6*x65 - 4*x81 - 8*x97 - 2808*x468
      - 1753*x469 - 1379*x470 >= -93225;

e95: (-x455*x151) - x456*x155 - x457*x159 - x458*x163 - x459*x167 - x460*x171
      - x461*x175 - x462*x179 - x463*x183 - x464*x187 - x465*x191 - x466*x195
      - x467*x199 - 9*x17 - 6*x33 - 9*x49 - 9*x65 - 5*x97 - 1630*x468
      - 1716*x469 - 2352*x470 >= -47925;

e96: (-x455*x152) - x456*x156 - x457*x160 - x458*x164 - x459*x168 - x460*x172
      - x461*x176 - x462*x180 - x463*x184 - x464*x188 - x465*x192 - x466*x196
      - x467*x200 - 8*x17 - 4*x33 - 7*x49 - 8*x65 - 6*x97 - 2281*x468
      - 890*x469 - 2532*x470 >= -155850;

e97: (-x455*x153) - x456*x157 - x457*x161 - x458*x165 - x459*x169 - x460*x173
      - x461*x177 - x462*x181 - x463*x185 - x464*x189 - x465*x193 - x466*x197
      - x467*x201 - x17 - 6*x33 - x49 - 6*x81 - 9*x97 - 1996*x468 - 1853*x469
      - 626*x470 >= -18675;

e98: x202*x98 - x202*x150 = -3752;

e99: x202*x99 - x202*x151 = -146060;

e100: x202*x100 - x202*x152 = -151420;

e101: x202*x101 - x202*x153 = -93800;

e102: x219*x102 - x219*x154 = -10434;

e103: x219*x103 - x219*x155 = -29748;

e104: x219*x104 - x219*x156 = -42254;

e105: x219*x105 - x219*x157 = -20202;

e106: x236*x106 - x236*x158 = -48022;

e107: x236*x107 - x236*x159 = -13806;

e108: x236*x108 - x236*x160 = -14612;

e109: x236*x109 - x236*x161 = -39182;

e110: x253*x110 - x253*x162 = -123816;

e111: x253*x111 - x253*x163 = -23056;

e112: x253*x112 - x253*x164 = -209352;

e113: x253*x113 - x253*x165 = -195536;

e114: x270*x114 - x270*x166 = -107500;

e115: x270*x115 - x270*x167 = -24600;

e116: x270*x116 - x270*x168 = -79900;

e117: x270*x117 - x270*x169 = -186000;

e118: x287*x118 - x287*x170 = -5280;

e119: x287*x119 - x287*x171 = -31240;

e120: x287*x120 - x287*x172 = -67155;

e121: x287*x121 - x287*x173 = -76175;

e122: x304*x122 - x304*x174 = -57900;

e123: x304*x123 - x304*x175 = -9850;

e124: x304*x124 - x304*x176 = -35700;

e125: x304*x125 - x304*x177 = -134550;

e126: x321*x126 - x321*x178 = -2626;

e127: x321*x127 - x321*x179 = -33748;

e128: x321*x128 - x321*x180 = -23088;

e129: x321*x129 - x321*x181 = -67496;

e130: x338*x130 - x338*x182 = -223146;

e131: x338*x131 - x338*x183 = -19110;

e132: x338*x132 - x338*x184 = -97412;

e133: x338*x133 - x338*x185 = -22932;

e134: x355*x134 - x355*x186 = -48070;

e135: x355*x135 - x355*x187 = -114425;

e136: x355*x136 - x355*x188 = -72220;

e137: x355*x137 - x355*x189 = -200790;

e138: x372*x138 - x372*x190 = -81090;

e139: x372*x139 - x372*x191 = -133365;

e140: x372*x140 - x372*x192 = -25075;

e141: x372*x141 - x372*x193 = -4335;

e142: x389*x142 - x389*x194 = -75905;

e143: x389*x143 - x389*x195 = -111435;

e144: x389*x144 - x389*x196 = -109725;

e145: x389*x145 - x389*x197 = -21660;

e146: x406*x146 - x406*x198 = -33800;

e147: x406*x147 - x406*x199 = -176500;

e148: x406*x148 - x406*x200 = -153000;

e149: x406*x149 - x406*x201 = -74400;