#  QCP written by GAMS Convert at 02/15/18 15:46:55
#  
#  Equation counts
#      Total        E        G        L        N        X        C        B
#        178      163       15        0        0        0        0        0
#  
#  Variable counts
#                   x        b        i      s1s      s2s       sc       si
#      Total     cont   binary  integer     sos1     sos2    scont     sint
#        480      480        0        0        0        0        0        0
#  FX      0        0        0        0        0        0        0        0
#  
#  Nonzero counts
#      Total    const       NL      DLL
#       3600     1195     2405        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, <= 201;
var x67 >= 0, <= 1116;
var x68 >= 0, <= 1004;
var x69 >= 0, <= 1159;
var x70 >= 0, <= 1447;
var x71 >= 0, <= 633;
var x72 >= 0, <= 941;
var x73 >= 0, <= 288;
var x74 >= 0, <= 1499;
var x75 >= 0, <= 270;
var x76 >= 0, <= 457;
var x77 >= 0, <= 664;
var x78 >= 0, <= 1380;
var x79 >= 0, <= 242;
var x80 >= 0, <= 456;
var x81 >= 0, <= 726;
var x82 >= 0, <= 143;
var x83 >= 0, <= 1232;
var x84 >= 0, <= 1393;
var x85 >= 0, <= 886;
var x86 >= 0, <= 698;
var x87 >= 0, <= 1124;
var x88 >= 0, <= 330;
var x89 >= 0, <= 310;
var x90 >= 0, <= 1486;
var x91 >= 0, <= 745;
var x92 >= 0, <= 64;
var x93 >= 0, <= 1421;
var x94 >= 0, <= 474;
var x95 >= 0, <= 9;
var x96 >= 0, <= 189;
var x97 >= 0, <= 1498;
var x98 >= 0, <= 1196;
var x99 >= 0, <= 944;
var x100 >= 0, <= 397;
var x101 >= 0, <= 190;
var x102 >= 0, <= 871;
var x103 >= 0, <= 114;
var x104 >= 0, <= 1424;
var x105 >= 0, <= 992;
var x106 >= 0, <= 279;
var x107 >= 0, <= 1086;
var x108 >= 0, <= 100;
var x109 >= 0, <= 161;
var x110 >= 0, <= 32;
var x111 >= 0, <= 1455;
var x112 >= 0, <= 673;
var x113 >= 0, <= 655;
var x114 >= 0, <= 985;
var x115 >= 0, <= 492;
var x116 >= 0, <= 663;
var x117 >= 0, <= 329;
var x118 >= 0, <= 934;
var x119 >= 0, <= 902;
var x120 >= 0, <= 341;
var x121 >= 0, <= 167;
var x122 >= 0, <= 168;
var x123 >= 0, <= 521;
var x124 >= 0, <= 628;
var x125 >= 0, <= 666;
var x126 >= 0, <= 166;
var x127 >= 0, <= 1124;
var x128 >= 0, <= 737;
var x129 >= 0, <= 92;
var x130 >= 0, <= 1407;
var x131 >= 0, <= 2911;
var x132 >= 0, <= 2658;
var x133 >= 0, <= 2518;
var x134 >= 0, <= 2410;
var x135 >= 0, <= 1744;
var x136 >= 0, <= 2834;
var x137 >= 0, <= 951;
var x138 >= 0, <= 1204;
var x139 >= 0, <= 2743;
var x140 >= 0, <= 1143;
var x141 >= 0, <= 916;
var x142 >= 0, <= 2590;
var x143 >= 0, <= 2737;
var x144 >= 0, <= 682;
var x145 >= 0, <= 1846;
var x146 >= 0, <= 2721;
var x147 >= 0, <= 2710;
var x148 >= 0, <= 2008;
var x149 >= 0, <= 2429;
var x150 >= 0, <= 2913;
var x151 >= 0, <= 2561;
var x152 >= 0, <= 2367;
var x153 >= 0, <= 967;
var x154 >= 0, <= 2822;
var x155 >= 0, <= 1956;
var x156 >= 0, <= 2634;
var x157 >= 0, <= 589;
var x158 >= 0, <= 2029;
var x159 >= 0, <= 2654;
var x160 >= 0, <= 1892;
var x161 >= 0, <= 266;
var x162 >= 0, <= 2567;
var x163 >= 0, <= 2426;
var x164 >= 0, <= 2630;
var x165 >= 0, <= 1795;
var x166 >= 0, <= 1043;
var x167 >= 0, <= 1528;
var x168 >= 0, <= 1816;
var x169 >= 0, <= 2480;
var x170 >= 0, <= 1076;
var x171 >= 0, <= 432;
var x172 >= 0, <= 2794;
var x173 >= 0, <= 1857;
var x174 >= 0, <= 1611;
var x175 >= 0, <= 2978;
var x176 >= 0, <= 1545;
var x177 >= 0, <= 1402;
var x178 >= 0, <= 1741;
var x179 >= 0, <= 2569;
var x180 >= 0, <= 1814;
var x181 >= 0, <= 2722;
var x182 >= 0, <= 1896;
var x183 >= 0, <= 1920;
var x184 >= 0, <= 1487;
var x185 >= 0, <= 3000;
var x186 >= 0, <= 930;
var x187 >= 0, <= 2557;
var x188 >= 0, <= 2415;
var x189 >= 0, <= 2924;
var x190 >= 0, <= 2616;
var x191 >= 0, <= 888;
var x192 >= 0, <= 2218;
var x193 >= 0, <= 2730;
var x194 >= 0, <= 938;
var x195 >= 0, <= 2515;
var x196 >= 0, <= 34;
var x197 >= 0, <= 100000;
var x198 >= 0, <= 100000;
var x199 >= 0, <= 100000;
var x200 >= 0, <= 100000;
var x201 >= 0, <= 100000;
var x202 >= 0, <= 100000;
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, <= 74;
var x214 >= 0, <= 100000;
var x215 >= 0, <= 100000;
var x216 >= 0, <= 100000;
var x217 >= 0, <= 100000;
var x218 >= 0, <= 100000;
var x219 >= 0, <= 100000;
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, <= 26;
var x231 >= 0, <= 100000;
var x232 >= 0, <= 100000;
var x233 >= 0, <= 100000;
var x234 >= 0, <= 100000;
var x235 >= 0, <= 100000;
var x236 >= 0, <= 100000;
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, <= 38;
var x248 >= 0, <= 100000;
var x249 >= 0, <= 100000;
var x250 >= 0, <= 100000;
var x251 >= 0, <= 100000;
var x252 >= 0, <= 100000;
var x253 >= 0, <= 100000;
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, <= 70;
var x265 >= 0, <= 100000;
var x266 >= 0, <= 100000;
var x267 >= 0, <= 100000;
var x268 >= 0, <= 100000;
var x269 >= 0, <= 100000;
var x270 >= 0, <= 100000;
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, <= 55;
var x282 >= 0, <= 100000;
var x283 >= 0, <= 100000;
var x284 >= 0, <= 100000;
var x285 >= 0, <= 100000;
var x286 >= 0, <= 100000;
var x287 >= 0, <= 100000;
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, <= 50;
var x299 >= 0, <= 100000;
var x300 >= 0, <= 100000;
var x301 >= 0, <= 100000;
var x302 >= 0, <= 100000;
var x303 >= 0, <= 100000;
var x304 >= 0, <= 100000;
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, <= 26;
var x316 >= 0, <= 100000;
var x317 >= 0, <= 100000;
var x318 >= 0, <= 100000;
var x319 >= 0, <= 100000;
var x320 >= 0, <= 100000;
var x321 >= 0, <= 100000;
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, <= 98;
var x333 >= 0, <= 100000;
var x334 >= 0, <= 100000;
var x335 >= 0, <= 100000;
var x336 >= 0, <= 100000;
var x337 >= 0, <= 100000;
var x338 >= 0, <= 100000;
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, <= 95;
var x350 >= 0, <= 100000;
var x351 >= 0, <= 100000;
var x352 >= 0, <= 100000;
var x353 >= 0, <= 100000;
var x354 >= 0, <= 100000;
var x355 >= 0, <= 100000;
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, <= 85;
var x367 >= 0, <= 100000;
var x368 >= 0, <= 100000;
var x369 >= 0, <= 100000;
var x370 >= 0, <= 100000;
var x371 >= 0, <= 100000;
var x372 >= 0, <= 100000;
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, <= 95;
var x384 >= 0, <= 100000;
var x385 >= 0, <= 100000;
var x386 >= 0, <= 100000;
var x387 >= 0, <= 100000;
var x388 >= 0, <= 100000;
var x389 >= 0, <= 100000;
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, <= 100;
var x401 >= 0, <= 100000;
var x402 >= 0, <= 100000;
var x403 >= 0, <= 100000;
var x404 >= 0, <= 100000;
var x405 >= 0, <= 100000;
var x406 >= 0, <= 100000;
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;

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;

subject to

e2:  - x2 - x18 - x34 - x50 + x196 - x197 - x198 - x199 - x200 - x201 - x202
     - x203 - x204 - x205 - x206 - x207 - x208 - x209 - x210 - x211 - x212 = 0;

e3:  - x3 - x19 - x35 - x51 + x213 - x214 - x215 - x216 - x217 - x218 - x219
     - x220 - x221 - x222 - x223 - x224 - x225 - x226 - x227 - x228 - x229 = 0;

e4:  - x4 - x20 - x36 - x52 + x230 - x231 - x232 - x233 - x234 - x235 - x236
     - x237 - x238 - x239 - x240 - x241 - x242 - x243 - x244 - x245 - x246 = 0;

e5:  - x5 - x21 - x37 - x53 + x247 - x248 - x249 - x250 - x251 - x252 - x253
     - x254 - x255 - x256 - x257 - x258 - x259 - x260 - x261 - x262 - x263 = 0;

e6:  - x6 - x22 - x38 - x54 + x264 - x265 - x266 - x267 - x268 - x269 - x270
     - x271 - x272 - x273 - x274 - x275 - x276 - x277 - x278 - x279 - x280 = 0;

e7:  - x7 - x23 - x39 - x55 + x281 - x282 - x283 - x284 - x285 - x286 - x287
     - x288 - x289 - x290 - x291 - x292 - x293 - x294 - x295 - x296 - x297 = 0;

e8:  - x8 - x24 - x40 - x56 + x298 - x299 - x300 - x301 - x302 - x303 - x304
     - x305 - x306 - x307 - x308 - x309 - x310 - x311 - x312 - x313 - x314 = 0;

e9:  - x9 - x25 - x41 - x57 + x315 - x316 - x317 - x318 - x319 - x320 - x321
     - x322 - x323 - x324 - x325 - x326 - x327 - x328 - x329 - x330 - x331 = 0;

e10:  - x10 - x26 - x42 - x58 + x332 - x333 - x334 - x335 - x336 - x337 - x338
      - x339 - x340 - x341 - x342 - x343 - x344 - x345 - x346 - x347 - x348
      = 0;

e11:  - x11 - x27 - x43 - x59 + x349 - x350 - x351 - x352 - x353 - x354 - x355
      - x356 - x357 - x358 - x359 - x360 - x361 - x362 - x363 - x364 - x365
      = 0;

e12:  - x12 - x28 - x44 - x60 + x366 - x367 - x368 - x369 - x370 - x371 - x372
      - x373 - x374 - x375 - x376 - x377 - x378 - x379 - x380 - x381 - x382
      = 0;

e13:  - x13 - x29 - x45 - x61 + x383 - x384 - x385 - x386 - x387 - x388 - x389
      - x390 - x391 - x392 - x393 - x394 - x395 - x396 - x397 - x398 - x399
      = 0;

e14:  - x14 - x30 - x46 - x62 + x400 - x401 - x402 - x403 - x404 - x405 - x406
      - x407 - x408 - x409 - x410 - x411 - x412 - x413 - x414 - x415 - x416
      = 0;

e15:  - x15 - x31 - x47 - x63 - x417 - x418 - x419 - x420 - x421 - x422 - x423
      - x424 - x425 - x426 - x427 - x428 - x429 - x430 - x431 - x432 = -85;

e16:  - x16 - x32 - x48 - x64 - x433 - x434 - x435 - x436 - x437 - x438 - x439
      - x440 - x441 - x442 - x443 - x444 - x445 - x446 - x447 - x448 = -100;

e17:  - x17 - x33 - x49 - x65 - x449 - x450 - x451 - x452 - x453 - x454 - x455
      - x456 - x457 - x458 - x459 - x460 - x461 - x462 - x463 - x464 = -75;

e18:    x196 - x197 - x214 - x231 - x248 - x265 - x282 - x299 - x316 - x333
      - x350 - x367 - x384 - x401 - x417 - x433 - x449 - x465 = 0;

e19:  - x198 + x213 - x215 - x232 - x249 - x266 - x283 - x300 - x317 - x334
      - x351 - x368 - x385 - x402 - x418 - x434 - x450 - x466 = 0;

e20:  - x199 - x216 + x230 - x233 - x250 - x267 - x284 - x301 - x318 - x335
      - x352 - x369 - x386 - x403 - x419 - x435 - x451 - x467 = 0;

e21:  - x200 - x217 - x234 + x247 - x251 - x268 - x285 - x302 - x319 - x336
      - x353 - x370 - x387 - x404 - x420 - x436 - x452 - x468 = 0;

e22:  - x201 - x218 - x235 - x252 + x264 - x269 - x286 - x303 - x320 - x337
      - x354 - x371 - x388 - x405 - x421 - x437 - x453 - x469 = 0;

e23:  - x202 - x219 - x236 - x253 - x270 + x281 - x287 - x304 - x321 - x338
      - x355 - x372 - x389 - x406 - x422 - x438 - x454 - x470 = 0;

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

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

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

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

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

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

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

e31:  - x210 - x227 - x244 - x261 - x278 - x295 - x312 - x329 - x346 - x363
      - x380 - x397 - x414 - x430 - x446 - x462 - x478 = -45;

e32:  - x211 - x228 - x245 - x262 - x279 - x296 - x313 - x330 - x347 - x364
      - x381 - x398 - x415 - x431 - x447 - x463 - x479 = -80;

e33:  - x212 - x229 - x246 - x263 - x280 - x297 - x314 - x331 - x348 - x365
      - x382 - x399 - x416 - x432 - x448 - x464 - x480 = -175;

e34: x196*x66 - x197*x131 - x198*x136 - x199*x141 - x200*x146 - x201*x151 - 
     x202*x156 - x203*x161 - x204*x166 - x205*x171 - x206*x176 - x207*x181 - 
     x208*x186 - x209*x191 - 2*x2 - 7*x18 - 7*x34 - 6*x50 - 625*x210 - 587*x211
      - 644*x212 = 0;

e35: x196*x67 - x197*x132 - x198*x137 - x199*x142 - x200*x147 - x201*x152 - 
     x202*x157 - x203*x162 - x204*x167 - x205*x172 - x206*x177 - x207*x182 - 
     x208*x187 - x209*x192 - 9*x2 - 6*x18 - 9*x34 - 9*x50 - 995*x210 - 691*x211
      - 1003*x212 = 0;

e36: x196*x68 - x197*x133 - x198*x138 - x199*x143 - x200*x148 - x201*x153 - 
     x202*x158 - x203*x163 - x204*x168 - x205*x173 - x206*x178 - x207*x183 - 
     x208*x188 - x209*x193 - 8*x2 - 4*x18 - 7*x34 - 8*x50 - 870*x210 - 796*x211
      - 667*x212 = 0;

e37: x196*x69 - x197*x134 - x198*x139 - x199*x144 - x200*x149 - x201*x154 - 
     x202*x159 - x203*x164 - x204*x169 - x205*x174 - x206*x179 - x207*x184 - 
     x208*x189 - x209*x194 - x2 - 6*x18 - x34 - 724*x210 - 836*x211 - 920*x212
      = 0;

e38: x196*x70 - x197*x135 - x198*x140 - x199*x145 - x200*x150 - x201*x155 - 
     x202*x160 - x203*x165 - x204*x170 - x205*x175 - x206*x180 - x207*x185 - 
     x208*x190 - x209*x195 - 3*x18 - 4*x50 - 834*x210 - 923*x211 - 984*x212
      = 0;

e39: x213*x71 - x214*x131 - x215*x136 - x216*x141 - x217*x146 - x218*x151 - 
     x219*x156 - x220*x161 - x221*x166 - x222*x171 - x223*x176 - x224*x181 - 
     x225*x186 - x226*x191 - 2*x3 - 7*x19 - 7*x35 - 6*x51 - 625*x227 - 587*x228
      - 644*x229 = 0;

e40: x213*x72 - x214*x132 - x215*x137 - x216*x142 - x217*x147 - x218*x152 - 
     x219*x157 - x220*x162 - x221*x167 - x222*x172 - x223*x177 - x224*x182 - 
     x225*x187 - x226*x192 - 9*x3 - 6*x19 - 9*x35 - 9*x51 - 995*x227 - 691*x228
      - 1003*x229 = 0;

e41: x213*x73 - x214*x133 - x215*x138 - x216*x143 - x217*x148 - x218*x153 - 
     x219*x158 - x220*x163 - x221*x168 - x222*x173 - x223*x178 - x224*x183 - 
     x225*x188 - x226*x193 - 8*x3 - 4*x19 - 7*x35 - 8*x51 - 870*x227 - 796*x228
      - 667*x229 = 0;

e42: x213*x74 - x214*x134 - x215*x139 - x216*x144 - x217*x149 - x218*x154 - 
     x219*x159 - x220*x164 - x221*x169 - x222*x174 - x223*x179 - x224*x184 - 
     x225*x189 - x226*x194 - x3 - 6*x19 - x35 - 724*x227 - 836*x228 - 920*x229
      = 0;

e43: x213*x75 - x214*x135 - x215*x140 - x216*x145 - x217*x150 - x218*x155 - 
     x219*x160 - x220*x165 - x221*x170 - x222*x175 - x223*x180 - x224*x185 - 
     x225*x190 - x226*x195 - 3*x19 - 4*x51 - 834*x227 - 923*x228 - 984*x229
      = 0;

e44: x230*x76 - x231*x131 - x232*x136 - x233*x141 - x234*x146 - x235*x151 - 
     x236*x156 - x237*x161 - x238*x166 - x239*x171 - x240*x176 - x241*x181 - 
     x242*x186 - x243*x191 - 2*x4 - 7*x20 - 7*x36 - 6*x52 - 625*x244 - 587*x245
      - 644*x246 = 0;

e45: x230*x77 - x231*x132 - x232*x137 - x233*x142 - x234*x147 - x235*x152 - 
     x236*x157 - x237*x162 - x238*x167 - x239*x172 - x240*x177 - x241*x182 - 
     x242*x187 - x243*x192 - 9*x4 - 6*x20 - 9*x36 - 9*x52 - 995*x244 - 691*x245
      - 1003*x246 = 0;

e46: x230*x78 - x231*x133 - x232*x138 - x233*x143 - x234*x148 - x235*x153 - 
     x236*x158 - x237*x163 - x238*x168 - x239*x173 - x240*x178 - x241*x183 - 
     x242*x188 - x243*x193 - 8*x4 - 4*x20 - 7*x36 - 8*x52 - 870*x244 - 796*x245
      - 667*x246 = 0;

e47: x230*x79 - x231*x134 - x232*x139 - x233*x144 - x234*x149 - x235*x154 - 
     x236*x159 - x237*x164 - x238*x169 - x239*x174 - x240*x179 - x241*x184 - 
     x242*x189 - x243*x194 - x4 - 6*x20 - x36 - 724*x244 - 836*x245 - 920*x246
      = 0;

e48: x230*x80 - x231*x135 - x232*x140 - x233*x145 - x234*x150 - x235*x155 - 
     x236*x160 - x237*x165 - x238*x170 - x239*x175 - x240*x180 - x241*x185 - 
     x242*x190 - x243*x195 - 3*x20 - 4*x52 - 834*x244 - 923*x245 - 984*x246
      = 0;

e49: x247*x81 - x248*x131 - x249*x136 - x250*x141 - x251*x146 - x252*x151 - 
     x253*x156 - x254*x161 - x255*x166 - x256*x171 - x257*x176 - x258*x181 - 
     x259*x186 - x260*x191 - 2*x5 - 7*x21 - 7*x37 - 6*x53 - 625*x261 - 587*x262
      - 644*x263 = 0;

e50: x247*x82 - x248*x132 - x249*x137 - x250*x142 - x251*x147 - x252*x152 - 
     x253*x157 - x254*x162 - x255*x167 - x256*x172 - x257*x177 - x258*x182 - 
     x259*x187 - x260*x192 - 9*x5 - 6*x21 - 9*x37 - 9*x53 - 995*x261 - 691*x262
      - 1003*x263 = 0;

e51: x247*x83 - x248*x133 - x249*x138 - x250*x143 - x251*x148 - x252*x153 - 
     x253*x158 - x254*x163 - x255*x168 - x256*x173 - x257*x178 - x258*x183 - 
     x259*x188 - x260*x193 - 8*x5 - 4*x21 - 7*x37 - 8*x53 - 870*x261 - 796*x262
      - 667*x263 = 0;

e52: x247*x84 - x248*x134 - x249*x139 - x250*x144 - x251*x149 - x252*x154 - 
     x253*x159 - x254*x164 - x255*x169 - x256*x174 - x257*x179 - x258*x184 - 
     x259*x189 - x260*x194 - x5 - 6*x21 - x37 - 724*x261 - 836*x262 - 920*x263
      = 0;

e53: x247*x85 - x248*x135 - x249*x140 - x250*x145 - x251*x150 - x252*x155 - 
     x253*x160 - x254*x165 - x255*x170 - x256*x175 - x257*x180 - x258*x185 - 
     x259*x190 - x260*x195 - 3*x21 - 4*x53 - 834*x261 - 923*x262 - 984*x263
      = 0;

e54: x264*x86 - x265*x131 - x266*x136 - x267*x141 - x268*x146 - x269*x151 - 
     x270*x156 - x271*x161 - x272*x166 - x273*x171 - x274*x176 - x275*x181 - 
     x276*x186 - x277*x191 - 2*x6 - 7*x22 - 7*x38 - 6*x54 - 625*x278 - 587*x279
      - 644*x280 = 0;

e55: x264*x87 - x265*x132 - x266*x137 - x267*x142 - x268*x147 - x269*x152 - 
     x270*x157 - x271*x162 - x272*x167 - x273*x172 - x274*x177 - x275*x182 - 
     x276*x187 - x277*x192 - 9*x6 - 6*x22 - 9*x38 - 9*x54 - 995*x278 - 691*x279
      - 1003*x280 = 0;

e56: x264*x88 - x265*x133 - x266*x138 - x267*x143 - x268*x148 - x269*x153 - 
     x270*x158 - x271*x163 - x272*x168 - x273*x173 - x274*x178 - x275*x183 - 
     x276*x188 - x277*x193 - 8*x6 - 4*x22 - 7*x38 - 8*x54 - 870*x278 - 796*x279
      - 667*x280 = 0;

e57: x264*x89 - x265*x134 - x266*x139 - x267*x144 - x268*x149 - x269*x154 - 
     x270*x159 - x271*x164 - x272*x169 - x273*x174 - x274*x179 - x275*x184 - 
     x276*x189 - x277*x194 - x6 - 6*x22 - x38 - 724*x278 - 836*x279 - 920*x280
      = 0;

e58: x264*x90 - x265*x135 - x266*x140 - x267*x145 - x268*x150 - x269*x155 - 
     x270*x160 - x271*x165 - x272*x170 - x273*x175 - x274*x180 - x275*x185 - 
     x276*x190 - x277*x195 - 3*x22 - 4*x54 - 834*x278 - 923*x279 - 984*x280
      = 0;

e59: x281*x91 - x282*x131 - x283*x136 - x284*x141 - x285*x146 - x286*x151 - 
     x287*x156 - x288*x161 - x289*x166 - x290*x171 - x291*x176 - x292*x181 - 
     x293*x186 - x294*x191 - 2*x7 - 7*x23 - 7*x39 - 6*x55 - 625*x295 - 587*x296
      - 644*x297 = 0;

e60: x281*x92 - x282*x132 - x283*x137 - x284*x142 - x285*x147 - x286*x152 - 
     x287*x157 - x288*x162 - x289*x167 - x290*x172 - x291*x177 - x292*x182 - 
     x293*x187 - x294*x192 - 9*x7 - 6*x23 - 9*x39 - 9*x55 - 995*x295 - 691*x296
      - 1003*x297 = 0;

e61: x281*x93 - x282*x133 - x283*x138 - x284*x143 - x285*x148 - x286*x153 - 
     x287*x158 - x288*x163 - x289*x168 - x290*x173 - x291*x178 - x292*x183 - 
     x293*x188 - x294*x193 - 8*x7 - 4*x23 - 7*x39 - 8*x55 - 870*x295 - 796*x296
      - 667*x297 = 0;

e62: x281*x94 - x282*x134 - x283*x139 - x284*x144 - x285*x149 - x286*x154 - 
     x287*x159 - x288*x164 - x289*x169 - x290*x174 - x291*x179 - x292*x184 - 
     x293*x189 - x294*x194 - x7 - 6*x23 - x39 - 724*x295 - 836*x296 - 920*x297
      = 0;

e63: x281*x95 - x282*x135 - x283*x140 - x284*x145 - x285*x150 - x286*x155 - 
     x287*x160 - x288*x165 - x289*x170 - x290*x175 - x291*x180 - x292*x185 - 
     x293*x190 - x294*x195 - 3*x23 - 4*x55 - 834*x295 - 923*x296 - 984*x297
      = 0;

e64: x298*x96 - x299*x131 - x300*x136 - x301*x141 - x302*x146 - x303*x151 - 
     x304*x156 - x305*x161 - x306*x166 - x307*x171 - x308*x176 - x309*x181 - 
     x310*x186 - x311*x191 - 2*x8 - 7*x24 - 7*x40 - 6*x56 - 625*x312 - 587*x313
      - 644*x314 = 0;

e65: x298*x97 - x299*x132 - x300*x137 - x301*x142 - x302*x147 - x303*x152 - 
     x304*x157 - x305*x162 - x306*x167 - x307*x172 - x308*x177 - x309*x182 - 
     x310*x187 - x311*x192 - 9*x8 - 6*x24 - 9*x40 - 9*x56 - 995*x312 - 691*x313
      - 1003*x314 = 0;

e66: x298*x98 - x299*x133 - x300*x138 - x301*x143 - x302*x148 - x303*x153 - 
     x304*x158 - x305*x163 - x306*x168 - x307*x173 - x308*x178 - x309*x183 - 
     x310*x188 - x311*x193 - 8*x8 - 4*x24 - 7*x40 - 8*x56 - 870*x312 - 796*x313
      - 667*x314 = 0;

e67: x298*x99 - x299*x134 - x300*x139 - x301*x144 - x302*x149 - x303*x154 - 
     x304*x159 - x305*x164 - x306*x169 - x307*x174 - x308*x179 - x309*x184 - 
     x310*x189 - x311*x194 - x8 - 6*x24 - x40 - 724*x312 - 836*x313 - 920*x314
      = 0;

e68: x298*x100 - x299*x135 - x300*x140 - x301*x145 - x302*x150 - x303*x155 - 
     x304*x160 - x305*x165 - x306*x170 - x307*x175 - x308*x180 - x309*x185 - 
     x310*x190 - x311*x195 - 3*x24 - 4*x56 - 834*x312 - 923*x313 - 984*x314
      = 0;

e69: x315*x101 - x316*x131 - x317*x136 - x318*x141 - x319*x146 - x320*x151 - 
     x321*x156 - x322*x161 - x323*x166 - x324*x171 - x325*x176 - x326*x181 - 
     x327*x186 - x328*x191 - 2*x9 - 7*x25 - 7*x41 - 6*x57 - 625*x329 - 587*x330
      - 644*x331 = 0;

e70: x315*x102 - x316*x132 - x317*x137 - x318*x142 - x319*x147 - x320*x152 - 
     x321*x157 - x322*x162 - x323*x167 - x324*x172 - x325*x177 - x326*x182 - 
     x327*x187 - x328*x192 - 9*x9 - 6*x25 - 9*x41 - 9*x57 - 995*x329 - 691*x330
      - 1003*x331 = 0;

e71: x315*x103 - x316*x133 - x317*x138 - x318*x143 - x319*x148 - x320*x153 - 
     x321*x158 - x322*x163 - x323*x168 - x324*x173 - x325*x178 - x326*x183 - 
     x327*x188 - x328*x193 - 8*x9 - 4*x25 - 7*x41 - 8*x57 - 870*x329 - 796*x330
      - 667*x331 = 0;

e72: x315*x104 - x316*x134 - x317*x139 - x318*x144 - x319*x149 - x320*x154 - 
     x321*x159 - x322*x164 - x323*x169 - x324*x174 - x325*x179 - x326*x184 - 
     x327*x189 - x328*x194 - x9 - 6*x25 - x41 - 724*x329 - 836*x330 - 920*x331
      = 0;

e73: x315*x105 - x316*x135 - x317*x140 - x318*x145 - x319*x150 - x320*x155 - 
     x321*x160 - x322*x165 - x323*x170 - x324*x175 - x325*x180 - x326*x185 - 
     x327*x190 - x328*x195 - 3*x25 - 4*x57 - 834*x329 - 923*x330 - 984*x331
      = 0;

e74: x332*x106 - x333*x131 - x334*x136 - x335*x141 - x336*x146 - x337*x151 - 
     x338*x156 - x339*x161 - x340*x166 - x341*x171 - x342*x176 - x343*x181 - 
     x344*x186 - x345*x191 - 2*x10 - 7*x26 - 7*x42 - 6*x58 - 625*x346
      - 587*x347 - 644*x348 = 0;

e75: x332*x107 - x333*x132 - x334*x137 - x335*x142 - x336*x147 - x337*x152 - 
     x338*x157 - x339*x162 - x340*x167 - x341*x172 - x342*x177 - x343*x182 - 
     x344*x187 - x345*x192 - 9*x10 - 6*x26 - 9*x42 - 9*x58 - 995*x346
      - 691*x347 - 1003*x348 = 0;

e76: x332*x108 - x333*x133 - x334*x138 - x335*x143 - x336*x148 - x337*x153 - 
     x338*x158 - x339*x163 - x340*x168 - x341*x173 - x342*x178 - x343*x183 - 
     x344*x188 - x345*x193 - 8*x10 - 4*x26 - 7*x42 - 8*x58 - 870*x346
      - 796*x347 - 667*x348 = 0;

e77: x332*x109 - x333*x134 - x334*x139 - x335*x144 - x336*x149 - x337*x154 - 
     x338*x159 - x339*x164 - x340*x169 - x341*x174 - x342*x179 - x343*x184 - 
     x344*x189 - x345*x194 - x10 - 6*x26 - x42 - 724*x346 - 836*x347 - 920*x348
      = 0;

e78: x332*x110 - x333*x135 - x334*x140 - x335*x145 - x336*x150 - x337*x155 - 
     x338*x160 - x339*x165 - x340*x170 - x341*x175 - x342*x180 - x343*x185 - 
     x344*x190 - x345*x195 - 3*x26 - 4*x58 - 834*x346 - 923*x347 - 984*x348
      = 0;

e79: x349*x111 - x350*x131 - x351*x136 - x352*x141 - x353*x146 - x354*x151 - 
     x355*x156 - x356*x161 - x357*x166 - x358*x171 - x359*x176 - x360*x181 - 
     x361*x186 - x362*x191 - 2*x11 - 7*x27 - 7*x43 - 6*x59 - 625*x363
      - 587*x364 - 644*x365 = 0;

e80: x349*x112 - x350*x132 - x351*x137 - x352*x142 - x353*x147 - x354*x152 - 
     x355*x157 - x356*x162 - x357*x167 - x358*x172 - x359*x177 - x360*x182 - 
     x361*x187 - x362*x192 - 9*x11 - 6*x27 - 9*x43 - 9*x59 - 995*x363
      - 691*x364 - 1003*x365 = 0;

e81: x349*x113 - x350*x133 - x351*x138 - x352*x143 - x353*x148 - x354*x153 - 
     x355*x158 - x356*x163 - x357*x168 - x358*x173 - x359*x178 - x360*x183 - 
     x361*x188 - x362*x193 - 8*x11 - 4*x27 - 7*x43 - 8*x59 - 870*x363
      - 796*x364 - 667*x365 = 0;

e82: x349*x114 - x350*x134 - x351*x139 - x352*x144 - x353*x149 - x354*x154 - 
     x355*x159 - x356*x164 - x357*x169 - x358*x174 - x359*x179 - x360*x184 - 
     x361*x189 - x362*x194 - x11 - 6*x27 - x43 - 724*x363 - 836*x364 - 920*x365
      = 0;

e83: x349*x115 - x350*x135 - x351*x140 - x352*x145 - x353*x150 - x354*x155 - 
     x355*x160 - x356*x165 - x357*x170 - x358*x175 - x359*x180 - x360*x185 - 
     x361*x190 - x362*x195 - 3*x27 - 4*x59 - 834*x363 - 923*x364 - 984*x365
      = 0;

e84: x366*x116 - x367*x131 - x368*x136 - x369*x141 - x370*x146 - x371*x151 - 
     x372*x156 - x373*x161 - x374*x166 - x375*x171 - x376*x176 - x377*x181 - 
     x378*x186 - x379*x191 - 2*x12 - 7*x28 - 7*x44 - 6*x60 - 625*x380
      - 587*x381 - 644*x382 = 0;

e85: x366*x117 - x367*x132 - x368*x137 - x369*x142 - x370*x147 - x371*x152 - 
     x372*x157 - x373*x162 - x374*x167 - x375*x172 - x376*x177 - x377*x182 - 
     x378*x187 - x379*x192 - 9*x12 - 6*x28 - 9*x44 - 9*x60 - 995*x380
      - 691*x381 - 1003*x382 = 0;

e86: x366*x118 - x367*x133 - x368*x138 - x369*x143 - x370*x148 - x371*x153 - 
     x372*x158 - x373*x163 - x374*x168 - x375*x173 - x376*x178 - x377*x183 - 
     x378*x188 - x379*x193 - 8*x12 - 4*x28 - 7*x44 - 8*x60 - 870*x380
      - 796*x381 - 667*x382 = 0;

e87: x366*x119 - x367*x134 - x368*x139 - x369*x144 - x370*x149 - x371*x154 - 
     x372*x159 - x373*x164 - x374*x169 - x375*x174 - x376*x179 - x377*x184 - 
     x378*x189 - x379*x194 - x12 - 6*x28 - x44 - 724*x380 - 836*x381 - 920*x382
      = 0;

e88: x366*x120 - x367*x135 - x368*x140 - x369*x145 - x370*x150 - x371*x155 - 
     x372*x160 - x373*x165 - x374*x170 - x375*x175 - x376*x180 - x377*x185 - 
     x378*x190 - x379*x195 - 3*x28 - 4*x60 - 834*x380 - 923*x381 - 984*x382
      = 0;

e89: x383*x121 - x384*x131 - x385*x136 - x386*x141 - x387*x146 - x388*x151 - 
     x389*x156 - x390*x161 - x391*x166 - x392*x171 - x393*x176 - x394*x181 - 
     x395*x186 - x396*x191 - 2*x13 - 7*x29 - 7*x45 - 6*x61 - 625*x397
      - 587*x398 - 644*x399 = 0;

e90: x383*x122 - x384*x132 - x385*x137 - x386*x142 - x387*x147 - x388*x152 - 
     x389*x157 - x390*x162 - x391*x167 - x392*x172 - x393*x177 - x394*x182 - 
     x395*x187 - x396*x192 - 9*x13 - 6*x29 - 9*x45 - 9*x61 - 995*x397
      - 691*x398 - 1003*x399 = 0;

e91: x383*x123 - x384*x133 - x385*x138 - x386*x143 - x387*x148 - x388*x153 - 
     x389*x158 - x390*x163 - x391*x168 - x392*x173 - x393*x178 - x394*x183 - 
     x395*x188 - x396*x193 - 8*x13 - 4*x29 - 7*x45 - 8*x61 - 870*x397
      - 796*x398 - 667*x399 = 0;

e92: x383*x124 - x384*x134 - x385*x139 - x386*x144 - x387*x149 - x388*x154 - 
     x389*x159 - x390*x164 - x391*x169 - x392*x174 - x393*x179 - x394*x184 - 
     x395*x189 - x396*x194 - x13 - 6*x29 - x45 - 724*x397 - 836*x398 - 920*x399
      = 0;

e93: x383*x125 - x384*x135 - x385*x140 - x386*x145 - x387*x150 - x388*x155 - 
     x389*x160 - x390*x165 - x391*x170 - x392*x175 - x393*x180 - x394*x185 - 
     x395*x190 - x396*x195 - 3*x29 - 4*x61 - 834*x397 - 923*x398 - 984*x399
      = 0;

e94: x400*x126 - x401*x131 - x402*x136 - x403*x141 - x404*x146 - x405*x151 - 
     x406*x156 - x407*x161 - x408*x166 - x409*x171 - x410*x176 - x411*x181 - 
     x412*x186 - x413*x191 - 2*x14 - 7*x30 - 7*x46 - 6*x62 - 625*x414
      - 587*x415 - 644*x416 = 0;

e95: x400*x127 - x401*x132 - x402*x137 - x403*x142 - x404*x147 - x405*x152 - 
     x406*x157 - x407*x162 - x408*x167 - x409*x172 - x410*x177 - x411*x182 - 
     x412*x187 - x413*x192 - 9*x14 - 6*x30 - 9*x46 - 9*x62 - 995*x414
      - 691*x415 - 1003*x416 = 0;

e96: x400*x128 - x401*x133 - x402*x138 - x403*x143 - x404*x148 - x405*x153 - 
     x406*x158 - x407*x163 - x408*x168 - x409*x173 - x410*x178 - x411*x183 - 
     x412*x188 - x413*x193 - 8*x14 - 4*x30 - 7*x46 - 8*x62 - 870*x414
      - 796*x415 - 667*x416 = 0;

e97: x400*x129 - x401*x134 - x402*x139 - x403*x144 - x404*x149 - x405*x154 - 
     x406*x159 - x407*x164 - x408*x169 - x409*x174 - x410*x179 - x411*x184 - 
     x412*x189 - x413*x194 - x14 - 6*x30 - x46 - 724*x414 - 836*x415 - 920*x416
      = 0;

e98: x400*x130 - x401*x135 - x402*x140 - x403*x145 - x404*x150 - x405*x155 - 
     x406*x160 - x407*x165 - x408*x170 - x409*x175 - x410*x180 - x411*x185 - 
     x412*x190 - x413*x195 - 3*x30 - 4*x62 - 834*x414 - 923*x415 - 984*x416
      = 0;

e99: (-x417*x131) - x418*x136 - x419*x141 - x420*x146 - x421*x151 - x422*x156
      - x423*x161 - x424*x166 - x425*x171 - x426*x176 - x427*x181 - x428*x186
      - x429*x191 - 2*x15 - 7*x31 - 7*x47 - 6*x63 - 625*x430 - 587*x431
      - 644*x432 >= -13090;

e100: (-x417*x132) - x418*x137 - x419*x142 - x420*x147 - x421*x152 - x422*x157
       - x423*x162 - x424*x167 - x425*x172 - x426*x177 - x427*x182 - x428*x187
       - x429*x192 - 9*x15 - 6*x31 - 9*x47 - 9*x63 - 995*x430 - 691*x431
       - 1003*x432 >= -75310;

e101: (-x417*x133) - x418*x138 - x419*x143 - x420*x148 - x421*x153 - x422*x158
       - x423*x163 - x424*x168 - x425*x173 - x426*x178 - x427*x183 - x428*x188
       - x429*x193 - 8*x15 - 4*x31 - 7*x47 - 8*x63 - 870*x430 - 796*x431
       - 667*x432 >= -64090;

e102: (-x417*x134) - x418*x139 - x419*x144 - x420*x149 - x421*x154 - x422*x159
       - x423*x164 - x424*x169 - x425*x174 - x426*x179 - x427*x184 - x428*x189
       - x429*x194 - x15 - 6*x31 - x47 - 724*x430 - 836*x431 - 920*x432
       >= -13345;

e103: (-x417*x135) - x418*x140 - x419*x145 - x420*x150 - x421*x155 - x422*x160
       - x423*x165 - x424*x170 - x425*x175 - x426*x180 - x427*x185 - x428*x190
       - x429*x195 - 3*x31 - 4*x63 - 834*x430 - 923*x431 - 984*x432 >= -6715;

e104: (-x433*x131) - x434*x136 - x435*x141 - x436*x146 - x437*x151 - x438*x156
       - x439*x161 - x440*x166 - x441*x171 - x442*x176 - x443*x181 - x444*x186
       - x445*x191 - 2*x16 - 7*x32 - 7*x48 - 6*x64 - 625*x446 - 587*x447
       - 644*x448 >= -19400;

e105: (-x433*x132) - x434*x137 - x435*x142 - x436*x147 - x437*x152 - x438*x157
       - x439*x162 - x440*x167 - x441*x172 - x442*x177 - x443*x182 - x444*x187
       - x445*x192 - 9*x16 - 6*x32 - 9*x48 - 9*x64 - 995*x446 - 691*x447
       - 1003*x448 >= -36600;

e106: (-x433*x133) - x434*x138 - x435*x143 - x436*x148 - x437*x153 - x438*x158
       - x439*x163 - x440*x168 - x441*x173 - x442*x178 - x443*x183 - x444*x188
       - x445*x193 - 8*x16 - 4*x32 - 7*x48 - 8*x64 - 870*x446 - 796*x447
       - 667*x448 >= -55200;

e107: (-x433*x134) - x434*x139 - x435*x144 - x436*x149 - x437*x154 - x438*x159
       - x439*x164 - x440*x169 - x441*x174 - x442*x179 - x443*x184 - x444*x189
       - x445*x194 - x16 - 6*x32 - x48 - 724*x446 - 836*x447 - 920*x448
       >= -67200;

e108: (-x433*x135) - x434*x140 - x435*x145 - x436*x150 - x437*x155 - x438*x160
       - x439*x165 - x440*x170 - x441*x175 - x442*x180 - x443*x185 - x444*x190
       - x445*x195 - 3*x32 - 4*x64 - 834*x446 - 923*x447 - 984*x448 >= -81700;

e109: (-x449*x131) - x450*x136 - x451*x141 - x452*x146 - x453*x151 - x454*x156
       - x455*x161 - x456*x166 - x457*x171 - x458*x176 - x459*x181 - x460*x186
       - x461*x191 - 2*x17 - 7*x33 - 7*x49 - 6*x65 - 625*x462 - 587*x463
       - 644*x464 >= -34200;

e110: (-x449*x132) - x450*x137 - x451*x142 - x452*x147 - x453*x152 - x454*x157
       - x455*x162 - x456*x167 - x457*x172 - x458*x177 - x459*x182 - x460*x187
       - x461*x192 - 9*x17 - 6*x33 - 9*x49 - 9*x65 - 995*x462 - 691*x463
       - 1003*x464 >= -69825;

e111: (-x449*x133) - x450*x138 - x451*x143 - x452*x148 - x453*x153 - x454*x158
       - x455*x163 - x456*x168 - x457*x173 - x458*x178 - x459*x183 - x460*x188
       - x461*x193 - 8*x17 - 4*x33 - 7*x49 - 8*x65 - 870*x462 - 796*x463
       - 667*x464 >= -10650;

e112: (-x449*x134) - x450*x139 - x451*x144 - x452*x149 - x453*x154 - x454*x159
       - x455*x164 - x456*x169 - x457*x174 - x458*x179 - x459*x184 - x460*x189
       - x461*x194 - x17 - 6*x33 - x49 - 724*x462 - 836*x463 - 920*x464
       >= -55800;

e113: (-x449*x135) - x450*x140 - x451*x145 - x452*x150 - x453*x155 - x454*x160
       - x455*x165 - x456*x170 - x457*x175 - x458*x180 - x459*x185 - x460*x190
       - x461*x195 - 3*x33 - 4*x65 - 834*x462 - 923*x463 - 984*x464 >= -72675;

e114: x196*x66 - x196*x131 = -92140;

e115: x196*x67 - x196*x132 = -52428;

e116: x196*x68 - x196*x133 = -51476;

e117: x196*x69 - x196*x134 = -42534;

e118: x196*x70 - x196*x135 = -10098;

e119: x213*x71 - x213*x136 = -162874;

e120: x213*x72 - x213*x137 = -740;

e121: x213*x73 - x213*x138 = -67784;

e122: x213*x74 - x213*x139 = -92056;

e123: x213*x75 - x213*x140 = -64602;

e124: x230*x76 - x230*x141 = -11934;

e125: x230*x77 - x230*x142 = -50076;

e126: x230*x78 - x230*x143 = -35282;

e127: x230*x79 - x230*x144 = -11440;

e128: x230*x80 - x230*x145 = -36140;

e129: x247*x81 - x247*x146 = -75810;

e130: x247*x82 - x247*x147 = -97546;

e131: x247*x83 - x247*x148 = -29488;

e132: x247*x84 - x247*x149 = -39368;

e133: x247*x85 - x247*x150 = -77026;

e134: x264*x86 - x264*x151 = -130410;

e135: x264*x87 - x264*x152 = -87010;

e136: x264*x88 - x264*x153 = -44590;

e137: x264*x89 - x264*x154 = -175840;

e138: x264*x90 - x264*x155 = -32900;

e139: x281*x91 - x281*x156 = -103895;

e140: x281*x92 - x281*x157 = -28875;

e141: x281*x93 - x281*x158 = -33440;

e142: x281*x94 - x281*x159 = -119900;

e143: x281*x95 - x281*x160 = -103565;

e144: x298*x96 - x298*x161 = -3850;

e145: x298*x97 - x298*x162 = -53450;

e146: x298*x98 - x298*x163 = -61500;

e147: x298*x99 - x298*x164 = -84300;

e148: x298*x100 - x298*x165 = -69900;

e149: x315*x101 - x315*x166 = -22178;

e150: x315*x102 - x315*x167 = -17082;

e151: x315*x103 - x315*x168 = -44252;

e152: x315*x104 - x315*x169 = -27456;

e153: x315*x105 - x315*x170 = -2184;

e154: x332*x106 - x332*x171 = -14994;

e155: x332*x107 - x332*x172 = -167384;

e156: x332*x108 - x332*x173 = -172186;

e157: x332*x109 - x332*x174 = -142100;

e158: x332*x110 - x332*x175 = -288708;

e159: x349*x111 - x349*x176 = -8550;

e160: x349*x112 - x349*x177 = -69255;

e161: x349*x113 - x349*x178 = -103170;

e162: x349*x114 - x349*x179 = -150480;

e163: x349*x115 - x349*x180 = -125590;

e164: x366*x116 - x366*x181 = -175015;

e165: x366*x117 - x366*x182 = -133195;

e166: x366*x118 - x366*x183 = -83810;

e167: x366*x119 - x366*x184 = -49725;

e168: x366*x120 - x366*x185 = -226015;

e169: x383*x121 - x383*x186 = -72485;

e170: x383*x122 - x383*x187 = -226955;

e171: x383*x123 - x383*x188 = -179930;

e172: x383*x124 - x383*x189 = -218120;

e173: x383*x125 - x383*x190 = -185250;

e174: x400*x126 - x400*x191 = -72200;

e175: x400*x127 - x400*x192 = -109400;

e176: x400*x128 - x400*x193 = -199300;

e177: x400*x129 - x400*x194 = -84600;

e178: x400*x130 - x400*x195 = -110800;